Some Properties of Conservative Parallel Discrete Event Simulation

Yi-Bing Lin, Edward D. Lazowska, Shu Yuen Hwang

Research output: Contribution to journalArticle

Abstract

Performance studies of parallel simulation are complest because a large number of parameters need to be considered. Basically, there are two categories of paramenters: logical parameters, which represent the logical structure of the simulation application, and architecture parameters orhardware parameters, which represent the architecture of the machine that performs the simulation. Logical parameters include the set of events, their timestamps, and the relationships among these events. Architecture parameters include the event execution times and the message sending delays. The interactions between these two sets of paramenters are difficult to analyze.
Fortunately, several inportant metrics for parallel simulation are determined entirely by logical parameters. These metrics can be investigated without considering architecture parameters. In this paper, we show that two important metrics of Chandy-Misra simulation, the number of deadlocks and the number of null messages, are independent of architecture parameters. These results can be used to test the correctness of a Chandy-Misra simulator. Also, based on these results, certain output metric analysis of a Chandy-Misra simulation are simplified.
Original languageEnglish
Pages (from-to)61-77
Number of pages17
JournalJournal of Information Science and Engineering
Volume8
Issue number1
StatePublished - Mar 1992

Keywords

  • Chandy-Misra
  • protocal
  • Conservative parallel simulation
  • dead-lock avoidance
  • deadlock detection
  • discrete event simulation
  • null message

Fingerprint Dive into the research topics of 'Some Properties of Conservative Parallel Discrete Event Simulation'. Together they form a unique fingerprint.

  • Cite this