TY - JOUR
T1 - An efficient optimistic time management algorithm for discrete- eventsimulation system
AU - Rizvi, S. S.
AU - Riasat, A.
AU - Elleithy, K. M.
N1 - Copyright:
Copyright 2010 Elsevier B.V., All rights reserved.
PY - 2010/9
Y1 - 2010/9
N2 - Time Wrap algorithm is a well-known mechanism of optimistic synchronization in a parallel discrete-event simulation (PDES) system. It offers a run time recovery mechanism that deals with the causality errors. For an efficient use of rollback, the global virtual time (GVT) computation is performed to reclaim the memory, commit the output, detect the termination, and handle the errors. This paper presents a new unacknowledged message list (UML) scheme for an efficient and accurate GVT computation. The proposed UML scheme is based on the assumption that certain variables are accessible by all processors. In addition to GVT computation, the proposed UML scheme provides an effective solution for both simultaneous reporting and transient message problems in the context of synchronous algorithm. To support the proposed UML approach, two algorithms are presented in details, with a proof of its correctness. Empirical evidence from an experimental study of the proposed UML scheme on PHOLD benchmark fully confirms the theoretical outcomes of this paper.
AB - Time Wrap algorithm is a well-known mechanism of optimistic synchronization in a parallel discrete-event simulation (PDES) system. It offers a run time recovery mechanism that deals with the causality errors. For an efficient use of rollback, the global virtual time (GVT) computation is performed to reclaim the memory, commit the output, detect the termination, and handle the errors. This paper presents a new unacknowledged message list (UML) scheme for an efficient and accurate GVT computation. The proposed UML scheme is based on the assumption that certain variables are accessible by all processors. In addition to GVT computation, the proposed UML scheme provides an effective solution for both simultaneous reporting and transient message problems in the context of synchronous algorithm. To support the proposed UML approach, two algorithms are presented in details, with a proof of its correctness. Empirical evidence from an experimental study of the proposed UML scheme on PHOLD benchmark fully confirms the theoretical outcomes of this paper.
UR - http://www.scopus.com/inward/record.url?scp=77956369253&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=77956369253&partnerID=8YFLogxK
U2 - 10.2507/IJSIMM09(3)1.146
DO - 10.2507/IJSIMM09(3)1.146
M3 - Article
AN - SCOPUS:77956369253
SN - 1726-4529
VL - 9
SP - 117
EP - 130
JO - International Journal of Simulation Modelling
JF - International Journal of Simulation Modelling
IS - 3
ER -