[发明专利]排他控制检查装置、排他控制检查方法

说明书

技术领域

本发明涉及一种排他控制检查装置、排他控制检查方法、排他控制检查程序。

背景技术

已知一种锁定动作测定方法(参照专利文献1)，其为了计算出在计算机程序内的锁定区间中使用的信号量的繁忙率以及冲突率，利用实际时间分别对作为测定对象而指定出的信号量的从锁定获取到锁定释放为止的锁定时间、以及信号量的从等待锁定获取到锁定获取为止的等待锁定解除时间进行测定。

专利文献1：日本特开平11－085574号公报

发明内容

在专利文献1中所公开的锁定动作测定方法，是使系统动作而测定上述时间这样的动态检查方法，因此仅将实际执行的锁定区间、等待锁定解除处理作为对象。因此不能将实际未执行的锁定区间、分支路径作为测定对象。因此，不能针对可执行的各个锁定区间，分别把握锁定时间的最大值，因此不能确定出系统的响应性恶化的锁定区间。即，专利文献1所公开的锁定动作测定方法具有如下述的课题，即：无法充分实现对在计算机程序中所使用的锁定区间的执行所需的时间(锁定时间)、发生冲突关系、暂停的情况进行把握，对是否满足施加于系统的要求进行检验这样的目的。

本发明是鉴于上述课题而提出的，其目的在于提供一种排他控制检查装置、排他控制检查方法、排他控制检查程序，其能够针对在计算机程序中可执行的锁定区间，使用户注意到系统的响应性有可能恶化的部分。

本发明的一个方式所涉及的排他控制检查装置，确定作为检查对象的计算机程序中所包含的语句的执行顺序以及执行路径，基于确定出的语句的执行顺序以及执行路径，确定下述锁定区间，其中，该锁定区间由对计算机程序中所包含的多个任务能够利用的共享资源执行排他控制的一组语句构成。而且，对于确定出的锁定区间中所包含的各执行路径，计算锁定区间的执行所需要的时钟数。而且将确定出的执行顺序以及执行路径、锁定区间、计算出的时钟数等的信息作为检查结果而输出。

优选本发明的一个方式所涉及的排他控制检查装置针对各锁定区间，提取出能够等待对共享资源的访问限制解除的暂停时间，将属于与锁定区间所属于的任务不同的其他任务的其他锁定区间确定为产生冲突的任务，在锁定区间的时钟数的最大值大于其他锁定区间的暂停时间的情况下，判断为其他锁定区间有可能被跳过。

附图说明

图1是表示本发明的实施方式所涉及的排他控制检查装置的硬件结构的框图。

图2是表示CPU11的功能的构成的框图。

图3是表示利用本发明的实施方式所涉及的排他控制检查装置执行的信息处理的流程的流程图。

图4(a)、图4(b)、图4(c)是作为利用源代码输入部21读入的源代码D01，表示出利用C语言编写的计算机程序的一个例子的图。

图5是表示在将图4(a)的函数“Task1”作为入口点的情况下的语句(代码)的执行顺序以及执行路径的表(执行顺序/执行路径表T01)。

图6是表示入口点一览D02的一个例子的表。

图7是表示锁定开始命令/解除命令列表D03的一个例子的表。

图8是表示所需时钟数一览D04的一个例子的表。

图9是表示图3的步骤S03～S05所示的信息处理F01的详细的处理流程的一个例子的流程图。

图10是作为图9的流程图的执行结果的一个例子，表示出针对图4(a)的函数“Task1”的执行结果的表(锁定区间确定表T02)。

图11是作为图3的步骤S06以及S07的执行结果的一个例子，表示出执行路径的各自的时钟数、以及在锁定区间的执行中所需要的时钟数的最大值的表(时钟数合计管理表T03)。

图12是作为图3的步骤S08的执行结果的一个例子，表示出存在冲突关系的程序块区间的组合的表(排他控制结构管理表T04)。

图13是表示排他控制检查结果D05的一个例子的表。

具体实施方式

参照附图说明本发明的实施方式。在附图的记载中，对于相同部分标注相同标号并省略说明。

【排他控制检查装置的硬件结构】

本发明的实施方式所涉及的排他控制检查装置例如能够应用在下述处理中，即：对在利用搭载于车辆的电子控制装置(ECU)而执行的计算机程序中所包含的排他控制进行检查的处理。