做操作系统实验恰好遇到这两个需要了解的知识点,现在做下笔记。
我们知道,在不断地申请、释放内存的过程中,会产生内存碎片,分为外部碎片和内部碎片。内部碎片指的是已经被分配出去(能明确指出属于哪个进程)的内存空间大于请求所需的内存空间,不能被利用的内存空间;而外部碎片指的是还没有分配出去(不属于任何进程),但是由于大小而无法分配给申请内存空间的新进程的内存空闲块。伙伴系统就是用来解决外部碎片,而Slab解决内部碎片。
伙伴系统要达到的目标:用最小的内存空间来满足内核对内存的需求
假设内存空间大小为1M,最小允许分配的空间为64KB,现在要分配200KB的内存空间,那么伙伴系统采用下面的分配方式分配内存:
最终可以把第三层的其中一个节点分配给进程。之后进程释放空间的时候,又沿着和分配相反的路径,自底向上,逐步回收内存,伙伴合并。
参考连接[2]给出了一个伙伴系统下分配和回收内存的例子。
下面学了解一下Slab。上面所讲的伙伴系统,都是以页作为内存分配和管理的单位,那如果分配很小的字节,比如就分配128B,按照伙伴系统,至少分配1个页(一般4KB),其实往往还会更多,像上面例子所讲的64KB,这就产生了很大的内部内存碎片。slab分配器分配不再是以页为单位,而是以字节为单位,将大内存进一步分成小内存进行管理。
参考连接[3]详细给出了Slab内存的组织方式。
参考连接:
- [1] 内存碎片—内部碎片&外部碎片 (https://blog.csdn.net/qq_22238021/article/details/80209062)
- [2] Linux伙伴系统(一)–伙伴系统的概述 (https://blog.csdn.net/vanbreaker/article/details/7605367)
- [3] Linux内核内存管理算法Buddy和Slab (https://zhuanlan.zhihu.com/p/36140017)
- [4] linux内核内存管理学习之三(slab分配器) (https://blog.csdn.net/goodluckwhh/article/details/10026311)