[发明专利]排他控制检查装置、排他控制检查方法有效
| 申请号： | 201380069267.X | 申请日： | 2013-12-25 |
| 公开（公告）号： | CN104885061B | 公开（公告）日： | 2016-11-09 |
| 发明（设计）人： | 长谷川美和子 | 申请（专利权）人： | 日产自动车株式会社 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 北京天昊联合知识产权代理有限公司 11112 | 代理人： | 何立波;张天舒 |
| 地址： | 日本神*** | 国省代码： | 日本;JP |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 排他控制检查装置确定出作为检查对象的计算机程序中所包含的语句的执行顺序以及执行路径(S02)，基于语句的执行顺序以及执行路径确定锁定区间(S03)，提取出锁定区间的暂停时间(S04)。而且，对于各执行路径，计算出锁定区间的执行所需要的时钟数(S05、S06)，对于各锁定区间，计算出时钟数的最大值(S07)，并输出(S11)。 | ||
| 搜索关键词： | 排他 控制 检查 装置 方法 | ||
【主权项】：
一种排他控制检查装置，其对计算机程序中所包含的排他控制进行检查，该排他控制检查装置的特征在于，具有：顺序路径确定部，其确定作为检查对象的所述计算机程序中所包含的语句的执行顺序以及执行路径；锁定区间确定部，其基于利用所述顺序路径确定部确定出的所述语句的执行顺序以及执行路径，确定多个下述锁定区间，其中，该锁定区间由对所述计算机程序中所包含的多个任务能够利用的共享资源执行排他控制的一组语句构成；时钟数计算部，其对于利用所述锁定区间确定部确定出的所述锁定区间中所包含的各执行路径，计算所述锁定区间的执行所需要的时钟数；最大时钟数计算部，其对于各所述锁定区间，计算利用所述时钟数计算部计算出的所述时钟数的最大值；以及检查结果输出部，其输出利用所述最大时钟数计算部计算出的所述时钟数的最大值。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于日产自动车株式会社，未经日产自动车株式会社许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201380069267.X/，转载请声明来源钻瓜专利网。
- 上一篇：一种利用燃煤锅炉机组余热预干燥原煤的煤仓
- 下一篇：一种新型环保节能烘烤房
