Deadlock-free scheduling of photolithography equipment in semiconductor fabrication

This paper presents the development of an efficient approach to the deadlock-free scheduling of photolithography equipment in semiconductor fabrication. Trends toward high automation and flexibility in the photolithography equipment accelerate the necessity of an intelligent scheduler that can guarantee reliability and improve the productivity of the photolithography equipment. Therefore, the scheduler of the photolithography equipment should be able to handle failures of process modules and deadlock while optimizing its performance measures such as throughput and utilization. The contingency of failure of process modules makes the tasks of optimizing the performance measures and managing deadlock more difficult because failure of process modules can change states unexpectedly and deadlock situations can vary dynamically according to failure of process modules. This paper proposes a deadlock-free scheduling approach that can perform scheduling and deadlock management in an efficient way for photolithography equipment, in spite of failures of process modules. First, this paper presents a novel framework in which the authors decompose the deadlock management problem into subproblems and then integrate them with scheduling algorithms. In other words, they identify deadlock-prone and deadlock-safe process modules in the context of the deadlock management and then focus on the deadlock-prone process modules to guarantee deadlock-freeness when applying scheduling algorithms to all of the process modules. To realize the proposed framework, a resource request matrix is introduced to represent operational states. The resource request matrix provides an explicit representation of the deadlock situations, which is useful in identifying deadlock-prone process modules and applying deadlock management algorithms. The authors also present algorithms of polynomial complexity to identify deadlock-prone process modules and algorithms to manage deadlock, which take failures of process modules into consideration.

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

[2]  Spyros A. Reveliotis,et al.  Accommodating FMS operational contingencies through routing flexibility , 1998, Proceedings. 1998 IEEE International Conference on Robotics and Automation (Cat. No.98CH36146).

[3]  S. Venkatesh,et al.  A steady-state throughput analysis of cluster tools: dual-blade versus single-blade robots , 1997 .

[4]  Joaquín Ezpeleta,et al.  Automatic synthesis of colored Petri nets for the control of FMS , 1997, IEEE Trans. Robotics Autom..

[5]  M. N. S. Swamy,et al.  Graphs: Theory and Algorithms: Thulasiraman/Graphs , 1992 .

[6]  Ronald L. Rivest,et al.  Introduction to Algorithms , 1990 .

[7]  Israel Cidon An Efficient Distributed Knot Detection Algorithm , 1989, IEEE Trans. Software Eng..

[8]  Maria Pia Fanti,et al.  Event-based feedback control for deadlock avoidance in flexible production systems , 1997, IEEE Trans. Robotics Autom..

[9]  Arie Shoshani,et al.  System Deadlocks , 1971, CSUR.

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

[11]  Javier Martínez,et al.  A Petri net based deadlock prevention policy for flexible manufacturing systems , 1995, IEEE Trans. Robotics Autom..

[12]  MengChu Zhou,et al.  Deadlock-free scheduling of an automated manufacturing system based on Petri nets , 1997, Proceedings of International Conference on Robotics and Automation.

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

[14]  James A. McHugh,et al.  Algorithmic Graph Theory , 1986 .

[15]  Peter B. Galvin,et al.  Operating System Concepts, 4th Ed. , 1993 .

[16]  Xiaolan Xie,et al.  Petri nets and deadlock-free scheduling of multiple-resource operations , 1999, IEEE SMC'99 Conference Proceedings. 1999 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.99CH37028).

[17]  M. N. Shanmukha Swamy,et al.  Graphs: Theory and Algorithms , 1992 .

[18]  Alfred V. Aho,et al.  The Design and Analysis of Computer Algorithms , 1974 .

[19]  Frank DiCesare,et al.  Integrated scheduling of flexible manufacturing systems employing automated guided vehicles , 1994, IEEE Trans. Ind. Electron..

[20]  Frank DiCesare,et al.  Scheduling flexible manufacturing systems using Petri nets and heuristic search , 1994, IEEE Trans. Robotics Autom..

[21]  Sanjay B. Joshi,et al.  Deadlock-free schedules for automated manufacturing workstations , 1996, IEEE Trans. Robotics Autom..

[22]  S. C. Wood,et al.  Simple performance models for integrated processing tools , 1996 .

[23]  S. C. Wood,et al.  Systems of multiple cluster tools: configuration and performance under perfect reliability , 1998 .

[24]  Azzedine Boukerche,et al.  A Distributed Graph Algorithm for the Detection of Local Cycles and Knots , 1998, IEEE Trans. Parallel Distributed Syst..

[25]  Hoda A. ElMaraghy,et al.  An Efficient Search Algorithm for Deadlock-Free Scheduling in FMS Using Petri Nets , 1998, ICRA.

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

[27]  Shi-Chung Chang,et al.  Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems , 1994, IEEE Trans. Robotics Autom..

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

[29]  MuDer Jeng,et al.  Deadlock-free scheduling of flexible manufacturing systems based on heuristic search and Petri net structures , 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).

[30]  Maria Pia Fanti,et al.  Deadlock avoidance in cellular manufacturing systems , 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).