DEADLOCK DETECTION AND RESOLUTION FOR DISCRETE-EVENT SIMULATION - MULTIPLE-UNIT SEIZES

This paper develops an automatic scheme to detect and resolve deadlock s in discrete-event simulation systems with entities capable of reques ting multiple units of a resource. The research extends earlier deadlo ck work on discrete simulation systems with unit resource requests. Th e purpose of the deadlock handling scheme is to provide for additional capabilities in discrete simulation systems. This is accomplished by endowing the simulation system with appropriate data structures and al gorithms. The algorithms presented are based on a graph model of deadl ocks in the simulation system. The proposed algorithms identify differ ent categories of permanent and transient deadlocks in the simulation system. A deadlock resolution scheme is also developed in the case of group-processing for permanent deadlocks.