2012 ACM/IEEE/SCS 26th Workshop on Principles of Advanced and Distributed Simulation (1995)
Lake Placid, New York
June 14, 1995 to June 16, 1995
H. Avril , Sch. of Comput. Sci., McGill Univ., Montreal, Que., Canada
C. Tropper , Sch. of Comput. Sci., McGill Univ., Montreal, Que., Canada
We present, in this paper, a hybrid algorithm which makes use of Time Warp between clusters of LPs and a sequential algorithm within the cluster. Time Warp is, of course, traditionally implemented between individual LPs. The algorithm was implemented in a digital logic simulator, and its performance compared to that of Time Warp. Resting upon this platform we develop a family of three checkpointing algorithms, each of which occupies a different point in the spectrum of possible trade-offs between memory usage and execution time. The algorithms were implemented on several digital logic circuits and their speed, number of states saved and maximal memory consumption were compared to those of Time Warp. One of the algorithms saved between 35 and 50% of the maximal memory consumed by Time Warp (depending upon the number of processors used), while the other two decreased the maximal usage up to 30%. The latter two algorithms exhibited a speed comparable to Time Warp, while the first algorithm was 30-60% slower. These algorithms are also simpler to implement than optimal checkpointing algorithms.
logic CAD; circuit analysis computing; time warp simulation; clustered time warp; logic simulation; hybrid algorithm; sequential algorithm; digital logic simulator; checkpointing algorithms; digital logic circuits; maximal memory consumption
H. Avril, C. Tropper, "Clustered time warp and logic simulation", 2012 ACM/IEEE/SCS 26th Workshop on Principles of Advanced and Distributed Simulation, vol. 00, no. , pp. 112, 1995, doi:10.1109/PADS.1995.404310