系统包含死锁-如何找到它？(UPPAAL)
系统包含死锁-如何找到它？(UPPAAL)
提问于 2016-11-27 17:45:48
我用UPPAAL建立了一个模型，并使用验证器检查死锁。答案是:财产没有得到满足。因此，存在着一个僵局。
UPPAAL中是否有一种方法可以报告更多关于死锁的信息，如特定情况下所有变量的状态和当前值？
回答 1
Stack Overflow用户
回答已采纳
发布于 2016-11-29 07:34:55
是。我们可以在UPPAAL中跟踪死锁，我们可以找到导致死锁的状态或路径。选择->诊断追踪->最快。您可以在诊断跟踪中选择这些选项中的任意一个/最快/最短。在选择最快速度之后。转到验证器并检查死锁锁属性。通过选择“是”在模拟中存储新的跟踪，然后转到模拟器，它将显示使属性无法满足的新存储跟踪。希望能帮上忙
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/40831946
复制相关文章
相似问题
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号