[發明專利]針對性能和正確性使多線程軟件程序的已記錄執行可視化

有效

• 申請號: 201380072905.3
• 申請日: 2013-03-13
• 公開（公告）號: CN104969191B
• 公開（公告）日: 2019-02-26
• 發明（設計）人: J.E.戈特施利希;G.A.波坎;C.L.佩雷拉;K.丹納;胡世亮;R.卡薩
• 申請（專利權）人: 英特爾公司
• 主分類號: G06F9/46
• 分類號: G06F9/46;G06T1/00
• 代理公司: 中國專利代理(香港)有限公司 72001
• 代理人: 呂傳奇;傅康

一種以圖形方式使多線程軟件程序的已記錄執行的性能和/或正確性特征可視化的系統。該系統可處理在多線程程序的執行期間記錄的基于塊的信息，準備記錄信息的圖形可視化，并且以動畫方式在顯示器上顯示圖形可視化。該系統可允許觀察者交互式地控制動畫圖像可視化的顯示。

背景技術

隨著多核處理器技術的到來，并行編程已變得無所不在。然而，由于并行程序的不確定性，具有相同輸入的相同的并行程序的多次執行可以產生不同的結果。

存儲器競爭記錄（MRR）技術使得能夠記錄多線程程序的執行，從而記錄存儲器訪問交織（interleave）的順序。可以出于調試的目的重放該記錄。當重放時，該記錄產生與由原始執行獲得的那些結果相同的結果。盡管點到點MRR技術在單獨共享存儲器指令層級跟蹤存儲器訪問交織，但基于塊的技術通過觀察原子地執行（例如，在沒有與沖突遠程存儲器訪問交織的情況下）的存儲器操作的次數來跟蹤存儲器訪問交織。

附圖說明

在附圖中以示例的方式而非以限制的方式圖示出本文所述的概念。為了圖示的簡單和明了起見，圖中所示的元件不一定按比例描繪。在認為適當的情況下，在圖之中已重復附圖標記以指示相應或類似的元件。

圖1是用于使多線程軟件程序的執行的性能和/或正確性特征可視化的系統的至少一個實施例的簡化框圖；

圖2是圖1的可視化系統的至少一個實施例的簡化框圖；

圖3是圖2的動態重放模塊的至少一個實施例的簡化框圖；

圖4是關于多線程軟件程序的執行的日志文件的簡化圖示；

圖5是用于使多線程軟件程序的已記錄執行的性能和/或正確性特征可視化的方法的至少一個實施例的簡化流程圖；

圖6是用于使記錄的軟件程序執行數據準備好用于可視化的方法的至少一個實施例的簡化流程圖；

圖7是用于控制多線程軟件程序的已記錄執行的可視化的方法的至少一個實施例的簡化流程圖；

圖8是用于以圖形方式呈現多線程軟件程序的已記錄執行的可視化的方法的至少一個實施例的簡化流程圖；

圖9是多線程軟件程序的已記錄執行的圖形可視化的至少一個實施例的簡化圖示；

圖10是圖9的圖形可視化的“縮小”版本的簡化圖示；以及

圖11是圖9的圖形可視化的“放大”版本的簡化圖示。

具體實施方式

雖然本公開的概念易受各種修改和替換形式的影響，但在圖中已以示例的方式示出了其特定實施例并將在本文中詳細地描述。然而，應理解的是不存在使本公開的概念局限于所公開的特定形式的意圖，相反地，意圖是涵蓋符合本公開和所附權利要求的所有修改、等價物以及替換。

本說明書中的對“一個實施例”、“實施例”、“說明性實施例”等的參考指示所述實施例可包括特定特征、結構或特性，但每個實施例可包括該特定特征、結構或特性也可不一定如此。此外，此類短語不一定參考相同的實施例。此外，當結合實施例來描述特定特征、結構或特性時，認為與無論是否明確地描述的其他實施例相結合地實現此類特征、結構或特性在本領域的技術人員的認知內。

在一些情況下，可用硬件、固件、軟件或其任何組合來實現所公開的實施例。還可將所公開的實施例實現為由臨時或非臨時機器可讀（例如，計算機可讀）存儲介質承載或存儲在其上面的指令，該指令可被一個或多個處理器讀取和執行。可將機器可讀存儲介質體現為用于以機器（例如，易失性或非易失性存儲器、介質磁盤或其他介質設備）可讀的形式存儲或傳輸信息的任何存儲設備、機制或其他物理結構。