Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
article

An overhead reducing technique for Time Warp

Published: 01 January 2005 Publication History

Abstract

In this paper, we introduce a technique to reduce the number of state savings and the event queue size of Time Warp. By reducing the state saving and the sizes of event queues, we can decrease the overhead and the maximum memory requirement in Time Warp. We exploit the look-ahead technique to get a lower bound time stamp of the next event and to determine if an event is safe to be executed. No State saving is carried out when the event execution is safe. This lower bound can be used to discard saved states even though the time stamps are greater than the global virtual time (GVT). We prove that the proposed technique is correct under both aggressive and lazy cancellation schemes. This technique can be implemented with minimal additional overhead. Benchmark results on logic simulation show that the mechanism can reduce the number of state savings and memory size requirements significantly.

References

[1]
{1} H. Bauer, et al., Reducing rollback overhead in Time Warp based distributed simulation with optimized incremental state saving, Proceedings of the 26th Annual Simulation Symposium, 1993.]]
[2]
{2} S. Bellenot, State skipping performance with the Time Warp operation system. Proceedings of Sixth Workshop on Parallel and Distributed Simulation, 1992.]]
[3]
{3} F. Brglez, D. Bryan, K. Kozminski, Combinational profiles of sequential benchmark circuits, IEEE International Symposium on Circuits and Systems, 1989.]]
[4]
{4} D. Bruce, The treatment of state in optimistic systems, Proceedings of Ninth Workshop on Parallel and Distributed Simulation, 1995, pp. 40-49.]]
[5]
{6} K.M. Chandy, J. Misra, Distributed simulation: a case study in design and verification of distributed programs, IEEE Trans. Software Eng. SE-5 (5) (September 1979) 440-452.]]
[6]
{7} K.M. Chandy, J. Misra, Asynchronous distributed simulation via a sequence of parallel computations, Commun. Assoc. Comput. Mach., 1981.]]
[7]
{8} P. Dickens, D. Nicol, P. Reynolds, J. Duva, The impact of adding aggressiveness to a non-aggressive windowing protocol, in: Proceedings of Seventh Workshop on Parallel and Distributed Simulation, 1997.]]
[8]
{9} A. Ferscha, Parallel and distributed simulation of discrete event systems, Handbook of Parallel and Distributed Computing, McGraw-Hill, New York, 1995.]]
[9]
{10} J. Fleischmann, P.A. Wilsey, Comparative analysis of periodic state saving techniques in time warp simulators, Proceeding of Ninth Workshop on Parallel and Distributed Simulation, 1995.]]
[10]
{11} S. Franks, F. Gomes, B. Unger, J. Cleary, State saving for interactive optimistic simulation, in: Proceedings of 11th Workshop on Parallel and Distributed Simulation, 1997.]]
[11]
{12} R. Fujimoto, J. Tsai, G. Gopalakrishnan, Design and evaluation of the rollback chip: special purpose hardware for time warp, IEEE Trans. Comput. 41 (1) (1992) 68-82.]]
[12]
{13} D.R. Jefferson, Virtual time, ACM Transactions on Programming Languages and Systems, 1985.]]
[13]
{14} V. Jha, R.L. Bargrodia, A unified framework for conservative and optimistic distributed simulation, Proceedings of Eighth Workshop on Parallel and Distributed Simulation, 1994.]]
[14]
{15} Y.-B. Lin, B.R. Preiss, W.M. Loucks, E.D. Lazowska, Selecting the checkpoint interval in Time Warp simulation, Proceedings of Seventh Workshop on Parallel and Distributed Simulation, 1993.]]
[15]
{16} B.D. Lubachevsky, A. Shwartz, A. Weiss, Rollback sometimes works ... if filtered, Proceedings of Winter Simulation Conference, 1989.]]
[16]
{17} V.K. Madisetti, D.A. Hardaker, R.M. Fujimoto, The MIMDIX operating system for parallel simulation and supercomputing, J. Parallel Distributed Comput., 1993.]]
[17]
{19} A. Palaniswamy, P. Wilsey, Adaptive checkpoint intervals in an optimistically synchronized parallel digital simulation, in: Proceedings of Seventh Workshop on Parallel and Distributed Simulation, 1993.]]
[18]
{21} B. Preiss, W. Loucks, I. Macintyre, Effect of checkpoint interval on time and space in Time Warp, ACM Trans. Modeling Comput. Simulation 4 (3) (1994).]]
[19]
{22} F. Quaglia, Event history based sparse state saving in Time Warp, Proceedings of 12th Workshop on Parallel and Distributed Simulation, 1998.]]
[20]
{23} F. Quaglia, A cost model for selecting checkpoint position in Time Warp parallel simulation, IEEE Trans. Parallel Distributed Systems 12 (4) (2001) 346-362.]]
[21]
{24} F. Quaglia, V. Cortellessa, Rollback-based parallel discrete event simulation by using hybrid state saving, in: Proceedings of Ninth European Simulation Symposium, 1997.]]
[22]
{25} F. Quaglia, A. Santoro, Nonblocking checkpointing for optimistic parallel simulation: description and implementation, IEEE Trans. Parallel Distributed Systems 14 (6) (2003) 593-610.]]
[23]
{26} R. Ronngren, M. Lijenstam, R. Ayani, J. Montagnat, Transparent incremental state saving in Time Warp parallel discrete event simulation, Proceedings of 10th Workshop on Parallel and Distributed Simulation, 1996, pp. 70-77.]]
[24]
{27} L.M. Sokol, D.P. Briscoe, A.P. Wieland, MTW: a strategy for scheduling discrete simulation events for concurrent execution, Proceedings of the SCS Multiconfierence on Distributed Simulation, 1988.]]
[25]
{28} J.S. Steinman, Breathing Time Warp, in: Proceedings of the Seventh Workshop on Parallel and Distributed Simulation, 1993.]]
[26]
{29} B.W. Unger, J.G. Cleary, A. Convington, D. West, An external state management system for optimistic parallel simulation, Proceedings of the 1993 Winter Simulation Conference, 1993.]]
[27]
{30} G. Varghese, R.D. Chamberlain, W.E. Weihl, The pessimism behind optimistic simulation, Proceedings of Eighth Workshop on Parallel and Distributed Simulation, 1994.]]
[28]
{31} D. West, K. Panesar, Automatic incremental state saving, Proceedings of 10th Workshop on Parallel and Distributed Simulation, 1996, pp. 78-85.]]

Cited By

View all
  • (2006)Efficiently unifying parallel simulation techniquesProceedings of the 44th annual ACM Southeast Conference10.1145/1185448.1185499(228-232)Online publication date: 10-Mar-2006

Recommendations

Comments

Information & Contributors

Information

Published In

cover image Journal of Parallel and Distributed Computing
Journal of Parallel and Distributed Computing  Volume 65, Issue 1
January 2005
95 pages

Publisher

Academic Press, Inc.

United States

Publication History

Published: 01 January 2005

Author Tags

  1. Global virtual time
  2. Parallel discrete event simulation
  3. State saving
  4. Time Warp

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 06 Oct 2024

Other Metrics

Citations

Cited By

View all
  • (2006)Efficiently unifying parallel simulation techniquesProceedings of the 44th annual ACM Southeast Conference10.1145/1185448.1185499(228-232)Online publication date: 10-Mar-2006

View Options

View options

Get Access

Login options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media