信息技术与软件工程杂志
开放获取

抽象的

分布式有限自动机死锁检测技术

Shivendra Kumar P、Hari Krishna T 和 Kapoor RK

在分布式中，系统死锁是一个根本问题。进程可以按任何顺序请求资源，这可能是事先未知的，并且进程可以在保留其他资源的同时请求资源。如果不控制向进程分配资源的顺序，则可能会发生死锁。快速高效的死锁检测在分布式系统中是非常具有挑战性和困难的任务。在本文中，分布式死锁是由分布式控制管理器检测的。我们提出了一种基于有限自动机的分布式死锁检测算法来检测分布式环境中的死锁。在这个提出的解决方案中，我们借助有限自动机绘制分布式事务的等待图。我们提出的算法避免了向其他节点传输消息；它基于在有限自动机的帮助下扩展等待图中未访问的节点。这种基于有限自动机的死锁检测技术工作速度快，并且需要较少的比较次数来检测等待图中的死锁。