[發明專利]用于并行處理器的高效斷言執行

有效

• 申請號: 201080053930.3
• 申請日: 2010-09-28
• 公開（公告）號: CN102640132A
• 公開（公告）日: 2012-08-15
• 發明（設計）人: 理查德·克雷格·約翰遜;約翰·R·尼科爾斯;羅伯特·史蒂文·格蘭維爾
• 申請（專利權）人: 輝達公司
• 主分類號: G06F15/00
• 分類號: G06F15/00;G06F15/76
• 代理公司: 北京市磐華律師事務所 11336
• 代理人: 顧珊;魏寧

1.一種用于訪問與線程組相關聯的斷言信息的計算機實現的方法，所述方法包括：

接收用于由所述線程組執行的第一指令，其中所述第一指令指定第一源操作數標識符、操作以及第一目標斷言標識符；

對于所述線程組中的每一個線程，

通過對由所述第一源操作數標識符所標識的第一源操作數中的數據應用所述操作來計算斷言結果；以及

在第一斷言寄存器中存儲所述斷言結果，所述斷言寄存器與所述線程相關聯并且由所述第一目標斷言標識符所標識，

其中對于所述線程組中的每一個線程，所述第一源寄存器以及所述第一斷言寄存器不同。

2.根據權利要求1所述的方法，其中所述操作對所述第一源操作數中的所述數據與零進行比較。

3.根據權利要求1所述的方法，其中所述第一指令進一步指定第二源操作數，并且所述操作對所述第一源寄存器中的數據與所述第二源操作數中的數據進行比較。

4.根據權利要求3所述的方法，其中所述第一指令進一步指定第三源操作數標識符和組合操作，并且計算斷言結果的所述步驟還包括，對由所述第三源操作數標識符所標識的第三源操作數中的數據以及對所述第一源操作數和所述第二源操作數中數據的比較應用組合操作。

5.根據權利要求4所述的方法，其中所述第三源操作數是斷言。

6.根據權利要求3所述的方法，其中所述第一指令進一步指定第二目標斷言標識符，并且進一步包括步驟：

對于所述線程組中的每一個線程，

通過對所述第一源操作數和所述第二源操作數中的所述數據應用逆向比較操作，來計算第二斷言結果；以及，

將所述第二斷言結果保存在第二斷言寄存器中，所述第二斷言寄存器與所述線程相關聯并且由所述第二目標斷言標識符所標識，

其中對于所述線程組中的每一個線程，所述第二斷言寄存器不同。

7.根據權利要求3所述的方法，其中所述第一源操作數或所述第二源操作數中的至少一個是斷言。

8.根據權利要求3所述的方法，其中所述第二源操作數是條件代碼。

9.根據權利要求1所述的方法，其中進一步包括接收用于由所述線程組執行的保護指令的步驟，所述保護指令指定所述第一目標斷言標識符。

10.根據權利要求9所述的方法，其中所述保護指令包括指定第三源操作數標識符和第四源操作數標識符的選擇指令，并且進一步包括以下步驟：對于所述線程組中的每一個線程，基于由所述第一目標斷言標識符所標識的所述第一斷言寄存器，確定是否選擇由所述第三源操作數標識符所標識的第三源操作數中的數據或由所述第四源操作數標識符所標識的第四源操作數中的數據。

11.根據權利要求9所述的方法，其中所述保護指令包括指定第三源操作數標識符和第四源操作數標識符的最小值/最大值指令，并且進一步包括以下步驟：對于所述線程組中的每一個線程，基于由所述第一目標斷言標識符所標識的所述第一斷言寄存器，確定是否針對由所述第三源操作數標識符所標識的第三源操作數中的數據或者由所述第四源操作數標識符所標識的第四源操作數中的數據執行最小值操作或最大值操作。

12.根據權利要求9所述的方法，其中所述保護指令包括指定第三指令的分支指令，并且進一步包括以下步驟：對于所述線程組中的每一個線程，基于由所述第一目標斷言標識符所標識的第一斷言寄存器，確定是否所述第三指令應該是下一個被執行的指令。

13.一種計算機系統，包括：

存儲器；以及

處理器，經配置以：

接收用于由所述線程組執行的第一指令，其中所述第一指令指定第一源操作數標識符、操作以及第一目標斷言標識符；

對于所述線程組中的每一個線程，

通過對由所述第一源操作數標識符所標識的第一源操作數中的數據應用所述操作來計算斷言結果；以及，

在第一斷言寄存器中存儲所述斷言結果，所述斷言寄存器與所述線程相關聯并且由所述第一目標斷言標識符所標識，

其中對于所述線程組中的每一個線程，所述第一源寄存器以及所述第一斷言寄存器不同。