[發明專利]用于指示和檢測原子性操作的裝置、方法、計算機程序和數據載體

在審

• 申請號: 202211451162.8
• 申請日: 2022-11-18
• 公開（公告）號: CN116301764A
• 公開（公告）日: 2023-06-23
• 發明（設計）人: A·卡特拉諾夫;S·布拉塔諾夫
• 申請（專利權）人: 英特爾公司
• 主分類號: G06F8/30
• 分類號: G06F8/30;G06F8/41
• 代理公司: 上海專利商標事務所有限公司 31100
• 代理人: 黃嵩泉;陳依心

本發明涉及用于指示和檢測原子性操作的裝置、方法、計算機程序和數據載體。裝置包括至少一個接口和至少一個處理器，該至少一個接口被配置成用于讀取一個或多個高級代碼指令；該至少一個處理器被配置成用于：使用該接口讀取一個或多個高級代碼指令，確定高級代碼指令中的原子性操作，以及將一個或多個高級代碼指令轉換為匯編代碼指令，其中基于高級代碼指令中的原子性操作，在匯編代碼指令中指示原子性操作。

背景技術

并行編程容易出現并發數據訪問引起的許多問題，并發數據訪問也稱為數據競爭(data?race)。并行應用越復雜，它包含數據競爭的可能性就越大，并且數據競爭也就越難檢測和根除。

存在可用于對并行程序的正確性分析和對競爭的檢測的工具。例如，“檢查器”或“線程凈化器”工具可以用于檢測競爭并正式證明應用是無競爭的。然而，這些工具可能需要代碼插樁(instrumentation)或調試信息，這使得它們不能用于生產代碼，并且因此，也不能用于由來自不同軟件供應商的多個獨立模塊組成的較大型應用。

附圖說明

裝置和/或方法的一些示例將在下文僅作為示例并參考所附附圖來進行描述，在附圖中

圖1示出裝置的示例的框圖；

圖2示出用于生成匯編代碼指令的方法的示例的框圖；

圖3示出用于檢測原子性操作的方法的示例的框圖；

圖4示出用于高級代碼中的基本同步(basic?synchronization)的代碼段；

圖5示出匯編代碼中的傳統經轉換基本同步的代碼段(code?snippet)；

圖6示出示例中的匯編代碼中的經轉換基本同步的代碼段；

圖7示出具有原子性標志的高級代碼的代碼段；

圖8示出圖7的代碼段到匯編代碼的傳統轉換；

圖9示出示例中的具有原子性標志和對原子性操作的指示的匯編代碼的代碼段；以及

圖10示出示例的流程圖。

具體實施方式

現在參考附圖更詳細地描述一些示例。然而，其他可能的示例不限于詳細描述的這些示例的特征。其他示例可包括特征的修改以及特征的等效物和替代物。此外，本文中用于描述某些示例的術語不應限制其他可能的示例。

貫穿附圖的描述，相同或類似的附圖標記表示相同或類似的元素和/或特征，這些元素和/或特征可以相同地或以修改形式被實現，同時提供相同或類似的功能。為了清楚起見，附圖中線條、層和/或區域的厚度也可能被夸大。

當兩個要素A和B使用“或”來組合，則要理解這公開了所有可能的組合，即，僅A、僅B、以及A和B，除非在個別情況下另有明確定義。作為相同組合的替代措辭，可使用“A和B中的至少一者”或“A和/或B”。這等效地適用于兩個以上元素的組合。

如果諸如“一(a/an)”和“該(the)”之類的單數形式被使用并且使用僅單個元素既不顯式也不隱式地被限定為強制性的，則進一步的示例也可使用復數要素來實現相同的功能。如果功能被描述為使用多個要素實現，則進一步的示例可使用單個要素或單個處理實體來實現相同的功能。進一步理解，當使用術語“包括”(“include”、“including”、“comprise”和/或“comprising”)時，其描述所指定的特征、整數、步驟、操作、過程、元件、組件和/或它們的組的存在，但不排除一個或多個其他特征、整數、步驟、操作、過程、元件、組件和/或它們的組的存在或添加。

在以下描述中，闡述了具體細節，但是可以在沒有這些具體細節的情況下實施本文中所描述的技術的示例。公知的電路、結構和技術未被詳細示出，以避免混淆對本描述的理解。“示例”、“各示例”、“一些示例”等等可包括特征、結構或特性，但是并非每一個示例都必定包括這些特定的特征、結構或特性。