A Novel Priority-based Deadlock Detection and Resolution Algorithm in Mobile Agent Systems
Wei Bing Lu, Yong Yang, Weiwei Xing, Liqiang Wang, Xiaoping Che · Proceedings · 2016
Deadlock detection and resolution is one of the challenges in mobile agent systems, especially, when concurrent execution (i.e., more than one algorithm instances executing simultaneously) of algorithm instances. In this paper, we propose a deadlock detection and resolution algorithm in mobile agent systems. Priority-based approach is adopted in our algorithm to coordinate concurrent execution of algorithm instances. The liveness and safety properties of our algorithm are proved. Analysis and simulation results indicate that our algorithm can provide better performance and avoid duplicate detection and resolutions of the same deadlock in condition of concurrent execution.