免费注册 查看新帖 |

Chinaunix

  平台 论坛 博客 文库
最近访问板块 发新帖
查看: 1310 | 回复: 4
打印 上一主题 下一主题

[内存管理] find_buddy函数实现的原理是什么? [复制链接]

求职 : 通讯/电信开
论坛徽章:
2
2015亚冠之鹿岛鹿角
日期:2015-07-08 11:58:2615-16赛季CBA联赛之佛山
日期:2015-12-21 17:28:04
跳转到指定楼层
1 [收藏(0)] [报告]
发表于 2015-06-15 12:47 |只看该作者 |倒序浏览
我也能理解基本的原理:释放一个页的时候,将这个页与其相邻的空闲页合并成较大的页。
  1. static inline struct page *
  2. __page_find_buddy(struct page *page, unsigned long page_idx, unsigned int order)
  3. {
  4.         unsigned long buddy_idx = page_idx ^ (1 << order);

  5.         return page + (buddy_idx - page_idx);
  6. }
复制代码
这是别人给的一个示意图:

比如,第一次合并的时候,为什么要用异或算法选择第十一页而不是第九页?

论坛徽章:
20
程序设计版块每日发帖之星
日期:2015-08-17 06:20:00程序设计版块每日发帖之星
日期:2016-07-16 06:20:00程序设计版块每日发帖之星
日期:2016-07-18 06:20:00每日论坛发贴之星
日期:2016-07-18 06:20:00黑曼巴
日期:2016-12-26 16:00:3215-16赛季CBA联赛之江苏
日期:2017-06-26 11:05:5615-16赛季CBA联赛之上海
日期:2017-07-21 18:12:5015-16赛季CBA联赛之青岛
日期:2017-09-04 17:32:0515-16赛季CBA联赛之吉林
日期:2018-03-26 10:02:16程序设计版块每日发帖之星
日期:2016-07-15 06:20:0015-16赛季CBA联赛之江苏
日期:2016-07-07 18:37:512015亚冠之萨济拖拉机
日期:2015-08-17 12:21:08
2 [报告]
发表于 2015-06-17 20:01 |只看该作者
因为要保证,所有order上的页面,都是2^(order-1)对齐的,也就是说,pfn的最后order-1个bit都是0.

10=8+2=0x101[0],所以它的buddy只能是0x101[1]=8+3=11。

如果选择9合并的话,合并后是由9和10构成的一个2个page,其首地址是9,这不满足2*page对齐的要求(即必须是偶数)

求职 : 通讯/电信开
论坛徽章:
2
2015亚冠之鹿岛鹿角
日期:2015-07-08 11:58:2615-16赛季CBA联赛之佛山
日期:2015-12-21 17:28:04
3 [报告]
发表于 2015-06-18 10:20 |只看该作者
非常感谢回答,helps me a lot 。有个地方我不是很理解想和您探讨下,就是“我的理解是order上的页面满足2^order对齐,也就是首地址order-1位之后都为0;比如比如首地址位10=1010B,order=1,此时是两个页(2^order)对齐,后order-1=0bit位0;满足要求”。是这样的吗?回复 2# nswcfd


   

论坛徽章:
20
程序设计版块每日发帖之星
日期:2015-08-17 06:20:00程序设计版块每日发帖之星
日期:2016-07-16 06:20:00程序设计版块每日发帖之星
日期:2016-07-18 06:20:00每日论坛发贴之星
日期:2016-07-18 06:20:00黑曼巴
日期:2016-12-26 16:00:3215-16赛季CBA联赛之江苏
日期:2017-06-26 11:05:5615-16赛季CBA联赛之上海
日期:2017-07-21 18:12:5015-16赛季CBA联赛之青岛
日期:2017-09-04 17:32:0515-16赛季CBA联赛之吉林
日期:2018-03-26 10:02:16程序设计版块每日发帖之星
日期:2016-07-15 06:20:0015-16赛季CBA联赛之江苏
日期:2016-07-07 18:37:512015亚冠之萨济拖拉机
日期:2015-08-17 12:21:08
4 [报告]
发表于 2015-06-24 20:47 |只看该作者
本帖最后由 nswcfd 于 2015-06-24 20:48 编辑

不好意思,现在才回复。

假设page size=4k=2^12,  那么page是4k对齐的,即地址的最后12bit为0,
相应的,2^order个page对齐(其实没这么个叫法),就意味着地址的最后12+order个bit为0。

前面的帖子,不知道为啥说成order-1了,囧。。。

例子中的,当前order=0(即单个页面),pi=10,目标是合并成order=1的双页面,对齐的要求就是,合并之后的首地址,最后12+1个bit为0,所以只能选择11(首地址为10<<12)而不是9(首地址为9<<12)。

求职 : 通讯/电信开
论坛徽章:
2
2015亚冠之鹿岛鹿角
日期:2015-07-08 11:58:2615-16赛季CBA联赛之佛山
日期:2015-12-21 17:28:04
5 [报告]
发表于 2015-06-24 21:30 |只看该作者
非常感谢,回答的很好回复 4# nswcfd


   
您需要登录后才可以回帖 登录 | 注册

本版积分规则 发表回复

  

北京盛拓优讯信息技术有限公司. 版权所有 京ICP备16024965号-6 北京市公安局海淀分局网监中心备案编号:11010802020122 niuxiaotong@pcpop.com 17352615567
未成年举报专区
中国互联网协会会员  联系我们:huangweiwei@itpub.net
感谢所有关心和支持过ChinaUnix的朋友们 转载本站内容请注明原作者名及出处

清除 Cookies - ChinaUnix - Archiver - WAP - TOP