DEADLOCK PROPERTIES IN DISCRETE SIMULATION SYSTEMS Conference Paper uri icon

abstract

  • Deadlock is a situation when a set of entities, holding some resource(s), all request access to resource(s) held by other entities in the same set. Due to the stochastic nature of simulation and a lack of information of the chronology of events a priori, predicting deadlocks in simulation is a difficult task. In the following paper, we present a graph theoretic model to capture the deadlock characteristics, and some deadlock properties of a general discrete simulation system. Finally, we suggest deadlock detection and resolution as an appropriate strategy in simulation systems.

name of conference

  • Proceedings of the 1994 IEEE International Conference on Robotics and Automation

published proceedings

  • 1994 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION: PROCEEDINGS, VOLS 1-4

author list (cited authors)

  • VENKATESH, S., SMITH, J., DEUERMEYER, B., & CURRY, G.

citation count

  • 3

complete list of authors

  • VENKATESH, S||SMITH, J||DEUERMEYER, B||CURRY, G

publication date

  • January 1994