glibc 內存管理架構全景解析

進程虛擬地址空間佈局 (x86)

高地址
+------------------+
|  Kernel Space    |  1GB (3GB-4GB)
+------------------+
|  Stack           |  向下增長，限制 ~8MB
+------------------+
|  Memory Mapping  |  mmap 區域（共享庫、大塊分配）
+------------------+
|  Heap            |  向上增長，brk/mmap 擴展
+------------------+
|  BSS Segment     |  未初始化全局/靜態變量
+------------------+
|  Data Segment    |  已初始化全局/靜態變量
+------------------+
|  Text Segment    |  代碼區，只讀
+------------------+
低地址

動態內存管理方式比較

ptmalloc 設計目標與假設

• 目標：兼容性、可移植性、空間效率（低碎片）、速度（2/8 原則優化熱點）、可調性、局部性（CPU Cache 友好）、調試支持、適應性。
• 假設：大塊/長壽命用 mmap；短壽命小塊用 brk；盡量緩存小塊，大塊直接歸還；僅在 malloc/free 時合併；收縮堆需釋放塊大小+可合併鄰塊 > 64KB 且 top chunk 達閾值；不適合長期存儲型程序。

ptalloc 核心數據結構

Chunk 結構

In-use Chunk:             Free Chunk:
+-----------------+       +-----------------+
| prev_size (可用) |       | prev_size       |
+-----------------+       +-----------------+
| size |A|M|P|     |       | size |A|M|P|     |  P=PREV_INUSE, M=IS_MMAPPED, A=NON_MAIN_ARENA
+-----------------+       +-----------------+
| fd (前向指針)   |       | fd              |
+-----------------+       +-----------------+
| bk (後向指針)   |       | bk              |
+-----------------+       +-----------------+
| user data       |       | fd_nextsize     |  (large bin only)
| ...             |       +-----------------+
|                 |       | bk_nextsize     |
+-----------------+       +-----------------+

Bin 組織

• Fastbins[10]：單向鏈表，LIFO，不合併，極速。
• Unsorted Bin[1]：雙向鏈表，緩衝區，FIFO。
• Small Bins[64]：雙向鏈表，定長，FIFO。
• Large Bins[64]：雙向鏈表，不定長，按大小降序。

malloc 分配流程 (簡化)

1. 請求大小 ≤ max_fast → 掃描 Fastbins，命中即返 (不改標誌位)。
2. 請求屬於 Small Bin 範圍 (≤512B) → 掃描對應 Small Bin，命中即返。
3. 觸發 malloc_consolidate：遍歷 Fastbins，合併相鄰塊 → 移入 Unsorted Bin。
4. 掃描 Unsorted Bin：命中精確大小 → 分割返；否則按大小分發至 Small/Large Bin，跳回步驟 2/5。
5. 掃描 Large Bin：尋找最小滿足塊 → 分割，餘部進 Unsorted Bin，返地址。
6. 使用 Top Chunk：切割滿足 → 更新 Top Chunk，返地址。
7. 調用 sysmalloc：主分配區 brk 擴展堆；非主分配區 mmap 新 sub-heap 或直接 mmap 大塊。

free 釋放流程 (關鍵步驟)

1. Mmap 塊 → munmap 直接歸還 OS。
2. 與 Top Chunk 相鄰 → 合併入 Top Chunk。
3. 大小 < max_fast → 掛入 Fastbins (標誌位保持 1，不合併)。
4. 大小 80B-128KB → 清除標誌位，嘗試合併前向空閒塊。
5. 判斷後向塊：是 Top Chunk → 合併入 Top Chunk (步驟 7)；空閒 → 合併；否則掛入 Unsorted Bin。
6. 合併後大小 > FASTBIN_CONSOLIDATION_THRESHOLD (64KB) → 觸發 malloc_consolidate 清空 Fastbins。
7. 嘗試收縮堆：Top Chunk 大小 > mp_.trim_threshold (默認 128KB) → sbrk 縮減堆歸還 OS。

多線程與 Arena

ptmalloc 為每個線程維護獨立 Arena (分配區)，減少鎖競爭。主 Arena 使用 brk 管理堆；非主 Arena 通過 mmap 映射獨立 Sub-heap，鏈表串聯。分配時優先嘗試線程私有 Arena，失敗則嘗試其他或創建新 Arena。

避坑指南

• 長生命周期、大量不定期分配釋放 → 考慮 jemalloc/tcmalloc 或自定義內存池。
• 頻繁創建銷毀線程 → 導致 Arena 洩漏，設置 MALLOC_ARENA_MAX 限制數量。
• 大量小塊分配 → 調大 M_MMAP_THRESHOLD 或使用 mallopt 優化。
• 內存洩漏排查 → 配合 mtrace、valgrind、gperftools heap profiler。