Virtual Time III, Part 3: Throttling and Message Cancellation
Article No.: 26, Pages 1 - 35
Abstract
This is Part 3 of a trio of papers that unify in a natural way the two historically distinct parallel discrete event synchronization paradigms, optimistic and conservative, combining the best properties of both into a single framework called Unified Virtual Time (UVT). In this part, we survey the synchronization effects that can be achieved by restricting to corner cases the relationships permitted among the control variables, GVT, CVT, TVT, and LVT, which were defined in Part 1. We also survey various throttling policies from the literature and describe how they can be implemented in UVT by controlling the value of TVT, including policies that can take advantage of rollback in addition to LP blocking. A significant result is a new category of efficient and higher precision throttling algorithms for optimistic execution that are based on optimistic lookahead, defined in a way that is symmetric to what we now call the conservative lookahead information that is traditionally used for conservative synchronization. Finally, we present a novel algorithm allowing the choice between lazy and aggressive cancellation to be made on a message-by-message basis using either external logic expressed in the model code, or policy code internal to the simulator, or a mixture of both.
References
[1]
N. B. Abu-ghazaleh and R. Linderman. 2006. Limiting optimism: Time or event count? 2006 Tenth IEEE International Symposium on Distributed Simulation and Real-Time Applications. Malaga, Spain, 253--256. DOI:
[2]
D. Ball and S. Hoyt. 1990. The adaptive time warp concurrency control algorithm. In Proceedings of the SCS90 Multiconference on Distributed Simulation. 174–177.
[3]
O. Berry and D. Jefferson. 1985. Critical path analysis of distributed simulation. In Proceedings of the 1985 SCS Conference on Distributed Simulation.
[4]
O. Berry. 1986. Performance Evaluation of the Time Warp Distributed Simulation Mechanism. Ph.D. Dissertation, Department of Computer Science, University of Southern California, Los Angeles, CA.
[5]
K. M. Chandy and J. Misra. 1979. Distributed simulation: A case study in design and verification of distributed programs. IEEE Transactions on Software Engineering, SE-5 (1979), 440–452.
[6]
S. Das. 1995. Estimating the cost of throttled execution in time warp. Proceedings of the 10thWorkshop on Parallel and Distributed Simulation (PADS’96). 186–189.
[7]
S. Das. 1996. Adaptive protocols for parallel discrete event simulation. In Proceedings of the 1996 Winter Simulation Conference.
[8]
S. Das and R. Fujimoto. 1997. Adaptive memory management and optimism control in time warp. ACM Transactions on Modeling and Computer Simulation (TOMACS) 7, 2 (1997).
[9]
A. Ferscha. 1995. Probabilistic adaptive direct optimism control in time warp. In Proceedings of the 9thWorkshop on Parallel and Distributed Simulation (PADS’95). 120–129.
[10]
A. Ferscha and J. Lüthi. 1995. Estimating rollback overhead for optimism control in time warp. In Proceedings of the 28th Annual Simulation Symposium (SS’95).
[11]
A. Gafni. 1988. Rollback mechanisms for optimistic distributed simulation systems. In Proceedings of the SCS Multiconference on Distributed Simulation 19, 61–67.
[12]
K. Ghosh, R. M. Fujimoto, and K. Schwan. 1993. Time warp simulation in time constrained systems. ACM SIGSIM Simulation Digest 23, 1 (1993), 163–166.
[13]
M. Gunter. 1994. Understanding supercritical speedup. In Proceedings of the 8thWorkshop on Parallel and Distributed Simulation (PADS’94), 81–87.
[14]
D. R. Jefferson and H. Sowizral. 1982. Fast Concurrent Simulation Using the Time Warp Mechanism. Part I: Local Control, RAND Note N-1906-AF. The RAND Corporation, Santa Monica, CA.
[15]
D. R. Jefferson. 1985. Virtual time. ACM Transactions on Programming Languages and Systems (TOPLAS) 7, 3 (1985), 404– 425.
[16]
D. R. Jefferson. 1990. Virtual time II: Storage management in conservative and optimistic systems. Proceedings of the ACM Symposium on the Principles of Distributed Computing, Quebec City, Quebec.
[17]
D. R. Jefferson and P. Reiher. 1991. Supercritical speedup. In Proceedings of the 24th Annual Simulation Symposium, A. H. Rutan (Ed.). IEEE Computer Society Press, 59–168.
[18]
D. R. Jefferson and P. Barnes, Jr. 2023a. Virtual time III, Part 1: Unified virtual time synchronization for parallel discrete event simulation. ACM Transactions on Modeling and Computer Simulation (TOMACS) 32, 4 (2023), 1–29.
[19]
D. R. Jefferson and P. Barnes, Jr. 2023b. Virtual time III, Part 2: Combining conservative and optimistic synchronization. ACM Transactions on Modeling and Computer Simulation (TOMACS) 32, 4 (2023), 1–21.
[20]
K. Jones and S. Das. 1998. Combining optimism limiting schemes in time warp based parallel simulation. In Proceedings of the 1998 Winter Simulation Conference (WSC’98). 499–506.
[21]
M. Lees, B. Logan, C. Dan, T. Oguara, and G. Theodoropoulos. 2005. Decision-theoretic throttling for optimistic simulations of multi-agent systems. In Proceedings of the 2005 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications (DS-RT’05). 171–178.
[22]
M. Lees, B. Logan, C. Dan, T. Oguara, and G. Theodoropoulos. 2006a. Analysing the performance of optimistic synchronization algorithms in simulations of multi-agent systems. In Proceedings of the 20th ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation (PADS'06), S. J. Turner and J. Lüthi (Eds.). 37–44.
[23]
M. Lees, B. Logan, C. Dan, T. Oguara, and G. Theodoropoulos. 2006b. Analysing probabilistically constrained optimism. In Proceedings of the 10th IEEE International Symposium on Distributed Simulation and Real-Time Applications.
[24]
Y.-B. Lin and E. Lazowska. 1991. A study of time warp rollback mechanisms. ACM Transactions on Modeling and Computer Simulation 1, 1 (1991), 51–72.
[25]
Y.-B. Lin and B. Preiss. 1991. Optimal memory management for time warp parallel simulation. ACM Transactions on Modeling and Simulation (TOMACS) 1, 4 (1991), 283–307.
[26]
G. Lomow, J. Cleary, B. Unger, and D. West. 1988. A performance study of time warp. In Proceedings of the SCS Multiconference on Distributed Simulation. 50–55.
[27]
V. Madisetti, J. Walrand, and D. Messerschmitt. 1988. WOLF: A rollback algorithm for optimistic distributed simulation systems. In Proceedings of 1988 Winter Simulation Conference, M. Abrams, P. Haigh, and J. Comfort (Eds.).
[28]
A. Palaniswamy and P. Wilsey. 1993. Adaptive bounded time windows in an optimistically synchronized simulator. In Proceedings of the 3rd Great Lakes Symposium on VLSI Design Automation of High Performance VLSI Systems.
[29]
A. Palaniswamy and P. Wilsey. 1994. Scheduling time warp processes using adaptive control techniques. In Proceedings of the Winter Simulation Conference. IEEE, 731–738.
[30]
H. Rajaei, R. Ayani, and L. Thorelli. 1993. The local time warp approach to parallel simulation. In Proceedings of the 7th Workshop on Parallel and Distributed Simulation (PADS’93). 119–126.
[31]
R. Rajan and P. Wilsey. 1995. Dynamically switching between lazy and aggressive cancellation in a time warp parallel simulator. In Proceedings of the 28th Annual Simulation Symposium (ASS). 22–30.
[32]
R. Rajan, R. Radhakrishnan, and P. Wilsey. 1999. Dynamic cancellation: Selecting time warp cancellation strategies at runtime. VLSA Design 9, 3 (1999).
[33]
H. Ramadan. 2008. Throttled lazy cancellation in time warp parallel simulation. Simulation 84, 2/3 (2008), 149–160.
[34]
P. L. Reiher, F. Wieland, and D. Jefferson. 1989. Limitation of optimism in the time warp operating system. In Proceedings of the 21stWinter Simulation Conference, E. A. MacNair, K. J. Musselman, and P. Heidelberger (Eds.). ACM, New York, 630–639.
[35]
R. L. Reiher, R. M. Fujimoto, S. Bellenot, and D. R. Jefferson. 1990. Cancellation strategies in optimistic execution systems. In Proceedings of the SCS Multiconference on Distributed Simulation. 112–121.
[36]
V. Sachdev, M. Hybinette, and E. Kraemer. 2004. Controlling over-optimism in time warp via CPU-based flow control. In Proceedings of the 36th Winter Simulation Conference (WSC’04). 402–410.
[37]
S. Saxena. 2012. Exploration of Cancellation Strategies for Parallel Simulation on Multi-Core Beowulf Clusters, Master's Thesis, University of Cincinnati.
[38]
L. M. Sokol, B. Stucky, and V. Hwang. 1989. MTW: A control mechanism for parallel discrete event simulation. In Proceedings of the 1989 International Conference on Parallel Processing, Vol. III. 250–254.
[39]
L. M. Sokol and B. K. Stucky. 1990. MTW: Experimental results for a constrained optimistic scheduling paradigm. In Proceedings of the SCS Multiconference on Distributed Simulation. 169–173.
[40]
L. Sokol, J. Weissman, and P. Mutchler. 1991. MTW: An empirical performance study. In Proceedings of the 1991 Winter Simulation Conference, B. Nelson, W. D. Kelton, and G. M. Clark (Eds.).
[41]
S. Srinivasan and P. Reynolds. 1995. NPSI adaptive synchronization algorithms for PDES. In Proceedings of the 27th Winter Simulation Conference (WSC’95). 658–665.
[42]
S. C. Tay, T. M. Teo, and S. T. Kong. 1997. Speculative parallel simulation with an adaptive throttle scheme. In Proceedings of the 11th Workshop on Parallel and Distributed Simulation (PADS). 116–123.
[43]
Seng Chuan Tay and Yong Meng Teo. 2001. Performance optimization of throttled time-warp simulation. In Proceedings 34th Annual Simulation Symposium. Seattle, WA, USA, 211--218. DOI:
[44]
S. J. Turner and M. Q. Xu. 1992. Performance evaluation of the bounded time warp algorithm. In Proceedings of the 6th Workshop on Parallel and Distributed Simulation. 117–126.
[45]
J. Wang and C. Tropper. 2007. Optimizing time warp simulation with reinforcement learning techniques. In Winter Simulation Conference. IEEE, 577–584.
[46]
J. Wang and C. Tropper. 2009. Using genetic algorithms to limit the optimism of time warp. In Proceedings of the Winter Simulation Conference, M. D. Rossetti, R. R. Hill, B. Johansson, A. Dunkin, and R. G. Ingalls (Eds.). 1180–1188.
Index Terms
- Virtual Time III, Part 3: Throttling and Message Cancellation
Index terms have been assigned to the content through auto-classification.
Recommendations
Virtual Time III, Part 1: Unified Virtual Time Synchronization for Parallel Discrete Event Simulation
Algorithms for synchronization of parallel discrete event simulation have historically been divided between conservative methods that require lookahead but not rollback, and optimistic methods that require rollback but not lookahead. In this paper we ...
Virtual Time III, Part 2: Combining Conservative and Optimistic Synchronization
This is Part 2 of a trio of works intended to provide a unifying framework in which conservative and optimistic synchronization for parallel discrete event simulations can be freely and transparently combined in the same logical process on an event-by-...
Load-Aware Dynamic Time Synchronization in Parallel Discrete Event Simulation
SIGSIM-PADS '21: Proceedings of the 2021 ACM SIGSIM Conference on Principles of Advanced Discrete SimulationTraditional Parallel Discrete Event Simulation (PDES) systems employ a monolithic approach for choosing their thread synchronization protocol. They either implement a Time Window-based conservative synchronization or an optimistic event processing ...
Comments
Information & Contributors
Information
Published In
Publication rights licensed to ACM. ACM acknowledges that this contribution was authored or co-authored by an employee, contractor or affiliate of the United States government. As such, the Government retains a nonexclusive, royalty-free right to publish or reproduce this article, or to allow others to do so, for Government purposes only.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 13 September 2024
Online AM: 17 July 2024
Accepted: 18 June 2024
Revised: 11 January 2024
Received: 04 February 2023
Published in TOMACS Volume 34, Issue 4
Check for updates
Author Tags
Qualifiers
- Research-article
Funding Sources
- U.S. Department of Energy by Lawrence Livermore National Laboratory
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 99Total Downloads
- Downloads (Last 12 months)99
- Downloads (Last 6 weeks)7
Reflects downloads up to 11 Feb 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in