An Automatic Approach to Deadlock Detection and Resolution in Discrete Simulation Systems

Abstract

In this article we develop an automatic deadlock detection scheme for general purpose simulation systems and offer deadlock-resolution algorithms for grouped resources and overlapping resources. Our intent is to provide capabilities that can be incorporated in professional simulation systems to facilitate modeling situations where deadlocking is a problem. Two general modeling situations are analyzed. In grouped-resources models, a set of resources is required to complete a task, whereas in overlapping-resources models, movement to the next process requires first gaining control of the next resource. Deadlocks occurring in these two different situations require different resolution algorithms. We develop a graph-theoretic description of the simulation over time and define deadlocks in terms of strongly connected components of this graph. We make a distinction between transient deadlocks and permanent deadlocks. A prototype implementation of the detection and resolution algorithms was incorporated in a simulation system to provide information concerning the computational requirements and performance of these algorithms. We demonstrate that resolving a possible transient deadlock before it becomes permanent is worthwhile in conjunction with overlapping resources, and that the computational performance of the approach is reasonable except for situations with frequent occurrences of overlapping-resources deadlocks.

An Automatic Modeling Approach to the Strategic Analysis of Semiconductor Fabrication Facilities

“…(The implemented algorithm terminates at this point and provides a list of the overloaded resources.) The latter case is an instance of deadlocking, currently under investigation by the authors ( Deuermeyer, Curry, Duchowski, and Venkatesh 1993 ) .…”

An Evaluation of Deadlock-Handling Strategies in Semiconductor Cluster Tools

“…Of course, our research is also equally applicable to other single-blade cluster tools with a similar operational structure. Researchers report the occurrence of deadlock in cluster tool operation [1]- [3]. Deadlocks can block wafer processing in the cluster tool, and, therefore, the performance of the cluster tool can suffer.…”