基于常微分方程的死锁检测实验分析

• 作者: 丁佐华 刘静 江明月
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 死锁检测 并发程序 状态爆炸 连续Petri网 常微分方程
• 年，卷（期）: 2009,（9）
• 页码范围: 1736-1749
• 页数: 14页
• 分类号: TP311
• 字数: 11093字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2009.01736

摘要

用静态分析方法对并发程序进行死锁检测通常比较困难,其原因是会遇到状态空间爆炸问题.文中针对作者曾提出的一种可有效避免状态爆炸问题的死锁检测方法,进行进一步实验验证.该方法的基本框架是首先将表示并发系统的离散Petri网模型连续化,得到一种新的连续Petri网模型;在此基础上,建立系统的常微分方程模型;通过分析常微分方程组的解来检测系统中是否存在死锁.与传统方法不同点在于:该方法不需要遍历状态空问,而是分析一组常微分方程组的解.为了减少在求解常微分方程模型过程中的计算机系统的开销,作者还采取了一系列优化策略.哲学家进餐问题被用来说明死锁检测的方法.大量的实验结果说明作者所提出的方法有着较强的静态分析能力.作为副产品,这种分析方法还可以用来判定系统的有界性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘静	华东师范大学计算机理论研究所	51	303	8.0	16.0
2	丁佐华	浙江理工大学数学计算与软件工程中心	26	71	6.0	7.0
3	江明月	浙江理工大学数学计算与软件工程中心	2	5	1.0	2.0