C 語言內存分配全景圖：從虛擬地址空間到 malloc 實現原理

C 語言內存分配全景圖：從虛擬地址空間到 malloc 實現原理

一、進程虛擬地址空間佈局

典型 C 程序在虛擬內存中的分段（由高到低）：

• 內核空間（用戶態不可訪問）
• 棧**：向下增長，存放函數棧幀、局部變量、調用鏈
• 共享庫映射區**：動態鏈接庫、mmap 映射文件
• 堆**：向上增長，malloc/free 管理區域
• BSS 段**：未初始化全局/靜態變量（編譯器置零）
• 數據段**：已初始化全局/靜態變量
• 代碼段**：只讀，存放指令、常量字面值

二、系統調用層：brk/sbrk 與 mmap

void *sbrk(intptr_t increment); // 移動 program break，擴展/縮減堆
int brk(void *addr);             // 直接設置 program break

特點：

• 以頁（通常 4KB）為單位向內核申請/歸還物理頁框。
• sbrk(0) 返回當前 program break 位置（堆頂）。
• 釋放時若堆頂跨頁，才可能觸發 munmap 歸還內核；否則僅移動 break，物理頁保留進程佔用。
• 不能隨意釋放中間塊（會殘留「空洞」），故不適合通用分配器。

三、C 標準庫分配器：malloc/free 核心機制

1. 塊頭元數據

每塊分配內存前置元數據：至少包含塊大小、標志位（空閒/在用）、前向/後向指針（空閒鏈表）。
malloc 返回的是用戶數據區起始地址（元數據之後）。

2. 空閒鏈表管理

• 分割**：空閒塊 > 請求大小 → 切分，餘部留作新空閒塊。
• 合併**：free 時檢查相鄰塊是否空閒，向前/向後合併減少碎片。
• 首次適配/最佳適配/分離適配**：不同分配器策略權衡速度與碎片。

3. 關鍵風險：緩衝區溢出破壞元數據

char *p = malloc(10);
p[10] = 0; // 越界 1 字節，恰好覆蓋下一塊的 size 字段
free(p);   // free 讀取錯誤 size → 破壞空閒鏈表 → 後續 malloc 崩潰

對策：紅區、Canary、AddressSanitizer、電檢工具。

四、衍生分配函數

注意：realloc 可能移動內存，舊指針失效；alloca 過大導致棧溢出，慎用於循環/遞歸。

五、最佳實踐清單

1. 檢查返回值 NULL。
2. 配對 malloc/free，避免雙重釋放、洩漏、使用後釋放。
3. 結構體靈活數組成員（C99）替代雙重分配：struct { size_t len; char data[]; }。
4. 大塊（>128KB）優先 mmap（glibc 閾值可調 M_MMAP_THRESHOLD）。
5. 多線程高併發考慮 jemalloc/tcmalloc/mimalloc 替換默認分配器。

內存管理是 C 程序穩定性的命門，理解分配器內部原理，才能寫出健壯、高效的系統級代碼。