Terminating parallel discrete event simulations

dc.contributor.authorRichardson, D. S.en
dc.contributor.departmentComputer Scienceen
dc.date.accessioned2014-03-14T21:32:04Zen
dc.date.adate2010-03-17en
dc.date.available2014-03-14T21:32:04Zen
dc.date.issued1991en
dc.date.rdate2010-03-17en
dc.date.sdate2010-03-17en
dc.description.abstractThis thesis analyzes the simulation termination problem of implementing global termination conditions and collecting output measures in discrete event simulations. With regard to parallel simulations, this problem is inherently more difficult than the classic termination detection problem for two reasons. The first is that parallel simulation processes are often written as nonterminating; the second is that the decision to terminate can not be independently made by each process contributing to the simulation. A specification of a solution to the termination problem is developed as a sequence of stepwise refinements using UNITY, and proofs are given to demonstrate that each refinement satisfies the preceding specification. Termination conditions are categorized based on stability (if a condition is stable, once it becomes true it will remain true at all future times) and illustrated using space-time diagrams. A discussion is presented of how to implement termination conditions that are a combination of stable and nonstable conditions. This thesis makes two major contributions. The first is an algorithm to implement global termination conditions and to collect the corresponding output measures in discrete event simulation. The specifications and algorithm given in this thesis are architecture-independent and apply to sequential as well as synchronous and asynchronous parallel discrete event simulation algorithms. The second is the development of a generalized, formal framework in which to reason about simulation algorithms. The techniques used in this thesis to solve the simulation termination problem may be applied to solve other problems arising in parallel simulation.en
dc.description.degreeMaster of Scienceen
dc.format.extentvii, 73 leavesen
dc.format.mediumBTDen
dc.format.mimetypeapplication/pdfen
dc.identifier.otheretd-03172010-020620en
dc.identifier.sourceurlhttp://scholar.lib.vt.edu/theses/available/etd-03172010-020620/en
dc.identifier.urihttp://hdl.handle.net/10919/41714en
dc.language.isoenen
dc.publisherVirginia Techen
dc.relation.haspartLD5655.V855_1991.R535.pdfen
dc.relation.isformatofOCLC# 23812489en
dc.rightsIn Copyrighten
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/en
dc.subject.lccLD5655.V855 1991.R535en
dc.subject.lcshComputer science -- Mathematics -- Researchen
dc.titleTerminating parallel discrete event simulationsen
dc.typeThesisen
dc.type.dcmitypeTexten
thesis.degree.disciplineComputer Scienceen
thesis.degree.grantorVirginia Polytechnic Institute and State Universityen
thesis.degree.levelmastersen
thesis.degree.nameMaster of Scienceen

Files

Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
LD5655.V855_1991.R535.pdf
Size:
3 MB
Format:
Adobe Portable Document Format
Description:

Collections