[發明專利]用于在內核模塊和設備驅動程序中檢測并發編程錯誤的方法和系統

有效

• 申請號: 201380073923.3
• 申請日: 2013-03-27
• 公開（公告）號: CN105074671B
• 公開（公告）日: 2018-04-20
• 發明（設計）人: 馬志強
• 申請（專利權）人: 英特爾公司
• 主分類號: G06F11/36
• 分類號: G06F11/36;G06F11/30
• 代理公司: 中國專利代理(香港)有限公司72001
• 代理人: 臧永杰,胡莉莉

1.一種用于調試計算機軟件的系統，包括：

事件監視器（110）；

事件收集器（120），其耦合到所述事件監視器（110）；

事件播放器（130），其耦合到所述事件收集器（120）；以及

并發錯誤檢測器（140），其耦合到所述事件播放器（130），其中：

被調試的計算機軟件包括對應于多個事件的指令；

所述事件監視器（110）被布置成在系統存儲器的內核空間部分（102）中執行被調試的計算機軟件并且作為數據記錄所述多個事件；

所述事件收集器（120）被布置成在系統存儲器的用戶空間部分（104）中執行并且從所述事件監視器（110）讀取所記錄的數據以及從系統存儲器的所述用戶空間部分（104）是可讀取的；其特征在于，

所述事件播放器（130）被布置成在系統存儲器的用戶空間部分（104）中執行并且從所述事件收集器（120）讀取所記錄的數據并且在系統存儲器的所述用戶空間部分（104）中從所記錄的數據播放所述多個事件中的每一個，創建所述多個事件的部分次序圖，確定（302）所述多個事件中的事件是否是上下文進入事件（210），并且如果所述事件是上下文進入事件（210），則創建（310，312）代理線程和用于所述代理線程的事件隊列；以及

基于所述部分次序圖對所述代理線程的執行進行排定（320）；以及

所述并發錯誤檢測器（140）被布置成在系統存儲器的用戶空間部分（104）中執行并且以與部分次序圖一致的次序對從所述事件播放器（130）中接收的所述多個事件中的每一個執行并發錯誤檢測。

2.如權利要求1所述的系統，其中，所述系統被布置成對設備驅動程序軟件進行調試。

3.如權利要求1所述的系統，其中，被調試的計算機軟件被插裝。

4.如權利要求1所述的系統，其中：

所述事件監視器被布置成記錄事件類型、線程標識符、CPU標識符、以及指令指針信息。

5.如權利要求4所述的系統，其中：

所述事件監視器進一步被布置成記錄上下文進入事件、上下文退出事件、上下文類型、以及與所述上下文進入事件和上下文退出事件有關的上下文標識符信息。

6.如權利要求4或5之一所述的系統，其中：

所述事件監視器進一步被布置成記錄用于存儲器讀取和存儲器寫入事件的存儲器地址信息和存儲器大小信息；以及

所述事件監視器進一步被布置成記錄用于存儲器分配和存儲器解除分配事件的存儲器地址信息、存儲器大小信息、以及存儲器類型信息。

7.如權利要求4或5之一所述的系統，其中：

所述事件監視器進一步被布置成記錄用于同步事件的同步對象地址和同步類型。

8.如權利要求6所述的系統，其中：

所述事件監視器進一步被布置成記錄用于同步事件的同步對象地址和同步類型。

9.如權利要求1所述的系統，其中，創建部分次序圖包括確定來自所述事件收集器的事件是否能夠被并行執行。

10.如權利要求1所述的系統，其中，所述并發錯誤檢測器被布置成分析來自事件播放器中的代理線程的每個事件。