Linux 動態庫全局變量共享機制：寫時複製 深度解析

Linux 動態庫全局變量共享機制：寫時複製 深度解析

多進程加載同一動態庫（.so）時，全局變量是共享還是獨立？答案：**物理內存共享（只讀段），寫時複製（COW）實現邏輯隔離**。本文從 ELF 加載、頁表映射、COW 觸發、編程影響四個維度徹底講透此機制。

核心結論

ELF 動態庫加載過程

1. 進程啟動/調用 `dlopen`，動態鏈接器 `ld-linux.so` 定位 `.so` 文件。
2. 解析 ELF 程序頭，按 `PT_LOAD` 段映射虛擬內存區域（VMA）。
3. .data/.bss 段（可讀寫數據）：映射標誌 `PF_R | PF_W`，**但初始映射為只讀**，共享物理頁（文件映射或匿名映射）。
4. 建立重定位表，解析符號引用（GOT/PLT 機制）。

寫時複製（COW）觸發流程

進程 A 寫全局變量 g_var
    ↓
CPU 檢測頁表項 (PTE) 的 Write 比特為 0 → 頁錯誤 #PF
    ↓
內核 do_wp_page()
    ↓
檢測 VMA 標誌 VM_WRITE | VM_SHARED? → 是私有寫保護頁
    ↓
分配新物理頁框 → 複製原頁內容 → 更新 PTE 指向新頁、置 Write=1
    ↓
進程 A 繼續寫入新頁
    ↓
進程 B 仍映射舊物理頁，讀寫互不影響

驗證實驗：觀察物理頁框號 (PFN)

// libshared.c
int global_var = 42;

// main.c
#include 
#include 
#include 

extern int global_var;
int main() {
    pid_t pid = fork();
    if (pid == 0) { // 子進程
        sleep(1);
        printf("Child before write: global_var=%d, addr=%p\n", global_var, &global_var);
        global_var = 100; // 觸發 COW
        printf("Child after write:  global_var=%d, addr=%p\n", global_var, &global_var);
    } else { // 父進程
        printf("Parent before: global_var=%d, addr=%p\n", global_var, &global_var);
        sleep(2);
        printf("Parent after:  global_var=%d, addr=%p\n", global_var, &global_var);
        wait(NULL);
    }
    return 0;
}

配合 `/proc/PID/pagemap` 或 `pmap -X PID` 可見：寫入前父子進程該虛擬頁映射同一 PFN；寫入後 PFN 分離。

編程影響與最佳實踐

1. 全局變量非線程安全：進程間本就隔離，但**線程間共享進程地址空間**，全局變量需鎖保護。
2. 避免在庫中保存進程狀態：若庫需跨進程共享狀態，必須用共享內存（`shm_open`/`mmap MAP_SHARED`）、Socket、文件等 IPC。
3. 只讀全局常量最優**：`const` 全局變量編入 `.rodata`，天然只讀共享，零 COW 開銷，極致性能。
4. `dlopen` 多次加載同一庫**：進程內只加載一次，全局變量單實例，線程共享。

對比：靜態鏈接 vs 動態鏈接

權威參考資料

• 《程序員的自我修養》第 7 章 動態鏈接
• Ulrich Drepper《How To Write Shared Libraries》
• Linux 內核源碼 `mm/memory.c` `do_wp_page()`
• man 7 `mmap`、`ld.so`、`dlopen`

總結

Linux 動態庫全局變量**物理共享、邏輯隔離**，核心機制是**頁級寫時複製（COW）**。程序員應視其為「進程私有」，若需進程間共享數據，請顯式使用共享內存等 IPC 機制。理解 COW 不僅能避坑，更是掌握現代操作系統內存管理的核心鑰匙。