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

高飞; 武淑红; 王耀力

首页> 中文期刊> 《现代电子技术》 >基于CSP的多线程自动建模及死锁检测研究

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《现代电子技术》 |2019年第12期|57-61|共5页
作者
高飞; 武淑红; 王耀力;
展开▼
作者单位

太原理工大学信息与计算机学院;

山西太原 030024;

太原理工大学信息与计算机学院;

山西太原 030024;

太原理工大学信息与计算机学院;

山西太原 030024;

展开▼
原文格式 PDF
正文语种 chi
中图分类软件工程;
关键词
多线程建模; 死锁检测; 语义转换; 形式化验证; 通信顺序进程; 过程分析;

相似文献

中文文献
外文文献
专利

1. 基于锁增广分段图的多线程程序死锁检测 [J] . 鲁法明 ,郑佳静 ,包云霞 . 软件学报 . 2021,第006期
2. 基于Petri网的多线程程序死锁检测 [J] . 黄理 ,顾乃杰 ,曹华雄 . 计算机工程 . 2016,第004期
3. 浅析Java多线程中的同步和死锁 [J] . 赵元媛 . 价值工程 . 2010,第007期
4. 一种多线程同步防死锁算法研究 [J] . 王义涛 ,张莉 . 计算机与数字工程 . 2007,第008期
5. 浅析多线程Java程序中死锁问题的解决 [J] . 拓守恒 . 福建电脑 . 2006,第005期
6. 多线程死锁静态检测方法研究 [C] . 白哥乐 ,杨朝红 ,王雅文 . 第十四届全国容错计算学术会议 . 2011
7. 基于扩展CSP多线程形式化建模与死锁检测研究 [A] . 高飞 . 2019

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

摘要

著录项

相似文献

相关主题

期刊订阅