节点文献

基于CSP的多线程自动建模及死锁检测研究

免费订阅

【作者】 高飞武淑红王耀力

【Author】 GAO Fei;WU Shuhong;WANG Yaoli;College of Information and Computer,Taiyuan University of Technology;

【机构】 太原理工大学信息与计算机学院

【摘要】 并发模型分析主要用于业务流程逻辑验证,并不能很好支持多线程程序建模。目前大部分研究主要针对Java程序的死锁检测,对于使用POSIX线程库开发的C语言程序研究并不多。为了检测POSIX线程库开发的C语言程序是否存在死锁问题,提出一种对多线程程序进行自动建模与死锁检测的形式化验证方法。首先,根据C++CSP框架和源程序之间的联系,实现源程序到C++CSP框架的语义转换;然后,对C++CSP框架建立通信顺序进程(CSP)模型,并通过过程分析工具(PAT)对建立的模型进行死锁检测;最后,通过实例验证了本文中自动建模与死锁检测方法的可行性与有效性。

【基金】 全国工程专业学位研究生教育指导委员会立项项目(2016-ZX-095);山西省应用基础研究项目(201801D121141)~~
【所属期刊栏目】 计算机科学与应用 (2019年12期)
  • 【DOI】10.16652/j.issn.1004-373x.2019.12.014
  • 【分类号】TP332;TP312.1
  • 【下载频次】18
节点文献中: 

本文链接的文献网络图示:

浏览历史:
下载历史: