内存碎片讲解

内部碎片是在一个已分配块比有效载荷大时的现象。例如，一个分配器的实现可能对已分配块强加一个最小的大小值，而这个大小要比某个请求的有效载荷大。或者分配器增加块大小以满足对齐约束条件。

内部碎片的量化很简单，就是已分配块大小和他们的有效载荷之间差的和。因此，在任意时刻，内部碎片的数量只取决于以前请求的模式和分配器是实现方式。

外部碎片是当空闲存储器合计起来足够满足一个分配要求，但是没有一个单独的空闲块足够大可以来处理这个请求时的现象。外部碎片取决于以前的请求模式和分配器的实现方式，还取决于将来的请求的模式。例如在K个请求之后，所有空闲块的大小都恰好是四个字节。这个堆会有外部碎片吗？答案取决于将来的请求模式。如果将来的分配请求都要求小于等于4个字的快，那么就不会存在外部碎片。

因为外部碎片难以量化且不可预测，所以分配器通常采用启发式策略来试图维持少量的大空闲块，而不是维持大量的小空闲块。

内存池可以减少内存碎片：这里指的是减少外部碎片。在传统的内存池实现方式中，我们申请一系列大小是特定的或者是2的幂次方的内存块，然后将这些一样大小的放在一组，将这些组进行顺序存储。在分配的时候，按顺序进行查找，采取首次满足分配的原则。可以看出这样的内存池依然存在内部碎片，但是其杜绝了外部碎片。