内存的bitmaps和linked lists

上节介绍了swapping技术，这样操作系统就可以动态的分配内存大小，但是操作系统如果动态管理呢？答案是通过bitmap和linked lists保持对内存的追踪。动态内存划分的大小不一，可能会从几个字节到几个K。针对每个内存块，bitmap使用一个比特来表示该内存区的属性，0 表示这块内存区空闲，1表示已经被占用。

                                                   图一：内存的bitmap

图b中的最顶端的字节用来显示图a中的每个内存单元的状态。

内存单元与bitmap的大小须存在一个平衡，内存单元越大，bitmap就会越小，这样就会导致内存浪费，但是内存单元越小，bitmap也就会越大。例如：如果将4 bytes作为一个内存单元的话，32 bits的内存需要用到 1 bit bitmap大小。32n bits 就对应n map bits。因此bitmap会占用1/33的内存区(有些大)。bitmap的另外一个问题是：当加载一个需要k单元的内存的进程时，内存管理器需要在bitmap中找到K 个 0 bit，这样查找的到话，需要一些时间(这里可以想一下，这个算法怎么实现比较快，参考KMP算法)

Valgrind的memcheck正是利用的bitmap，细节参见valgrind memcheck说明文档。

2： Linked list

 另外方法跟踪内存状态是通过维护一个内存被占用情况的linked list。 如图一中的C，是对a的bitmap，P表示process占用，H表示这块内存是空闲的。从左边开始，第二位数字表示location，第三位表示内存单元个数。第四位是指向下一个node的指针。(这里面有四个算法更新linked list，不做介绍)