碎片
在操作系统的内存管理中,造成堆利用率很低的主要原因是一种称为碎片(fragmentation)的现象,当虽然有未使用的内存但不能来满足分配请求时,就发生这种现象。碎片的形式有两种:内部碎片和外部碎片。
内部碎片
内部碎片是在一一个已分配块比有效载荷大时发生的。很多原因都可能造成这个问题。例如,一个分配器的实现可能对已分配块强加一-个最小的大小值,而这个大小要比某个请求的有效载荷大。或者,就如我们在图934b中看到的,分配器可能增加块大小以满足对齐约束条件。
内部碎片的量化是简单明 了的。它就是已分配块大小和它们的有效载荷大小之差的和。因此,在任意时刻,内部碎片的数量只取决于以前请求的模式和分配器的实现方式。
外部碎片
外部碎片是当空闲内存合计起来足够满足一个分配清求, 但是没有一个单独的空闲块足够天可以来处理这个请求时发生的,即使在堆中仍然有足够的空闲空间,但是这些空闲空间是由至少两个及以上的空间所组成。
外部碎片比内部碎片的量化要困难得多,因为它不仅取决于以前请求的模式和分配器的实现方式,还取决于将来请求的模式。例如,假设在k个请求之后,所有空闲块的大小都恰好是4个字。这个堆会有外部碎片吗?(答案取决于将来请求的模式。如果将来所有的分配请求都要求小于或者等于4个字的块,那么就不会有外部碎片。另一方面,如果有一个或者多个请求要求比4个字大的块,那么这个堆就会有外部碎片。
也正是因为外部碎片的难以量化且不可预测,所以分配器通常采用启发式策略来试图维持少量的大空闲块,而不是维持大量的小空闲块。