杰哥的小笔记
·
glibc 内存分配器实现探究
💡
原文中文，约60400字，阅读约需144分钟。
📝
内容提要
本文探讨了glibc 2.31版本的内存分配器实现，分析了malloc和free的工作机制。malloc通过tcache、fast bin、small bin和large bin等结构高效管理内存，tcache为每个线程提供局部缓存，减少锁竞争。free将释放的内存块放入相应的bin中，并尝试合并相邻空闲块以减少内存碎片，旨在提高内存分配效率和性能。
🎯
关键要点
- glibc 2.31版本的内存分配器实现分析了malloc和free的工作机制。
- malloc通过tcache、fast bin、small bin和large bin等结构高效管理内存。
- tcache为每个线程提供局部缓存，减少锁竞争。
- free将释放的内存块放入相应的bin中，并尝试合并相邻空闲块以减少内存碎片。
- malloc的实现首先计算实际需要分配的大小和对应的bin。
- tcache的结构是每个线程都有自己的缓存，使用链表保存空闲块。
- fast bin和small bin分别维护相同大小和不同大小的空闲块，采用单向和双向链表。
- large bin保存不同大小的空闲块，按照大小范围进行管理。
- 内存分配器通过arena和heap层次管理内存，支持多线程环境下的高效分配。
❓
延伸问答
glibc 2.31版本的内存分配器是如何实现的？
glibc 2.31版本的内存分配器通过malloc和free函数实现，使用tcache、fast bin、small bin和large bin等结构高效管理内存。
tcache在内存分配中有什么作用？
tcache为每个线程提供局部缓存，减少锁竞争，从而提高内存分配的效率。
malloc函数是如何计算分配大小的？
malloc函数通过checked_request2size计算用户请求的内存大小，并根据大小确定对应的bin。
free函数是如何处理释放内存的？
free函数将释放的内存块放入相应的bin中，并尝试合并相邻的空闲块以减少内存碎片。
fast bin和small bin有什么区别？
fast bin使用单向链表管理相同大小的空闲块，而small bin使用双向链表并合并相邻的空闲块。
glibc内存分配器如何支持多线程环境？
glibc内存分配器通过使用多个arena和锁来支持多线程环境下的高效内存分配。
➡️
