【证明】如何证明数据结构/动态内存管理/伙伴系统中,有关回收算法中伙伴块的起始地址求解的证明
简介:在伙伴系统内存的动态回收部分,得知当前释放块的伙伴块相当重要。因为要根据伙伴块的空闲情况,来确定是否一同合并该伙伴块。(具体参考《数据结构》——清华大学出版社)公式:buddy(p,k)=p+2^k ,若p%2^(k+1)=0;// 下一个伙伴buddy(p,k)=p-2^k,若p%2^(k+1)=2^k;// 上一个伙伴证明:...
原创
2021-05-17 15:20:27 ·
661 阅读 ·
1 评论