1. PLT延遲繫結的提出
動態連結速度損耗主要兩方面：
1.對全域性和靜態的資料訪問都要進行復雜的GOT定位，然後再間接跳轉定址；
2.動態連結的很多工作是在程式執行時完成的，動態連結器需尋找並裝載目標共享物件、符號查詢、地址重定位等，如果不加以優化，會出現程式啟動過慢的情況。
故而需要出臺一些優化動態連結策略的方法。

動態連結下，模組之間包含大量的函式引用（全域性變數往往較少，過多的全域性變數會導致模組間的耦合度很大，不符合軟體編輯規範，參考豐田車載軟體系統功能失效事件）。

動態連結會耗費不少時間解決模組之間的函式引用的符號查詢及重定位（GOT表填充和更新），但是其實程式執行過程中，可能很多函式時用不到的（比如C++程式設計#include <stdlib.h>

，但是其實只用了一個printf()），比如一些錯誤處理函式或者一些使用者很少用到的功能模組等，延遲繫結的核心思想是函式第一次被用到時才進行繫結，這種做法可以大大加速程式的啟動速度，特別有利於一些有大量函式引用和大量模組的軟體。

ELF針對延遲繫結，採用的是PLT（procedure linkage table）機制來實現，這種方法使用了很多精巧的指令序列來完成。在Linux中，動態連結在掃描可執行檔案時，一旦掃描到外部函式的引用，則glibc會啟用繫結函式_dl_runtime_resolve(module, function)來確定模組module中的function函式的在GOT的填充工作。（舉個例子，liba.so需要呼叫libc.so中的bar()函式，那麼當liba.so第一次呼叫bar()時，需要呼叫_dl_runtime_resolve

來完成地址繫結工作，該函式顯然需要知道繫結發生在哪個模組，哪個函式。）

2. PLT的實現
延遲繫結PLT（Procedure Linkage Table）在GOT表基礎又做了一次間接跳轉。即模組內關於外部函式的地址引用，這下並不直接通過GOT跳轉，而是通過一個叫做PLT項的結構來進行，每個外部函式引用都對應PLT表中的一個表項，比如bar()函式在PLT表中的表項稱為[email protected]，實現如下：

bar@plt:
jmp    *(bar@GOT)
push   n
push   moduleID
jump   _dl_runtime_resolve

可以看到

[email protected]表項採用了類似於樁程式碼的格式。[email protected]第一指令中[email protected]指向GOT表中函式bar()對應項地址，如果GOT表中關於bar()的地址已經被填充非空，則顯然將會直接跳轉到GOT表給出的bar()函式地址，實現正常的函式呼叫。

但所謂延遲繫結，即是指在初始未遇到bar()函式之前，GOT表中並無函式bar()的地址資訊，而是將後續push n指令的地址填充到GOT中bar()表項中，這時jmp指令將會直接跳轉繼續執行後續的push n...等指令，該步操作很簡單也不需要遍歷定址目標符號，故而代價很低，只需要在生成樁程式碼時將push n指令位置填入即可。而後的操作便是正常引數壓棧工作，其中push n中的引數n對應的是bar()函式符號在重定位表.rel.plt中的下標，push moduleID中的moduleID則是模組ID，呼叫_dl_runtime_resolve函式完成具體的符號解析和重定位工作，將外部模組中bar()函式的真正地址填入GOT對應的[email protected]表項。這樣當我們下次再次回到PLT表[email protected]表項中轉時，便會進入正常的函式呼叫過程，而不會繼續執行push n及之後的程式碼，那段程式碼只會在符號未被解析時執行only一次。

上述是PLT的原理，而PLT機制的具體實現則複雜得多。ELF將GOT表分成全域性變數專用表”.got”和函式引用專用子表”.got.plt”，所有外部函式的引用中轉全部被集中到”.got.plt”子表中（前面提到過每個共享模組都有自己的一份GOT表，通過推出GOT表來實現程式碼段的地址無關性，而將地址相關性轉移到GOT表上，這也是為啥GOT表示放在.data段中的原因）。關於”.got.plt”子表需要注意的是它的前三項：第一項為”.dynamic”段地址，第二項為本模組的ID，第三項儲存的是_dl_runtime_resolve()地址。

其中第二項和第三項由動態連結器在裝載共享模組的時候負責初始化。 PLT每項規定16個位元組，剛好可以放3條指令，如下：

bar@plt:
jmp     *(bar@GOT)
push    n
jmp     PLT0

其中函式PLT0是通用的的，形式如下：

PLT0:
push   *(GOT+4)
jmp   *(GOT+8)

對照圖片可以看到，moduleID是方便_dl_runtime_resolve()找到目標模組的”.got.plt”函式地址子表，而n則對應要修正函式的表項下標。這樣便實現了一個利用樁程式碼完成的PLT延遲繫結操作。