article

Free access

A study of time warp rollback mechanisms

Authors:

Edward D. LazowskaAuthors Info & Claims

ACM Transactions on Modeling and Computer Simulation (TOMACS), Volume 1, Issue 1

Pages 51 - 72

https://doi.org/10.1145/102810.102813

Published: 03 January 1991 Publication History

Abstract

The Time Warp “optimistic” approach is one of the most important parallel simulation protocols. Time Warp synchronizes processes via rollback. The original rollback mechanism called lazy cancellation has aroused great interest. This paper studies these rollback mechanisms. The general tradeoffs between aggressive and lazy cancellation are discussed, and by a conservitive-optimal simulation is defined for comparitive purposes. Within the framework of aggressive cancellation, we offer some observations and analyze the rollback behavior of tandom systems. The lazy cancellation mechanism iss examined using a metric called the sensitivity of output message. Both aggressive and lazy cancellation are shown to work well for a process with a small simulated load intensity. Finally, an analytical model is given to analyze message preemtion, an important factor that affects the performance of rollback mechanisms. Results indicate that message preemtion has a significant effect on performance when (1) the processor is highly utilized, (2) the execution times of messages have high varience, and (3) rollbacks occur frequently.

References

[1]

ABRAMS, M. The object library for parallel simulation (OLPS). In Proceedings of the 1988 Winter Simulation Conference (Dec.). 1988, pp. 210-219.

Digital Library

[2]

AGRE, J. R., JORNSON, A., TINKER, P. A., AND VOPOVA, S. Time Warp object oriented distributed simulation system (TWOODS). In Proceedings of the Rockwell Software Engineering Symposium III (Oct.). 1989, pp. 9.2.1-9.2.13.

[3]

BERRY, O. Performance evaluation of the Time Warp distributed simulation mechanism. Ph.D. thesis, Univ. of Southern California, 1986.

Digital Library

[4]

BERRY, O., AND JEFFERSON, D Critical path analysis of distributed simulation. In Proceedings of the 1985 SCS Multiconference on Distributed Simulation (Jan.). 1985, pp. 57-60.

[5]

CRANNY, K. M., AND MISRA, J. Distributed simulation: A case study in design and verification of distributed programs. IEEE Trans. Softw. Eng. SE-5, 5 (Sept. 1979), 440-452.

[6]

EBLING, M., DI LORETO, M., PRESLEY, M., WIELAND, F., AND JEFFERSON, D. An ant foraging model implemented on the Time Warp operating system. In Proceedings of the 1989 SCS Multiconference on Dtstributed Simulation (Mar.). 1989, pp. 21-26.

[7]

FELDERMAN, R. E., AND KLEINROCK, L. An upper bound on the improvement of asynchronous versus synchronous distributed processing. In Proceedings of the 1990 SCS Multiconference on Distributed Simulatmn (Jan.). 1990, pp. 131-136.

[8]

FUJIMOTO, R. M. Time Warp on a shared memory multiprocessor In Proceedings of the 1989 International Conference on Parallel Processing, vol. 3 (Aug). 1989, pp. 242-249.

[9]

FUJmOTO, R.M. Performance of Time Warp under synthetic workloads. In Proceedings of the 1990 SCS Multiconference on Dtstributed Simulation (Jan.). 1990, pp. 23-28.

[10]

FuJmoTo, R. M., TSAI, J.-J., ANO GOPALAKRISnNAN, G. Design and performance of special purpose hardware for Time Warp. In Proceedings of the 15th Annual International Symposium on Computer Architecture (May). 1988, pp. 401-408.

Digital Library

[11]

GArNL A. Rollback mechanisms for optimistic distributed simulation. In Proceedings of the 1988 SCS Multiconference on Distributed Simulation (Feb.). 1988, pp. 61-67.

[12]

GATES, B., AND MARTI, J. An empirical study of Time Warp request mechanisms. In Proceedings of the 1988 SCS Multiconference on Distributed Stmulation (Feb.). 1988, pp. 73-80.

