计算机操作系统精品教学：第八章Linux系统内核结构.pptVIP

#define NR_MEM_LISTS 6 static struct free_area_struct free_area[NR_MEM_LISTS]; struct free_area_struct { struct page *next; struct page *prev; unsigned int * map; }; Linux通过free_area[]数组采取两种方法管理空闲页面，一种是使用位图，另一种是使用空闲页块组链表。 Linux对内存页面块的每种划分都对应一个位图map（bitmap），free_area[]各个元素中的指针map指向相应页面块的位图，free_area[0]中的map指向内存按照1个页面划分时的位图， free_area[1]中的map指向内存按照2个页面划分时的位图。 位图中每一位（bit）表示一对Buddy页面的使用情况。当一对Buddy的两个页面块中有一个是空闲的，而另一个全部或部分被占用时，该位置为1。当这两个页面块都是空闲，对应的位置为0。 这里通过一个简单的分配和释放的例子来说明伙伴算法的工作过程。假如系统需要4(2 )个页面大小的内存块，该算法就到fre—area[2]中查找，如果链表中有空闲块，就直接从中摘下并分配出去；如果没有，算法将顺着数组向上查找free—area[3]。如果fre—areal[3]中有空闲块，将其从链表中摘下，分成等大小的两部分，前4个页面作为一个块插入free—area[2]的链表头部，后4个页面分配出去。free—area[3]中也没有，就再向上查找，如果fre—area[4]中有，就将这16(2 )个页面等分成两份，前一半挂如free～area[3]的链表头部，后一半的8个页面再分成两等份，前一半挂如free— area[2]的链表中，后一半分配出去。假如free一81-e8[4]中也有空闲块，则重复上面的过程，直至达到free—area数组的最后，如果还是没有可分配的块，就放弃分配。 内存的释放是分配的逆过程，也可以看作是伙伴的合并过程。当释放一个块时，先在其对应的链表中考查是否有伙伴存在，如果没有伙伴块，就直接把要释放的块挂入链表头；如果有，则从链表中摘下伙伴，合并成一个大块，然后继续考查合并后的块在更大一级链表中是否有伙伴存在，直到不能合并或者已经合并到了最大的块。 8.5　Linux文件系统 Linux的虚拟文件系统VFS屏蔽了各种文件系统的差别，为处理各种不同文件系统提供了统一的接口。 一、EXT2文件系统 　　文件在存储设备中是由一系列的逻辑块序列组成的。一个文件系统一般使用块设备上的一个独立的逻辑分区。在文件的逻辑分区中除了表示文件内容的逻辑块（称为数据块）外，还设置了若干包含管理和控制信息的逻辑块。 每个块组中包含若干数据块，数据块中就是目录或文件内容。块组中包含着几个用于管理和控制的信息块： 超级块、组描述符表、块位图、inode位图和inode表。 图8－21 EXT文件系统结构 1.EXT2超级块(super block) 超级块是用来描述EXT2文件系统整体信息的数据结构主要描述文件系统的目录和文件的静态分布情况，以及描述文件系统的各种组成结构的尺寸、数量等。超级块对于文件系统的维护是至关重要的。超级块位于每个块组的最前面，每个块组中包含的超级块内容是相同的。在系统运行期间，需要把超级块复制到内存的系统缓冲区内。只需把块组0的超级块读入内存，其它块组的超级块做为备份。 图8－22 EXT2文件系统超级块 2.组描述符 组描述符表的每个表项是一个组描述符，如图8－23所示。组描述符是一个ext2_group_desc结构，用来描述一个块组的有关信息，定义在/include/linix/ext2_fs.h中 图 EXT2文件系统组描述符 3．块位图 EXT2文件系统中数据块的使用状况由块位图来描述。每个块组都有一个块位图，位于组描述符表之后，用来描述本块组中数据块的使用状况。块位图的每一位(bit)表示一个数据块的使用情况，为1表示对应的数据块已占用，为0表示数据块空闲。各位(bit)的顺序与块组中数据块的顺序一致。块位图一般占用一个逻辑块。EXT2块位图装入一个高速缓存中。高速缓存容纳EXT2_MAX_GROUP_LOAD个块位图，该值目前定义为8。系统并采用类似LRU的算法管理高速缓存。在超级块的内存映像ext2_sb_info结构中： s_loaded_block_bitmaps表示装入高速缓存的块位图的数目。 s_block_bitmap_numbe