深入理解計算機系統之靜態庫的鏈結執行（1）

鏈結是將各種**和資料片段收集並組合為乙個單一檔案的過程。

這個檔案可以被載入到記憶體並執行。

鏈結可以執行於編譯時，也可以執行於載入時，甚至執行於執行時。在早期的計算機系統中，鏈結是手動執行的。

在現代系統中，鏈結是由叫做鏈結器的程式自動執行的。

像linuxld程式這樣的靜態鏈結器，以一組可重定位目標檔案和命令列引數作為輸入，生成乙個完全鏈結的，可以載入和執行的可執行目標檔案作為輸出.

輸出的可重定位目標檔案由各種不同的**和資料節組成，每一節都是乙個連續的位元組序列，指令在一節中，初始化了的全域性變數在另一節中，而未初始化的全域性變數又在另外一節中。

目標檔案定義和引用符號。每個符號對應於乙個函式，乙個全域性變數或乙個靜態變數。

符號解析的目的是將每個符號引用

正好和乙個符號定義關聯起來。

編譯器和彙編器生成動位址0開始的**和資料節。鏈結器通過把每個符號定義與乙個記憶體位置關聯起來。從而重定位這些節。然後修改所有對這些符號的引用，使它們指向這個記憶體位置。鏈結器使用彙編器產生的重定位條目的詳細指令，不加甄別地執行這樣的重定位。

目標檔案：純粹是位元組塊的集合。這些塊中，有些包含程式**，有些包含程式資料**，而其它的則包含引導鏈結器和載入器的資料結構，鏈結器將這些塊連線起來，確定被連線塊執行的位置，並且修改**和資料塊中的各種位置。

目標檔案有三種形式：

可重定位的目標檔案：包含二進位制**和資料，其形式可以在編譯時與其它可重定位的目標檔案合併起來，建立乙個可執行目標檔案。

可執行目標檔案：包含二進位制**和資料。其形式可以被直接複製到記憶體並執行。

目標檔案是按照特定的目標檔案格式來組織的，各個系統的目標檔案格式都不相同，mac os-x使用mach-o格式。