Deadlock detection and resolution in simulation models

Murali Krishnamurthi, Amar Basavatia, Sanjeev Thallikar

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Citations (Scopus)

Abstract

Even though simulation models are validated and verified during the development process, a problem known as 'deadlock' can still occur and go unnoticed in large, complex simulation models. Of all the commercial simulation languages currently in use, none can currently detect or prevent deadlocks and this can lead to incorrect results and decisions. Unfortunately, a deadlocking situation will not show up as a syntax or run time error since it is a modeling error. In this paper, the issues related to deadlock detection and resolution in discrete event simulation models will be analyzed and an algorithm for detecting deadlocks in simulation models will be presented and illustrated with examples. Issues related to deadlock resolution will also be discussed.

Original languageEnglish (US)
Title of host publicationWinter Simulation Conference Proceedings
PublisherIEEE
Pages708-715
Number of pages8
StatePublished - 1994
Externally publishedYes
EventProceedings of the 1994 Winter Simulation Conference - Buena Vista, FL, USA
Duration: Dec 11 1994Dec 14 1994

Other

OtherProceedings of the 1994 Winter Simulation Conference
CityBuena Vista, FL, USA
Period12/11/9412/14/94

Fingerprint

Deadlock
Simulation Model
Computer simulation languages
Discrete event simulation
Modeling Error
Discrete Event Simulation
Development Process
Simulation

ASJC Scopus subject areas

  • Chemical Health and Safety
  • Software
  • Safety, Risk, Reliability and Quality
  • Applied Mathematics
  • Modeling and Simulation

Cite this

Krishnamurthi, M., Basavatia, A., & Thallikar, S. (1994). Deadlock detection and resolution in simulation models. In Winter Simulation Conference Proceedings (pp. 708-715). IEEE.

Deadlock detection and resolution in simulation models. / Krishnamurthi, Murali; Basavatia, Amar; Thallikar, Sanjeev.

Winter Simulation Conference Proceedings. IEEE, 1994. p. 708-715.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Krishnamurthi, M, Basavatia, A & Thallikar, S 1994, Deadlock detection and resolution in simulation models. in Winter Simulation Conference Proceedings. IEEE, pp. 708-715, Proceedings of the 1994 Winter Simulation Conference, Buena Vista, FL, USA, 12/11/94.
Krishnamurthi M, Basavatia A, Thallikar S. Deadlock detection and resolution in simulation models. In Winter Simulation Conference Proceedings. IEEE. 1994. p. 708-715
Krishnamurthi, Murali ; Basavatia, Amar ; Thallikar, Sanjeev. / Deadlock detection and resolution in simulation models. Winter Simulation Conference Proceedings. IEEE, 1994. pp. 708-715
@inproceedings{cb3f21f9e2ae462cbac1c48a2c6c8f13,
title = "Deadlock detection and resolution in simulation models",
abstract = "Even though simulation models are validated and verified during the development process, a problem known as 'deadlock' can still occur and go unnoticed in large, complex simulation models. Of all the commercial simulation languages currently in use, none can currently detect or prevent deadlocks and this can lead to incorrect results and decisions. Unfortunately, a deadlocking situation will not show up as a syntax or run time error since it is a modeling error. In this paper, the issues related to deadlock detection and resolution in discrete event simulation models will be analyzed and an algorithm for detecting deadlocks in simulation models will be presented and illustrated with examples. Issues related to deadlock resolution will also be discussed.",
author = "Murali Krishnamurthi and Amar Basavatia and Sanjeev Thallikar",
year = "1994",
language = "English (US)",
pages = "708--715",
booktitle = "Winter Simulation Conference Proceedings",
publisher = "IEEE",

}

TY - GEN

T1 - Deadlock detection and resolution in simulation models

AU - Krishnamurthi, Murali

AU - Basavatia, Amar

AU - Thallikar, Sanjeev

PY - 1994

Y1 - 1994

N2 - Even though simulation models are validated and verified during the development process, a problem known as 'deadlock' can still occur and go unnoticed in large, complex simulation models. Of all the commercial simulation languages currently in use, none can currently detect or prevent deadlocks and this can lead to incorrect results and decisions. Unfortunately, a deadlocking situation will not show up as a syntax or run time error since it is a modeling error. In this paper, the issues related to deadlock detection and resolution in discrete event simulation models will be analyzed and an algorithm for detecting deadlocks in simulation models will be presented and illustrated with examples. Issues related to deadlock resolution will also be discussed.

AB - Even though simulation models are validated and verified during the development process, a problem known as 'deadlock' can still occur and go unnoticed in large, complex simulation models. Of all the commercial simulation languages currently in use, none can currently detect or prevent deadlocks and this can lead to incorrect results and decisions. Unfortunately, a deadlocking situation will not show up as a syntax or run time error since it is a modeling error. In this paper, the issues related to deadlock detection and resolution in discrete event simulation models will be analyzed and an algorithm for detecting deadlocks in simulation models will be presented and illustrated with examples. Issues related to deadlock resolution will also be discussed.

UR - http://www.scopus.com/inward/record.url?scp=0028742669&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0028742669&partnerID=8YFLogxK

M3 - Conference contribution

SP - 708

EP - 715

BT - Winter Simulation Conference Proceedings

PB - IEEE

ER -