[13]

HONTALAS, P., BECKMAN, B., DILORETO, M., BLUME, L., REmER, P., STURDEVANT, K., WARREN, L., WEDEL, J., WIELAND, F., AND JEFFERSON, D. Performance of the colliding pucks simulation on the Time Warp operating systems (Part 1: Asynchronous behavior and sectoring). In Proceedings of the 1989 SCS Multiconference on D~stributed Szmulation (Mar.). 1989, pp. 3-7.

[14]

JEFFERSON, D. Virtual time. ACM Trans. Program. Lang. Syst. 7, 3 (July). 1985, pp. 404-425.

Digital Library

[15]

JEFFERSON, D. Private communication. 1989.

[16]

JEFFERSON, D., BECKMAN, B., WIELAND, P., BLUME, L., DI LORETO, M., HONTALAS, P, LAROCHE, P., STURDEVANT, K., TUPMAN, J., WARREN, V., WEDEL, J., YOUNGER, H., AND BELLENOT, S. Distributed simulation and the Time Warp operating system. In Proceedings of the 11th ACM Symposium on Operating Systems Principles (Nov.). ACM, New York, 1987, pp. 77-93.

Digital Library

[17]

KLmNROCK, L. Queueing Systems: Volume I--Theory. Wiley, New York, 1976.

[18]

LAKSHMh M. S. A study and analysis of performance of distributed simulation. Tech. Rep. 87-32, Dept. of Computer Sciences, Univ. of Texas at Austin, 1987.

[19]

LIN, Y.-B., AND LAZOWSKA, E.D. The optimal checkpoint interval in Time Warp parallel simulation. Tech. Rep. 89-09-04, Dept. of Computer Science and Engineering, Univ. of Washington, 1989.

[20]

LIN, Y.-B., ANO L~ZOWSKA, E. D. Determining the global virtual time in a distributed simulation. In Proceedings of the International Conference on Parallel Processing. 1990.

[21]

LiN, Y.-B., AND LAZOWSKA, E.D. Exploiting lookahead in parallel simulation. To appear in IEEE Trans. Parallel Distributed Syst., 1990.

Digital Library

[22]

LIN, Y.-B., AND LAZOWSKA, E.D. Optimality considerations for Time Warp parallel simulation. In Proceedings of the 1990 SCS Multiconference on Distrtbuted S~mulation (Jan.). 1990, pp. 29-34.

[23]

LtN, Y -B., AND LAZOWSKA, E.D. Processor scheduling for Time Warp parallel simulation Tech Rep 90-03-03, Dept. of Computer Science and Engineering, Univ. of Washington, 1990.

[24]

LIN, Y.-B., AND LAZOWSKA, E. D. Reducing the state saving overhead for Time Warp parallel simulation. Tech Rep. 90-02-03, Dept. of Computer Science and Engineering, Univ of Washington, 1990.

[25]

LIPTON, R. J., AND MIZELL, n.W. Time Warp vs. Chandy-Misra: A worst-case comparison. In Proceedings of the 1990 SCS Multiconference on Distributed S~mulatzon (Jan.). 1990, pp. 137-143.

[26]

LOMOW, G., CLEARY, J., UNOER, B., AND WEST, D. A performance study of Time Warp. In Proceedings of the 1988 SCS Multiconference on Dzstnb~ted Simulation (Feb) 1988, pp. 50-55.

[27]

NIcoL, D. Performance bounds on self-initiating parallel discrete event simulations. Tech. Rep 90-21, ICASE, 1990.

[28]

PRESLEY, M., EBLING, M., WIELAND, F., AND JEFFERSON, D. Benchmarking the Time Warp operating system with a computer network simulation. In Proceedings of the 1989 SCS Multiconference on Distributed S~mulation (Mar.). 1989, pp. 8-13.

[29]

REED, D. A., AND MALONY, A. Parallel discrete event simulation: The Chandy Misra approach. In Proceedings of the 1988 SCS Mult~conference on Distributed S~mulation (Feb.). 1988, pp. 8 13.

