一个有着实际应用场景的内存池,往往需要有着以下三个要求:
1.分配内存的速度要够快,即性能要求;
2.要能妥善地处理多线程环境下的线程安全问题,即锁竞争问题;
3.能够合理回收内存,缓解内存碎片问题。
在Goole的著名开源项目中,是这样处理以上三个问题的:
- 将内存池总体分为三层结构(线程资源层,中心资源池层,页缓存资源层)
- 每个线程都能在逻辑上独享一定大小的内存池(实际上并不是独享;当一次性申请内存在256KB及以下时直接在线程内存池中取用),有效解决多线程情况下,内存池锁竞争激烈问题(以空间换时间)
- 当线程独享的内存资源不足时(或一次性申请内存在256KB以上时),像中心资源层申请更多内存资源。中心资源层内部采用哈希桶结构,线程每次向其中的一个桶申请资源,这样即使多个线程同时向中心资源层申请内存资源,它们也未必会找上同一个桶,进一步缓解锁竞争问题(如果真找向了同一个桶,还是要靠加锁的)
- 当中心资源层资源不足时,向页缓存资源层申请资源。页缓存资源层同时负责回收资源,当线程资源层额外申请的空间不再使用时,由页缓存资源层进行回收;并且在内缓存资源层内部,会将相邻的空闲页进行合并,之后可以将这些连续的页切割成定长大小的小块内存分配给中心资源层,这样做可以缓解内存碎片问题(合并,切割的具体经过以及得以缓解内存碎片现象的原因在后续文章中作详解)
如下图所示,这也就是本内存池的整体框架: