[發明專利]具有無消歧亂序加載存儲隊列的重新排序的推測性指令序列

有效

• 申請號: 201380043003.7
• 申請日: 2013-06-10
• 公開（公告）號: CN104583957B
• 公開（公告）日: 2018-08-10
• 發明（設計）人: M·阿布達拉
• 申請（專利權）人: 英特爾公司
• 主分類號: G06F9/46
• 分類號: G06F9/46;G06F9/38
• 代理公司: 上海專利商標事務所有限公司 31100
• 代理人: 黃嵩泉

在處理器中，一種無消歧亂序加載存儲隊列方法。該方法包括：實現能夠被多個異步核心訪問的存儲器資源；實現存儲退出緩沖器，其中來自存儲隊列的存儲具有按照原始程序順序的存儲退出緩沖器中的條目；以及實現推測性執行，其中能夠將推測性執行的結果保存在存儲退出/重新排序緩沖器中作為推測性狀態。該方法還包括：在分派來自加載隊列的后續加載時，在存儲退出緩沖器中搜索地址匹配；以及在其中存在多個地址匹配的情況下，通過針對第一匹配掃描存儲退出緩沖器來定位正確的轉發條目，并且將來自第一匹配的數據轉發至后續加載。一旦已知推測性結果，則使推測性狀態退出至存儲器。

本申請要求2012年6月15日由Mohammad A.Abdallah提交的題為“REORDEREDSPECULATIVE INSTRUCTION SEOUENCES WITH A DISAMBIGUATION-FREE OUT OF ORDERLOAD STORE QUEUE”的共同待決共同轉讓的美國臨時專利申請序號61/660,539的權益，并且該申請被整體地并入到本文中。

技術領域

本發明總體涉及數字計算機系統，更具體地涉及用于選擇指令(包括指令序列)的系統和方法。

背景技術

要求處理器來處理相關或完全獨立的多個任務。此類處理器的內部狀態通常由在程序執行的每個特定時刻可能保持不同的值的寄存器組成。在程序執行的每個時刻，將內部狀態圖像稱為處理器的架構狀態。

當架構代碼執行切換成運行另一功能(例如，另一線程、進程或程序)時，然后必須保存機器/處理器的狀態，使得新功能可以利用內部寄存器以構建其新狀態。一旦新功能已終止，則可以丟棄其狀態，并且先前情境的狀態將被恢復且該執行又繼續。此類切換過程稱為情境切換，并且通常包括10個或數百個循環，尤其是在采用大量寄存器(例如，64、128、256)和/或亂序執行的現代架構的情況下。

在線程感知硬件架構中，硬件支持用于有限數目的硬件支持線程的多個情境狀態是正常的。在這種情況下，硬件復制用于每個所支持線程的所有架構狀態元素。這消除了在執行新線程時的情境切換的需要。然而，這仍具有多個缺點，即復制用于用硬件中所支持的每個附加線程的所有架構狀態元素(即，寄存器)的面積、功率和復雜性。另外，如果軟件線程的數目超過明確支持的硬件線程的數目，則仍必須執行情境切換。

這變得常見，因為在要求大量線程的細粒度基礎上需要并行性。具有復制情境狀態硬件存儲的硬件線程感知架構無助于非線程軟件代碼，并且僅僅減少了用于被線程化的軟件的情境切換的次數。然而，那些線程通常是針對粗粒并行性而構造的，并且導致用于發起和同步、離開細粒并行性的沉重軟件開銷，諸如函數調用和回路并行執行，而沒有高效的線程化發起/自動生成。此類所述開銷伴隨著針對非明確/容易并行化/線程化軟件代碼而使用現有技術編譯程序或用戶并行化技術進行此類代碼的自動并行化的困難。

發明內容

在一個實施例中，將本發明實現為一種無消歧亂序加載存儲隊列方法。該方法包括：實現能夠被多個異步核心訪問的存儲器資源；實現存儲退出緩沖器，其中來自存儲隊列的存儲具有按照原始程序順序的存儲退出緩沖器中的條目；以及實現推測性執行，其中能夠將推測性執行的結果保存在存儲退出/重新排序緩沖器中作為推測性狀態。該方法還包括：在分派來自加載隊列的后續加載時，在存儲退出緩沖器中搜索地址匹配；以及在其中存在多個地址匹配的情況下，通過針對第一匹配掃描存儲退出緩沖器來定位正確的轉發條目，并且將來自第一匹配的數據轉發至后續加載。一旦已知推測性結果，則使推測性狀態退出至存儲器。

前述是概要且因此必要地包含細節的簡化、一般化以及省略；因此，本領域的技術人員將認識到的是該概要僅僅是說明性的且并不意圖以任何方式是限制性的。單獨地由權利要求定義的本發明的其他方面、發明特征以及優點在下面闡述的非限制性詳細描述中將變得顯而易見。

附圖說明

在附圖中以示例的方式而不是以限制的方式舉例說明本發明，并且在附圖中相同的附圖標記指示類似元件。