Deadlock Detection in Distributed Systems Using the IMDS Formalism and Petri Nets

2017 ◽  
pp. 118-130 ◽  
Author(s):  
Wiktor B. Daszczuk ◽  
Wlodek M. Zuberek
Keyword(s):  
Distributed Systems ◽  
Petri Nets ◽  
Deadlock Detection

Deadlock detection in distributed systems

Computer ◽  
1989 ◽  
Vol 22 (11) ◽  
pp. 37-48 ◽  
Author(s):  
M. Singhal
Keyword(s):  
Distributed Systems ◽  
Deadlock Detection

A Hybrid Algorithm for Fast Detection and Resolution of Generalized Deadlocks in Distributed Systems

2005 ◽  
Vol 277-279 ◽  
pp. 171-176
Author(s):  
Soo Jung Lee ◽  
Kwang Moon Cho
Keyword(s):  
Distributed Systems ◽  
Hybrid Algorithm ◽  
Deadlock Detection ◽  
Detection Time ◽  
Fast Detection ◽  
Message Length ◽  
Computation Technique ◽  
Diffusing Computation

In the literature only a handful of studies have been performed on the distributed deadlock problem in the generalized request model. Most of those algorithms use either the diffusing computation technique or have the initiator collect all the dependency information among processes. This paper proposes an algorithm which incorporates these two methods with the following properties: first, it removes the reduction phase of the diffusing computation; second, it encodes the dependency information to reduce message length, rather than transmitting it naively as is. The main advantage of the proposed algorithm is that deadlock detection time is reduced to almost half of that of the existing algorithms.

A new methodology for analyzing distributed systems modeled by petri nets

1990 ◽  
Vol 31 (3-4) ◽  
pp. 153-165 ◽  
Author(s):  
Dilip Sarkar ◽  
Sajal Kumar Das ◽  
Vinod Kumar Agrawal ◽  
Lalit Mohan Patnaik
Keyword(s):  
Distributed Systems ◽  
Petri Nets

scholarly journals An Improved Multi-Cycle Deadlock Detection and Resolution Algorithm for Distributed Systems

2014 ◽  
Vol 3 (3) ◽  
pp. 111-120
Author(s):  
Mohsen Askari ◽  
Rozita Jamili Oskouei
Keyword(s):  
Distributed Systems ◽  
Data Sharing ◽  
Deadlock Detection ◽  
A Algorithm ◽  
System A ◽  
Memory Overhead ◽  
Resolution Algorithm ◽  
High Degree ◽  
Available Resources

Distributed systems exhibit a high degree of resource and data sharing creating a state in which deadlocks might make their appearance. Since deadlock detection and resolution  is one of the important concerns in distributed systems which lead to minimizing available resources, therefore instigating   the  system  throughput decrease.  Our  proposed algorithm detects and resolves  the  multi-cycle  deadlocks, whether the initiator is involved in the deadlock cycle directly or indirectly. Also the chance  of  phantom  deadlock  detection is minimized. This  algorithm  not  only  can manage the simultaneous execution of it but also detects the multi-cycle deadlocks in  the  distributed  systems. Our  algorithm introduces a modified probe and victim message  structure. Moreover,  no  extra  storage  required  to  store  prob message  in each node which is known as memory overhead in the distributed systems.

Simulation and Performance Analysis of a FMS/CIM Using Stochastic Timed Petri Nets

2013 ◽  
Vol 837 ◽  
pp. 322-327
Author(s):  
Daniela Coman ◽  
Adela Ionescu
Keyword(s):  
Performance Analysis ◽  
Petri Nets ◽  
Petri Net ◽  
Flexible Manufacturing ◽  
Manufacturing System ◽  
Utilization Rate ◽  
Deadlock Detection ◽  
Timed Petri Nets ◽  
Graphic Construction ◽  
And Performance

This paper focuses on the modelling, simulation and the performance analysis of a flexible manufacturing system using stochastic timed Petri nets so as to evaluate various performance parameters such as utilization rate of machines, deadlock detection, cycle time, and throughput rate of system in order to obtain the optimum productivity. The simulation of the manufacturing system using Petri nets provides the possibility to view the manufacturing process in time. Petri net model is implemented in Petri Net Toolbox under MATLAB environment. It is achieved the graphic construction of the net. Then, transporting it into a specific mathematical formalism it is made, so that the fulfiled structure to be fully retrieved and used to bring out the internal dynamics of the model. It is validated in this way the net topology, the evolution of (their dynamics), as well as the structural and behavioral properties (corresponding to checking if resources usage is stable and the model have no deadlocks). Some global performance indicators are determined in order to evaluate the performance of the proposed manufacturing system.

Sign in / Sign up

Export Citation Format

Share Document