Efficient implementations of Banker's algorithm for deadlock avoidance in flexible manufacturing systems

Manufacturing systems researchers have dismissed Banker's algorithm as being too conservative for deadlock avoidance in contemporary flexibly automated, discrete-part manufacturing systems. In this paper, we provide a modified Banker's logic for the FMS context, and show that the resulting implementations compare favorably in terms of operational flexibility with modern deadlock avoidance policies developed specifically for manufacturing. Furthermore, we establish interesting theoretical relationships between Banker's and these more recent policies, and discuss extensions of Banker's logic that can also accommodate the effects of the routing flexibility which is inherent in modern production systems.

[1]  A. Nico Habermann,et al.  Prevention of system deadlocks , 1969, CACM.

[2]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[3]  Mark Lawley,et al.  Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems , 1997, IEEE Trans. Autom. Control..

[4]  Richard A. Wysk,et al.  Detection of deadlocks in flexible manufacturing cells , 1991, IEEE Trans. Robotics Autom..

[5]  E. Mark Gold,et al.  Deadlock Prediction: Easy and Difficult Cases , 1978, SIAM J. Comput..

[6]  Spyros Reveliotis,et al.  FMS structural control and the Neighborhood policy, Part 1: correctness and scalability , 1997 .

[7]  Placid Mathew Ferreira,et al.  Deadlock avoidance policies for resource allocation systems with applications to FMS , 1996, Proceedings 1996 IEEE Conference on Emerging Technologies and Factory Automation. ETFA '96.

[8]  Spyros A. Reveliotis,et al.  Deadlock avoidance policies for automated manufacturing cells , 1996, IEEE Trans. Robotics Autom..

[9]  Jeffrey S. Smith,et al.  Formal models for control of flexible manufacturing cells: physical and system model , 1995, IEEE Trans. Robotics Autom..

[10]  Mark Alan Lawley.  Structural analysis and control of flexible manufacturing systems , 1995 .

[11]  Bruce H. Krogh,et al.  Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows , 1990, IEEE Trans. Robotics Autom..

[12]  Placid Mathew Ferreira,et al.  Design Guidelines for Deadlock-Handling Strategies in Flexible Manufacturing Systems , 1997 .