内部碎片 外部碎片

内存碎片的产生:
内存分配有静态分配和动态分配两种
静态分配在程序编译链接时分配的大小和使用寿命就已经确定,而应用上要求操作系统可以提供给进程运行时申请和释放任意大小内存的功能,这就是内存的动态分配 。
因此动态分配将不可避免会产生内存碎片的问题,那么什么是内存碎片?内存碎片即“碎片的内存”描述一个系统中所有不可用的空闲内存,这些碎片之所以不能被使用,是因为负责动态分配内存的分配算法使得这些空闲的内存无法使用,这一问题的发生,原因在于这些空闲内存以小且不连续方式出现在不同的位置 。因此这个问题的或大或小取决于内存管理算法的实现上 。
为什么会产生这些小且不连续的空闲内存碎片呢?
实际上这些空闲内存碎片存在的方式有两种:a.内部碎片 b.外部碎片。
内部碎片的产生:因为所有的内存分配必须起始于可被 4、8 或 16 整除(视处理器体系结构而定)的地址或者因为MMU的分页机制的限制,决定内存分配算法仅能把预定大小的内存块分配给客户 。假设当某个客户请求一个 43 字节的内存块时,因为没有适合大小的内存,所以它可能会获得 44字节、48字节等稍大一点的字节,因此由所需大小四舍五入而产生的多余空间就叫内部碎片 。
外部碎片的产生: 频繁的分配与回收物理页面会导致大量的、连续且小的页面块夹杂在已分配的页面中间,就会产生外部碎片 。假设有一块一共有100个单位的连续空闲内存空间,范围是0~99 。如果你从中申请一块内存,如10个单位,那么申请出来的内存块就为0~9区间 。这时候你继续申请一块内存,比如说5个单位大,第二块得到的内存块就应该为10~14区间 。如果你把第一块内存块释放,然后再申请一块大于10个单位的内存块,比如说20个单位 。因为刚被释放的内存块不能满足新的请求,所以只能从15开始分配出20个单位的内存块 。现在整个内存空间的状态是0~9空闲,10~14被占用,15~24被占用,25~99空闲 。其中0~9就是一个内存碎片了 。如果10~14一直被占用,而以后申请的空间都大于10个单位,那么0~9就永远用不上了,变成外部碎片 。
如何解决内存碎片:
采用Slab 机制:整理内存以便重复使用
最近的默认情况下采用了名为Slab 的机制分配、管理内存 。在该机制出现以前,内存的分配是通过对所有记录简单地进行和free来进行的 。但是,这种方式会导致内存碎片,加重操作系统内存管理器的负担,最坏的情况下,会导致操作系统比进程本身还慢 。Slab 就是为解决该问题而诞生的 。
下面来看看Slab 的原理 。下面是文档中的slab 的目标:hegoal of the slabsinwas toby usingfrom a fewsize .
也就是说,Slab 的基本原理是按照预先规定的大小,将分配的内存分割成特定长度的块,以完全解决内存碎片问题 。Slab 的原理相当简单 。将分配的内存分割成各种尺寸的块(chunk),并把尺寸相同的块分成组(chunk的集合)(图2.1) 。
slab 还有重复使用已分配的内存的目的 。也就是说,分配到的内存不会释放,而是重复利用
Slab 的主要术语
Page
分配给Slab的内存空间,默认是1MB 。分配给Slab之后根据slab的大小切分成chunk 。
Chunk
用于缓存记录的内存空间 。
Slab Class
特定大小的chunk的组 。
在Slab中缓存记录的原理
下面说明如何针对客户端发送的数据选择slab并缓存到chunk中 。根据收到的数据的大小,选择最适合数据大小的slab(图2.2) 。中保存着slab内空闲chunk的列表,根据该列表选择chunk,然后将数据缓存于其中 。