《计算机学报》文章摘要   全文下载
文章题目	基于常微分方程的死锁检测实验分析
作者	丁佐华1) 江明月1) 刘静2)
作者单位	1)(浙江理工大学数学计算与软件工程中心 杭州 310018) 2)(华东师范大学计算机理论研究所 上海 200062)
发表年份	2009
发表月份	9期(1736—1749)
文章摘要	摘要 用静态分析方法对并发程序进行死锁检测通常比较困难，其原因是会遇到状态空间爆炸问题.文中针对作者曾提出的一种可有效避免状态爆炸问题的死锁检测方法，进行进一步实验验证.该方法的基本框架是首先将表示并发系统的离散Petri网模型连续化，得到一种新的连续Petri网模型；在此基础上，建立系统的常微分方程模型；通过分析常微分方程组的解来检测系统中是否存在死锁.与传统方法不同点在于：该方法不需要遍历状态空间，而是分析一组常微分方程组的解.为了减少在求解常微分方程模型过程中的计算机系统的开销，作者还釆取了一系列优化策略.哲学家进餐问题被用来说明死锁检测的方法.大量的实验结果说明作者所提出的方法有着较强的静态分析能力.作为副产品，这种分析方法还可以用来判定系统的有界性. 关键词 死锁检测；并发程序；状态爆炸；连续Petri网；常微分方程 中图法分类号：TP311 DOI号：10.3724/SP.J.1016.2009.01736