收藏本站
问答
《计算机学报》 2009年09期
作者本人免费下载 | 收藏 | 投稿 | 论文排版

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

丁佐华   江明月   刘静   开通知网号
【摘要】： 用静态分析方法对并发程序进行死锁检测通常比较困难,其原因是会遇到状态空间爆炸问题.文中针对作者曾提出的一种可有效避免状态爆炸问题的死锁检测方法,进行进一步实验验证.该方法的基本框架是首先将表示并发系统的离散Petri网模型连续化,得到一种新的连续Pe...

 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978
订卡电话 400-819-9993
在线咨询 https://help.cnki.net
京ICP证040441号
京公网安备11010802020475号
违法和不良信息举报电话：400-062-8866
举报邮箱：jubao@cnki.net
©2022中国知网（CNKI）


加载耗时:44ms