Publication | Closed Access
On event ordering in parallel discrete event simulation
31
Citations
12
References
1999
Year
EngineeringSequential DesSimulationDiscrete-event SimulationFormal VerificationUncertainty QuantificationSystems EngineeringModeling And SimulationTemporal LogicParallel ComputingTimed SystemSimulation LanguageSimultaneous EventsComputer EngineeringComputer ScienceDistributed SimulationTemporal DatabaseAutomated ReasoningConcurrency TheoryFormal MethodsParallel ProgrammingConservative Pdes
Ordering of simultaneous events in DES is an important issue as it has an impact on modelling expressiveness, model correctness as well as causal dependencies. In sequential DES this is a problem which has attracted much attention over the years and most systems provide the user with tools to deal with such issues. This has also attracted some attention within the PDES community and we present an overview of these efforts. We have, however, not yet found a scheme which provides us with the desired functionality. Thus, we present and evaluate some simple schemes to achieve a well defined ordering of events and means to identify both causally dependent and independent events with identical timestamps in the context of optimistic simulations. These schemes should be applicable also to conservative PDES.
| Year | Citations | |
|---|---|---|
Page 1
Page 1