[發(fā)明專利]管理并發(fā)謂詞表達(dá)式的方法和裝置

有效

• 申請?zhí)枺?/td>: 201480008999.2
• 申請日: 2014-01-14
• 公開（公告）號: CN105074656B
• 公開（公告）日: 2018-06-01
• 發(fā)明（設(shè)計）人: J.E.戈特施利希;C.L.佩雷拉;G.波坎;吳佑峰
• 申請（專利權(quán)）人: 英特爾公司
• 主分類號: G06F9/38
• 分類號: G06F9/38;G06F9/46
• 代理公司: 中國專利代理(香港)有限公司 72001
• 代理人: 盧江;劉春元

1.一種用于檢測并發(fā)違例的方法，包括：

將第一條件鉤子插入到第一線程中，所述第一條件鉤子位于第一線程的編譯代碼中并且與由所述第一線程的編譯代碼外部的非編譯指令定義的第一條件相關(guān)聯(lián)；

將第二條件鉤子插入到第二線程中，所述第二條件鉤子位于第二線程的編譯代碼中并且與由所述第二線程的編譯代碼外部的非編譯指令定義的第二條件相關(guān)聯(lián)；

防止所述第二線程執(zhí)行直到滿足所述第一條件為止；以及

當(dāng)滿足所述第二條件時識別并發(fā)違例。

2.如權(quán)利要求1中所限定的方法，其中，防止所述第二線程執(zhí)行直到滿足所述第一條件為止還包括僅當(dāng)滿足所述第一條件時才允許所述第二線程執(zhí)行。

3.如權(quán)利要求2中所限定的方法，還包括：當(dāng)在滿足所述第二條件之前不滿足所述第一條件時，防止所述第二線程執(zhí)行以及重新發(fā)起所述第一線程。

4.如權(quán)利要求1中所限定的方法，其中，當(dāng)按第一次序滿足所述第一條件和所述第二條件時所述第一條件和所述第二條件指示并發(fā)錯誤。

5.如權(quán)利要求4中所限定的方法，其中，所述第一次序包括所述第一條件在所述第二條件之前被滿足以及保持滿足直到滿足所述第二條件為止。

6.如權(quán)利要求1中所限定的方法，還包括：在不重新編譯所述第一線程和所述第二線程的情況下改變所述第一條件和所述第二條件的滿足次序。

7.如權(quán)利要求1中所限定的方法，還包括：當(dāng)在不滿足所述第一條件或所述第二條件的情況下所述第一線程或所述第二線程執(zhí)行時應(yīng)用線程重新開始延遲。

8.如權(quán)利要求7中所限定的方法，其中，所述線程重新開始延遲包括針對所述第一線程或所述第二線程中的至少一個的隨機(jī)持續(xù)時間。

9.如權(quán)利要求1或2中所限定的方法，還包括：在所述第二線程正在執(zhí)行時識別從滿足到不滿足的第一線程狀態(tài)改變。

10.一種用于檢測并發(fā)違例的裝置，包括：

并發(fā)謂詞表達(dá)式引擎，用于將位于第一線程的編譯代碼中并且與由所述第一線程的編譯代碼外部的非編譯指令定義的第一條件相關(guān)聯(lián)的第一條件鉤子插入到第一線程中，以及將位于第二線程的編譯代碼中并且與由所述第二線程的編譯代碼外部的非編譯指令定義的第二條件相關(guān)聯(lián)的第二條件鉤子插入到第二線程中；

線程監(jiān)視器，用于防止所述第二線程執(zhí)行直到滿足所述第一條件為止；以及

謂詞狀態(tài)分析器，用于在滿足所述第二條件時識別并發(fā)違例。

11.如權(quán)利要求10中所限定的裝置，其中，所述線程監(jiān)視器通過僅當(dāng)滿足所述第一條件時才允許所述第二線程執(zhí)行來防止所述第二線程執(zhí)行直到滿足所述第一條件為止。

12.如權(quán)利要求11中所限定的裝置，其中，所述線程監(jiān)視器當(dāng)在滿足所述第二條件之前不滿足所述第一條件時防止所述第二線程執(zhí)行以及重新發(fā)起所述第一線程。

13.如權(quán)利要求10中所限定的裝置，還包括：序列計數(shù)管理器，用于當(dāng)按第一次序滿足所述第一條件和所述第二條件時識別并發(fā)錯誤。

14.如權(quán)利要求13中所限定的裝置，其中，所述序列計數(shù)管理器將所述第一次序識別為所述第一條件在所述第二條件之前被滿足，以及識別所述第一條件保持滿足直到滿足所述第二條件為止。

15.如權(quán)利要求10中所限定的裝置，還包括：并發(fā)謂詞表達(dá)式解析器，用于在不重新編譯所述第一線程和所述第二線程的情況下檢測所述第一條件和所述第二條件的滿足次序的改變。