[30]

REmER, P., ^ND JEFFERSON, D. Limitation of optimism in the Time Warp operating system. In Proceedings of the 1989 Winter Simulation Conference, (Jan.). 1990, pp 112-121

[31]

REIHER, P., AND JEFFERSON, D. Virtual time based dynamic load management in the Time Warp operating system. In Proceedings of the 1990 SCS Mult~conference on Distributed Szmulat~on (Jan) 1990, pp 103-111.

[32]

REIHER, P, FUJIMOTO, R., BELLENOT, S., AND JEFFERSON, D. Cancellation strategies in optimistic execution systems. In Proceedings of the 1990 SCS Mult~conference on Dzstnbuted Simulation (Jan.). 1990, pp. 112-121

[33]

SOKOL, L. M., STUEKY, B. K., AND HWANO, V. MTW: A control mechanism for parallel discrete simulation. In Proceedings of the International Conference on Porallel Processing, vol 3. 1989, pp 250-254.

[34]

WAGNER, D. B., AND LAZOWSK^, E.D. Parallel simulation of queueing networks: Limitations and potentials. In Proceedings of the 1989 ACM SIGMETRICS and Performance '89 Conference. ACM, New York, 1989, pp. 146-155.

Digital Library

[35]

WIEL^ND, F., HAWLEY, L., FEINBEaG, A., DI LORETO, M., BLUME, L., REInEd, P., BECxMAN, B., HONTALAS, P, BELLENOT, S, AND JEFFERSON, D. Distributed combat simulation and Time Warp: The model and its performance. In Proceedings of the 1989 SCS MuIt~conference on Distributed Simulation (Mar.) 1989, pp. 14 20.

Cited By

Jefferson DBarnes P(2023)Virtual Time III, Part 1: Unified Virtual Time Synchronization for Parallel Discrete Event SimulationACM Transactions on Modeling and Computer Simulation10.1145/350524832:4(1-29)Online publication date: 11-Jan-2023
https://dl.acm.org/doi/10.1145/3505248
Görür Bİmre KOğuztüzün HYilmaz L(2019)Predetermined Rollbacks: An extension to Time Warp for spatially parallel agent-based simulationSimulation Modelling Practice and Theory10.1016/j.simpat.2019.04.00895(60-77)Online publication date: Sep-2019
https://doi.org/10.1016/j.simpat.2019.04.008
Plagge MCarothers CGonsiorowski EMcglohon N(2018)NeMoACM Transactions on Modeling and Computer Simulation10.1145/318631728:4(1-25)Online publication date: 7-Sep-2018
https://dl.acm.org/doi/10.1145/3186317
Show More Cited By

Index Terms

A study of time warp rollback mechanisms
1. Computing methodologies
  1. Modeling and simulation
    1. Simulation types and techniques
      1. Distributed simulation
2. Software and its engineering
  1. Software organization and properties
    1. Contextual software domains
      1. Operating systems
        Communications management
        Message passing
        Process management
        Process synchronization
    2. Software system structures
      1. Distributed systems organizing principles

Recommendations

Dynamically switching between lazy and aggressive cancellation in a Time Warp parallel simulator
SS '95: Proceedings of the 28th Annual Simulation Symposium

The performance of a Time Warp parallel discrete event simulator (PDES) depends on the efficiency of the cancellation strategy employed to undo the effects of the erroneous computation. Two known cancellation strategies exist, namely aggressive ...
An implementation of a technique for sharing variables in Time Warp
SS '95: Proceedings of the 28th Annual Simulation Symposium

For some systems, the use of shared variables is a natural means to model the desirable interactions in a parallel discrete event simulation. We propose an implementation of a technique which uses a full replication strategy to share variables in ...
Throttled Lazy Cancellation in Time Warp Parallel Simulation

Time Warp parallel simulations need efficient schemes to cancel erroneous event messages in order to achieve acceptable performance levels. Lazy cancellation depends on delaying the cancellation of incorrect computations until rolled-back events are re-...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Transactions on Modeling and Computer Simulation

