【摘 要】
：
死锁一直都是并发系统中最重要的问题之一,对死锁检测的研究一直都在不断地进行着。模型检测方法是一种重要的自动验证技术,越来越多地被用在验证软硬件设计是否规范的工作中
【基金项目】
：
四川省应用基础研究项目(No.2014JY0112)
论文部分内容阅读
死锁一直都是并发系统中最重要的问题之一,对死锁检测的研究一直都在不断地进行着。模型检测方法是一种重要的自动验证技术,越来越多地被用在验证软硬件设计是否规范的工作中。针对死锁检测的问题进行综述,统计已有的死锁检测方法的文献资料并给出统计结果。然后对搜集出来的文献进行分析,介绍许多动态以及静态的死锁检测方法。最后介绍两种常用的模型检测工具,提出使用模型检测工具进行死锁检测的思路与方法,并证实这种方法的可行性。
其他文献
2018年6月22日，一只阿拉斯加犬左边鼻孔流血不止，经按压未取得良好成效。犬表现精神沉郁，无食欲，饮水增加，体温41.2 ℃，黏膜苍白，全身轻度DIC，呼吸困难，肺音增强，经检查诊断为犬埃里希
陈兆祦教授曾三次就文书档案立卷整理改革问题,刊发文章,著书立说,抒己之见。此次有感而发的《四谈文书档案立卷整理改革》的文章,又从另一方面带给我们新的思考。
目的:分析广西百色市2015年手足口病的流行病学特征,为制定有效的防控策略提供依据。方法:采用描述性流行病学方法对2015年百色市手足口病疫情资料进行统计分析。结果:2015年
研究了科尔沁沙地封育0年的流动沙丘、封育11年的沙丘（流动、半流动和半固定沙丘）和封育20年的沙丘（流动、半流动、半固定和固定沙丘）的群落组成及其物种多样性变化。结果表明，随
本刊讯 来自中国科学院上海技术物理研究所的沈学础院士做客第二十一期武汉光电论坛，作了题为ZnO纳米线微腔中的回音壁模激子极化激元及其激射——物理和应用前景的报告。
在煤层赋存角16°的工作面内用采煤机采煤和底板松软时,刮板输送机常常压入底板内,而采煤机与刮板输送机一起翻倒,从而损坏溜槽。 北库兹巴斯煤炭生产联合公司所属的《别列
设计了一种采用FPGA＋DSP系统框架的信号处理机，由3个核心处理器协同工作，共同完成多通道多普勒信号的目标检测和方位识别等功能。该信号处理机在实现频域目标检测功能的同时，实现
基于传统Sallen-Key二阶低通滤波器,通过在二阶RC低通网络的输出端增加电阻RA,用OTRA(运算跨阻放大器)构成了新型Sallen-Key二阶低通滤波器.与传统电路相比,该电路能减小寄生
<正>健全人大组织制度和工作制度,支持和保证人大依法行使立法权、监督权、决定权、任免权,更好发挥人大代表作用,使各级人大及其常委会成为全面担负起宪法法律赋予的各项职
目的 分析2016年广西岑溪市一起疟疾病例的发病原因,了解疫点人群的发病情况,及时采取措施,避免疫情扩散.方法 采用传染病流行病学个案调查方法,获取病例发病前暴露情况、发