首先(Buddy)伙伴的定义:
- 两个块大小相同
- 两个块地址连续
- 两个块必须是同一个大块中分离出来的
适用条件:
伙伴系统一般使用于大内存块的分配,并且是2的幂次
算法方式:
申请:从维护的数据结构中寻找合适所要求大小的块,如果满足,并且此块的剩余部分大于一半,那么就将剩下一半分割出来,供以后调用
释放:将此块释放,并且搜索此伙伴块是否也是空闲的,如果是,就合并,然后将合并后的块继续判断其伙伴是否是空闲的,依次向上递归合并
下面用图来简单查看申请和释放的过程:
上图中,首先我们假设我们一个内存块有1024K,当我们需要给A分配70K内存的时候,
1. 我们发现1024K的一半大于70K,然后我们就把1024K的内存分成两半,一半512K。
2. 然后我们发现512K的一半仍然大于70K,于是我们再把512K的内存再分成两半,一半是128K。
3. 此时,我们发现128K的一半小于70K,于是我们就分配为A分配128K的内存。
后面的,B,C,D都这样,而释放内存时,则会把相邻的块一步一步地合并起来(合并也必需按分裂的逆操作进行合并)。
我们可以看见,这样的算法,用二叉