ACM Transactions on Modeling and Computer Simulation Volume 1, Issue 1

Jan. 1991

81 pages

ISSN:1049-3301

EISSN:1558-1195

DOI:10.1145/102810

Editor:
Richard E. Nance
Virginia Tech, Blacksburg, VA

Issue’s Table of Contents

Copyright © 1991 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 03 January 1991

Published in TOMACS Volume 1, Issue 1

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

58
Total Citations
View Citations
809
Total Downloads

Downloads (Last 12 months)68
Downloads (Last 6 weeks)12

Reflects downloads up to 03 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Jefferson DBarnes P(2023)Virtual Time III, Part 1: Unified Virtual Time Synchronization for Parallel Discrete Event SimulationACM Transactions on Modeling and Computer Simulation10.1145/350524832:4(1-29)Online publication date: 11-Jan-2023
https://dl.acm.org/doi/10.1145/3505248
Görür Bİmre KOğuztüzün HYilmaz L(2019)Predetermined Rollbacks: An extension to Time Warp for spatially parallel agent-based simulationSimulation Modelling Practice and Theory10.1016/j.simpat.2019.04.00895(60-77)Online publication date: Sep-2019
https://doi.org/10.1016/j.simpat.2019.04.008
Plagge MCarothers CGonsiorowski EMcglohon N(2018)NeMoACM Transactions on Modeling and Computer Simulation10.1145/318631728:4(1-25)Online publication date: 7-Sep-2018
https://dl.acm.org/doi/10.1145/3186317
Gonsiorowski ELapre JCarothers C(2017)Automatic Model Generation for Gate-Level Circuit PDES with Reverse ComputationACM Transactions on Modeling and Computer Simulation10.1145/304668527:2(1-23)Online publication date: 27-May-2017
https://dl.acm.org/doi/10.1145/3046685
Plagge MCarothers CGonsiorowski EFujimoto RUnger BCarothers C(2016)NeMoProceedings of the 2016 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation10.1145/2901378.2901392(233-244)Online publication date: 15-May-2016
https://dl.acm.org/doi/10.1145/2901378.2901392
Gonsiorowski ELaPre JCarothers CTaylor SMustafee NSon Y(2015)Improving Accuracy and Performance Through Automatic Model Generation for Gate-Level Circuit PDES with Reverse ComputationProceedings of the 3rd ACM SIGSIM Conference on Principles of Advanced Discrete Simulation10.1145/2769458.2769463(87-96)Online publication date: 10-Jun-2015
https://dl.acm.org/doi/10.1145/2769458.2769463
Achir NBoussetta K(2015)Video Gaming on Ad Hoc Networks: Challenges and SolutionsHandbook of Digital Games and Entertainment Technologies10.1007/978-981-4560-52-8_36-1(1-24)Online publication date: 3-Nov-2015
https://doi.org/10.1007/978-981-4560-52-8_36-1
Jafer SLiu QWainer G(2013)Synchronization methods in parallel and distributed discrete-event simulationSimulation Modelling Practice and Theory10.1016/j.simpat.2012.08.00330(54-73)Online publication date: Jan-2013
https://doi.org/10.1016/j.simpat.2012.08.003
Zhao SLi DLu TGu NHinds PTang JWang JBardram JDucheneaut N(2011)Back to the futureProceedings of the ACM 2011 conference on Computer supported cooperative work10.1145/1958824.1958852(187-196)Online publication date: 19-Mar-2011
https://dl.acm.org/doi/10.1145/1958824.1958852
Zaidi YGrimm CHaase J(2010)On mixed abstraction, languages, and simulation approach to refinement with systemC AMSEURASIP Journal on Embedded Systems10.1155/2010/4893652010(5-5)Online publication date: 1-Jan-2010
https://dl.acm.org/doi/10.1155/2010/489365
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Article

Figures

Tables

Media

View Issue’s Table of Contents