Optimal memory management for time warp parallel simulation
- 1 October 1991
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Modeling and Computer Simulation
- Vol. 1 (4) , 283-307
- https://doi.org/10.1145/130611.130612
Abstract
Recently there has been a great deal of interest in performance evalution of parallel simulation. Most work is devoted to the time complexity and assumes that the amount of memory available for parallel simulation is unlimited. This paper studies the space complexity of parallel simulation. Our goal is to design an efficient memory management protocol which guarantees that the memory consumption of parallel simulation is of the same order as sequential simulation. (Such an algorithm is referred to as a optimal .) First, we derive the relationships among the space complexities of sequential simulation, Chandy-Misra simulation [2], and Time Warp simulation [7]. We show that Chandy-Misra may consume more storage than sequential simulation, or vice versa. Then we show that Time Warp never consumes less memory than sequential simulation. Then we describe cancelback , an optimal Time Warp memory management protocol proposed by Jefferson. Although cancelback is considered to be complete solution for the storage management problem in Time Warp, some efficiency issues in implementing this algorithm must be considered. We propose an optimal algorithm called artifical rollback . We show that this algorithm is easy to implement and analyze. An implementation of artificial rollback is given, which is integrated with processor scheduling to adjust the memory consumption rate based on the amount of free storage available in the system.Keywords
This publication has 9 references indexed in Scilit:
- A time-division algorithm for parallel simulationACM Transactions on Modeling and Computer Simulation, 1991
- A study of time warp rollback mechanismsACM Transactions on Modeling and Computer Simulation, 1991
- Parallel discrete event simulationCommunications of the ACM, 1990
- Exploiting lookahead in parallel simulationIEEE Transactions on Parallel and Distributed Systems, 1990
- Distributed simulation of discrete event systemsProceedings of the IEEE, 1989
- A literature survey on distributed discrete event simulationACM SIGSIM Simulation Digest, 1987
- Distributed discrete-event simulationACM Computing Surveys, 1986
- Virtual timeACM Transactions on Programming Languages and Systems, 1985
- Distributed Simulation: A Case Study in Design and Verification of Distributed ProgramsIEEE Transactions on Software Engineering, 1979