论文部分内容阅读
用静态分析方法对并发程序进行死锁检测通常比较困难，其原因是会遇到状态空间爆炸问题．文中针对作者曾提出的一种可有效避免状态爆炸问题的死锁检测方法，进行进一步实验验证．该方法的基本框架是首先将表示并发系统的离散Petri网模型连续化，得到一种新的连续Petri网模型；在此基础上，建立系统的常微分方程模型；通过分析常微分方程组的解来检测系统中是否存在死锁．与传统方法不同点在于：该方法不需要遍历状态空间，而是分析一组常微分方程组的解．为了减少在求解常微分方程模型过程中的计算机系统的开销，作者还采取了一系列优化策略