流水線中的相關(guān)培訓(xùn)教程[4]

流水線中的相關(guān)培訓(xùn)教程[4]

下面討論如何利用編譯器技術(shù)來減少這種必須的暫停，然后論述如何在流水線中實現(xiàn)數(shù)據(jù)相關(guān)檢測和定向。

??? 5. 對數(shù)據(jù)相關(guān)的編譯器調(diào)度方法

??? 流水線常常會遇到許多種類型的暫停。比如，采用典型的代碼生成方法對A = B + C這種常用的表達(dá)式進(jìn)行處理，可以得到如圖3.3.14所示的指令序列。從圖3.3.14可以看出，在 ADD 指令的流水過程中必須插入一個暫停時鐘周期，以保證變量C的讀入值有效。既然定向無法消除指令序列中所包含的這種暫停，那么能否讓編譯器在進(jìn)行代碼生成時就消除這些潛在的暫停呢？

實際上，編譯器的確可以通過重新組織代碼順序來消除這種暫停。通常稱這種重新組織代碼順序消除暫停的技術(shù)為流水線調(diào)度（pipeline scheduling）或指令調(diào)度（instruction scheduling）。

??? 例 3.6 請為下列表達(dá)式生成沒有暫停的DLX代碼序列。假設(shè)載入延遲為1個時鐘周期。

??? a = b - c；

??? d = e - f；

??? 解： 調(diào)度前后的指令序列如表3.2所示?？梢钥闯觯瑑蓷lALU指令（ADD Ra，Rb，Rc 和 SUB Rd，Re，Rf）分別和兩條Load指令（LW Rc，c和LW Rf，f）之間存在數(shù)據(jù)相關(guān)。為了保證流水線正確執(zhí)行調(diào)度前的指令序列，必須在指令執(zhí)行過程中插入兩個時鐘周期的暫停。但是考察調(diào)度后的指令序列不難發(fā)現(xiàn)，由于流水線允許定向，就不必在指令執(zhí)行過程中插入任何暫停周期。

6. 對DLX流水線控制的實現(xiàn)

??? 讓一條指令從流水線的指令譯碼段（ID）移動到執(zhí)行段（EX）的過程通常稱為指令發(fā)射，而經(jīng)過了該過程的指令為已發(fā)射的指令。

??? 對于 DLX 標(biāo)量流水線而言，所有的數(shù)據(jù)相關(guān)均可以在流水線的 ID段 檢測到，如果存在數(shù)據(jù)相關(guān)，指令在其發(fā)射之前就會被暫停。這樣，我們可以在 ID段 決定需要什么樣的定向，然后設(shè)置相應(yīng)的控制。在流水線中較早地檢測到相關(guān)，可以降低實現(xiàn)流水線的硬件復(fù)雜度，因為這樣不必在流水過程中被迫將一條已經(jīng)改變了機(jī)器狀態(tài)的指令掛起。另外一種方法是在使用一個操作數(shù)的時鐘周期開始（DLX 流水線的 EX 和 MEM 段的開始）檢測相關(guān)，確定必需的定向。

??? 為了說明這兩種方法的不同，我們將以 Load 指令所引起的 RAW 相關(guān)為例，論述如何通過在 ID段 的檢測來實現(xiàn)流水線控制，其中到 ALU 輸入的定向路徑可以在 EX 段。表3.3列出了流水線相關(guān)檢測硬件可以檢測到的各種相關(guān)情況。

?現(xiàn)在來看看如何實現(xiàn)流水線互鎖。如果某條指令和 Load 指令有一個 RAW 相關(guān)時，該指令處于 ID段，Load 指令處于 EX段。我們可以用表3.4來描述此時所有可能的相關(guān)情況。

?