排他控制检查装置、排他控制检查方法、排他控制检查程序

摘要

排他控制检查装置确定出作为检查对象的计算机程序中所包含的语句的执行顺序以及执行路径(S02)，基于语句的执行顺序以及执行路径确定锁定区间(S03)，提取出锁定区间的暂停时间(S04)。而且，对于各执行路径，计算出锁定区间的执行所需要的时钟数(S05、S06)，对于各锁定区间，计算出时钟数的最大值(S07)，并输出(S11)。

主权项

一种排他控制检查装置，其对计算机程序中所包含的排他控制进行检查，该排他控制检查装置的特征在于，具有：顺序路径确定部，其确定作为检查对象的所述计算机程序中所包含的语句的执行顺序以及执行路径；锁定区间确定部，其基于利用所述顺序路径确定部确定出的所述语句的执行顺序以及执行路径，确定下述锁定区间，其中，该锁定区间由对所述计算机程序中所包含的多个任务能够利用的共享资源执行排他控制的一组语句构成；时钟数计算部，其对于利用所述锁定区间确定部确定出的所述锁定区间中所包含的各执行路径，计算所述锁定区间的执行所需要的时钟数；最大时钟数计算部，其对于各所述锁定区间，计算利用所述时钟数计算部计算出的所述时钟数的最大值；以及检查结果输出部，其输出利用所述最大时钟数计算部计算出的所述时钟数的最大值。