程式連結與載入機制深度解析：Linux 動態連結實作原理

連結與載入技術演進

現代主流採用動態連結/動態載入。理解底層機制對系統分析、即時系統時空效率把控至關重要。核心工具：gdb、objdump、readelf、ldd。

動態連結核心流程

1. 核心分析 ELF 標記 PT_INTERP 區段，獲取動態連結器名稱（現代 Linux 通常為 /lib/ld-linux.so.2）
2. 載入動態連結器
3. 在新進程堆疊設定標記-值對，指示動態連結器操作
4. 控制權移交動態連結器
5. 動態連結器檢查外部依賴 (共享庫)，按需載入
6. 執行重定位：解析外部符號地址（支援 Lazy Binding 延遲綁定）
7. 執行 .init 區段初始化代碼（現代用 __attribute__((constructor))）
8. 控制權移交程式入口點 (_start → main)

靜態 vs 動態連結對比

ELF 動態連結關鍵結構

• .dynamic：動態連結資訊 (DT_NEEDED, DT_STRTAB, DT_SYMTAB 等)
• .got / .got.plt：全域偏移表
• .plt：程序連結表 (支援 Lazy Binding)
• .dynsym / .dynstr：動態符號表/字串表
• .rel.dyn / .rel.plt：重定位表

Lazy Binding 機制

首次呼叫外部函數時：

1. 跳轉到 .plt 存根代碼
2. 推送重定位索引，跳轉到 .plt[0] (動態連結器入口)
3. 動態連結器解析真實地址，回填 .got.plt
4. 後續呼叫直接跳轉真實地址

實用除錯指令

# 查看動態依賴
ldd /bin/ls

# 查看 ELF 區段
readelf -S /bin/ls

# 查看動態區段
readelf -d /bin/ls

# 查看符號表
nm -D /lib/libc.so.6

# 追蹤動態連結器行為
LD_DEBUG=libs ls

即時系統考量

• 動態連結器啟動開銷不可預測，影響啟動確定性
• Lazy Binding 導致首次函數呼叫延遲不可預測
• 即時系統常採用靜態連結或預先綁定 (LD_BIND_NOW=1)
• 考慮使用 prelink 預先重定位減少啟動開銷