[發明專利]排他控制檢查裝置、排他控制檢查方法

有效

• 申請號: 201380069267.X
• 申請日: 2013-12-25
• 公開（公告）號: CN104885061B
• 公開（公告）日: 2016-11-09
• 發明（設計）人: 長谷川美和子
• 申請（專利權）人: 日產自動車株式會社
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 北京天昊聯合知識產權代理有限公司 11112
• 代理人: 何立波;張天舒

1.一種排他控制檢查裝置，其對計算機程序中所包含的排他控制進行檢查，

該排他控制檢查裝置的特征在于，具有：

順序路徑確定部，其確定作為檢查對象的所述計算機程序中所包含的語句的執行順序以及執行路徑；

鎖定區間確定部，其基于利用所述順序路徑確定部確定出的所述語句的執行順序以及執行路徑，確定下述鎖定區間，其中，該鎖定區間由對所述計算機程序中所包含的多個任務能夠利用的共享資源執行排他控制的一組語句構成；

時鐘數計算部，其對于利用所述鎖定區間確定部確定出的所述鎖定區間中所包含的各執行路徑，計算所述鎖定區間的執行所需要的時鐘數；

最大時鐘數計算部，其對于各所述鎖定區間，計算利用所述時鐘數計算部計算出的所述時鐘數的最大值；以及

檢查結果輸出部，其輸出利用所述最大時鐘數計算部計算出的所述時鐘數的最大值。

2.根據權利要求1所述的排他控制檢查裝置，其特征在于，還具有：

暫停時間提取部，其對于各所述鎖定區間，提取能夠等待對所述共享資源的訪問限制解除的暫停時間；

沖突鎖定區間確定部，其對于各所述鎖定區間，確定屬于與所述鎖定區間所屬于的任務不同的其他任務的其他鎖定區間；以及

暫停判斷部，其在所述鎖定區間的所述時鐘數的最大值大于所述其他鎖定區間的暫停時間的情況下，判斷為所述其他鎖定區間有可能被跳過，

所述檢查結果輸出部輸出利用所述暫停判斷部得到的判斷結果。

3.一種排他控制檢查方法，其對計算機程序中所包含的排他控制進行檢查，

該排他控制檢查方法的特征在于，

確定作為檢查對象的所述計算機程序中所包含的語句的執行順序以及執行路徑；

基于所述語句的執行順序以及執行路徑，確定下述鎖定區間，其中，該鎖定區間由對所述計算機程序中所包含的多個任務能夠利用的共享資源執行排他控制的一組語句構成；

對于所述鎖定區間中所包含的各執行路徑，計算所述鎖定區間的執行所需要的時鐘數；

對于各所述鎖定區間，計算所述時鐘數的最大值；以及

輸出所述時鐘數的最大值。

4.一種排他控制檢查程序，其對計算機程序中所包含的排他控制進行檢查，

該排他控制檢查程序的特征在于，使計算機實現下述功能：

確定作為檢查對象的所述計算機程序中所包含的語句的執行順序以及執行路徑的功能；

基于所述語句的執行順序以及執行路徑，確定下述鎖定區間的功能，其中，該鎖定區間由對所述計算機程序中所包含的多個任務能夠利用的共享資源執行排他控制的一組語句構成；

對于所述鎖定區間中所包含的各執行路徑，計算所述鎖定區間的執行所需要的時鐘數的功能；

對于各所述鎖定區間，計算所述時鐘數的最大值的功能；以及

輸出所述時鐘數的最大值的功能。