[發明專利]基于應用邏輯序的并行程序調試方法和裝置

有效

• 申請號: 201210441991.8
• 申請日: 2012-11-06
• 公開（公告）號: CN102929780A
• 公開（公告）日: 2013-02-13
• 發明（設計）人: 王敬宇;陳華蓉;馮赟龍;王雯霞
• 申請（專利權）人: 無錫江南計算技術研究所
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 北京集佳知識產權代理有限公司 11227
• 代理人: 駱蘇華

1.一種基于應用邏輯序的并行程序調試方法，其特征在于，包括：

定義數據鏈{x，y，L，A}，其中，x為鏈號，y定義為應用邏輯序，L表示應用系統對物理量的邏輯行為的集合，L＝{L_i|i＝0，1，...，n}，i為邏輯行為出現次序的自然序號，L_i＝{d_j|j＝0，1，...，m-1}，L_i表示并行程序中一個程序模塊對該物理量的邏輯行為，d_j為L_i對應的邏輯行為涉及的程序變量，j為程序變量的計數；n為邏輯行為的總數，m為L_i對應的邏輯行為中與物理量關聯的程序變量的數量，A為正確性驗證算法，所述應用邏輯序為迭代步序或數據流序；

按照所述數據鏈的定義跟蹤所述并行程序運行時所述程序變量的數據，以所述正確性驗證算法驗證所述程序變量的數據并記錄驗證結果；

在所述并行程序運行結束或異常退出后，重放所記錄的驗證結果。

2.如權利要求1所述的并行程序調試方法，其特征在于，所述d_j＝{變量名，數據類型，長度，源程序名，行號}，所述調試方法還包括：在驗證結果揭示所述程序變量的數據為無效數據時，通過所述源程序名和行號定位產生所述無效數據的程序位置。

3.如權利要求1所述的并行程序調試方法，其特征在于，還包括：記錄所述并行程序運行時所述程序變量的數據；重放所記錄的所述程序變量的數據。

4.如權利要求1所述的并行程序調試方法，其特征在于，所述物理量與鏈號一一對應。

5.一種基于應用邏輯序的并行程序調試方法，其特征在于，包括：

定義數據鏈{x，y，L}，其中，x為鏈號，y定義為應用邏輯序，L表示應用系統對物理量的邏輯行為的集合，L＝{L_i|i＝0，1，...，n}，i為邏輯行為出現次序的自然序號，L_i＝{d_j|j＝0，1，...，m-1}，L_i表示并行程序中一個程序模塊對該物理量的邏輯行為，d_j為L_i對應的邏輯行為涉及的程序變量，j為程序變量的計數；n為邏輯行為的總數，m為L_i對應的邏輯行為中與物理量關聯的程序變量的數量，A為正確性驗證算法，所述應用邏輯序為迭代步序或數據流序；

按照所述數據鏈的定義跟蹤并記錄所述并行程序運行時所述程序變量的數據；

在所述并行程序運行結束或異常退出后，重放所記錄的所述程序變量的數據。

6.如權利要求5所述的并行程序調試方法，其特征在于，還包括：在重放所記錄的所述程序變量的數據后，通過正確性驗證算法驗證所述程序變量的數據。

7.如權利要求6所述的并行程序調試方法，其特征在于，所述d_j＝{變量名，數據類型，長度，源程序名，行號}，所述調試方法還包括：在驗證結果揭示所述程序變量的數據為無效數據時，通過所述源程序名和行號定位產生所述無效數據的程序位置。

8.如權利要求5所述的并行程序調試方法，其特征在于，所述物理量與鏈號一一對應。

9.一種基于應用邏輯序的并行程序調試裝置，其特征在于，包括：

確定單元，用于定義數據鏈{x，y，L，A}，其中，x為鏈號，y定義為應用邏輯序，L表示應用系統對物理量的邏輯行為的集合，L＝{L_i|i＝0，1，...，n}，i為邏輯行為出現次序的自然序號，L_i＝_{dj|j＝0，1，...，m-1}，L_i表示并行程序中一個程序模塊對該物理量的邏輯行為，d_j為L_i對應的邏輯行為涉及的程序變量，j為程序變量的計數；n為邏輯行為的總數，m為L_i對應的邏輯行為中與物理量關聯的程序變量的數量，A為正確性驗證算法，所述應用邏輯序為迭代步序或數據流序；

跟蹤和驗證記錄單元，用于按照所述數據鏈的定義跟蹤所述并行程序運行時所述程序變量的數據，以所述正確性驗證算法驗證所述程序變量的數據并記錄驗證結果；

重放單元，用于在所述并行程序運行結束或異常退出后，重放所記錄的驗證結果。