An evaluation of deadlock-handling strategies in semiconductor cluster tools

We study the deadlock handling performance of a single-blade cluster tool and present a comparison of average flowtimes under deadlock detection and resolution versus prevention. Two detection and resolution policies are tested: either resolve permanent deadlocks or resolve both permanent and transient deadlocks. A permanent deadlock requires external intervention to resolve the deadlock, whereas a transient deadlock has a positive probability that the deadlock will resolve itself over time. Prevention averts deadlock by providing sufficient in-process buffer spaces. Our experiments indicate interplay of process and robot transfer times dictate the choice of deadlock strategy. Under low robot transfer times relative to process times, providing sufficient in-process buffer to prevent deadlock or resolving both permanent and transient deadlocks can be equally effective. We conclude with some practical guidelines for operating and designing cluster tools under deadlock conditions.

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

[2]  Neal G. Pierce,et al.  Development of generic simulation models to evaluate wafer fabrication cluster tools , 1992, WSC '92.

[3]  Ying Tat Leung,et al.  Resolving deadlocks in flexible manufacturing cells , 1993 .

[4]  Jeffrey S. Smith,et al.  A graph-theoretic, linear-time scheme to detect and resolve deadlocks in flexible manufacturing cells , 2003 .

[5]  Richard A. Wysk,et al.  Resolution of deadlocks in flexible manufacturing systems: Avoidance and recovery approaches , 1994 .

[6]  G. Rand Sequencing and Scheduling: An Introduction to the Mathematics of the Job-Shop , 1982 .

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

[8]  Mark A. Lawley,et al.  Deadlock avoidance for production systems with flexible routing , 1999, IEEE Trans. Robotics Autom..

[9]  Andrew T. Duchowski,et al.  An Automatic Approach to Deadlock Detection and Resolution in Discrete Simulation Systems , 1997, INFORMS J. Comput..

[10]  Y. Narahari,et al.  Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models , 1990, IEEE Trans. Robotics Autom..

[11]  Hyunbo Cho,et al.  A structured approach to deadlock detection, avoidance and resolution in flexible manufacturing systems , 1994 .

[12]  Hyunbo Cho,et al.  Graph-theoretic deadlock detection and resolution for flexible manufacturing systems , 1995, IEEE Trans. Robotics Autom..

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