Article

Free access

Efficient optimistic parallel simulations using reverse computation

Authors:

Christopher D. Carothers,

Kaylan S. Perumalla, and

Richard M. FujimotoAuthors Info & Claims

PADS '99: Proceedings of the thirteenth workshop on Parallel and distributed simulation

May 1999

Pages 126 - 135

Published: 01 May 1999 Publication History

PDF eReader Publisher Site

References

[1]

Charles Bennett. Thermodynamics of Computation. International Journal of Physics, pages 905-940, volume 21, 1982.

Google Scholar

[2]

H. Baker. NReversai of Fortune--The Thermodynamics of Garbage Collection. In Proceedings of the International Workshop on Memor)-Management, Springer Verlag Lecture Notes in Computer Science 637, 1992.

Digital Library

Google Scholar

[3]

K. S. Perumalla, C. A. Cooper, R. M. Fujimoto. An Efficiency Prediction Method for ATM Multiplexers. In Proceedings of Broadband Communications, April 1996.

Crossref

Google Scholar

[4]

C. D. Carothers, R. M. Fujimoto, and Y-B. Lin. A Case Study in Simulating PCS Networks Using Time Warp. In Proceedings of the 9th Workshop on Parallel and Distributed Simulation (PADS'95, June 1995, pages 87-94.

Digital Library

Google Scholar

[5]

Michael Frank. The R Language Programming Language and Compiler, http: //www. ai .mit. edu/~mpf/~c/home, html

Google Scholar

[6]

R. M. Fujimoto. Time Warp on a shared memory multiprocessor. In Proceedings of the 1989 International Conf~4rence on Parallel Processing, volume 3, pages 242- 9, August 1989.

Google Scholar

[7]

Fabian Gomes. Optimizing Incremental State-Saving and Restoration. Ph.D. thesis, Dept. of Computer Science, University of Calgary, 1996.

Digital Library

Google Scholar

[8]

G. Leeman. A Formal Approach to Undo Operations in Programming Languages. ACM TOPLAS, pages 50-87, volume 8(1), Jan 1986.

Digital Library

Google Scholar

[9]

P. L'Ecuyer and T. H. Andres A Random Number Generator Based on the Combination of Four LCGs Mathematics and Computers in Simulation, 44:99-107, 1997.

Digital Library

Google Scholar

[10]

M. Matsumoto and T. Nishimura Mersenne twister: a 623-dimensionally equidistributed uniform pseudorandom number generator A CM Transactions on Modeling and Computer Simulation (TOMACS), volume 8, Number 1, pages 3-30, January 1998.

Digital Library

Google Scholar

[11]

A. Poplawski and D. M. Nicol Nops: A Conservative Parallel Simulation Engine for TeD In Proceedings of the th 12 Workshop on Parallel and Distributed Simulation, volume 23, pages 180-187, May 1998.

Digital Library

Google Scholar

[12]

R. Sosic. History Cache: Hardware Support for Reverse Execution. Computer Architecture News, pages 11-18, volume 22,5, December 1994.

Digital Library

Google Scholar

[13]

Jeff S. Steinman. Incremental state saving in SPEEDES using C++. In Proceedings of the 1993 Winter Simulation Conference, December 1993, pages 687-696.

Digital Library

Google Scholar

[14]

The Reversible Computing Home Page at MIT, http: //www.ai .mit. edu/~cv~eri/reversible.html

Google Scholar

[15]

The TeD Language -- Home page. http: //www. cc. gatech, edu/computing/pads/ted, html

Google Scholar

[16]

K. Umamageswaran, K. Subramani, R A. Wilsey, P. Alexander. Formal Verification and Empirical Analysis of Rollback Relaxation. The Elsevier Science Journal of Systems Architecture, number 44, pages 473-495, 1998.p

Digital Library

Google Scholar

[17]

C. Vanden Eynden Elementary Number Theory page 141, Random House, New York, 1987.

Google Scholar

Cited By

View all

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
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
Show More Cited By

Index Terms

Efficient optimistic parallel simulations using reverse computation

Recommendations

Efficient optimistic parallel simulations using reverse computation

In optimistic parallel simulations, state-saving techniques have traditionally been used to realize rollback. In this article, we propose reverse computation as an alternative approach, and compare its execution performance against that of state-saving. ...
Read More
Optimistic Simulations of Physical Systems Using Reverse Computation

Efficient computer simulation of complex physical phenomena has long been challenging due to their multiphysics and multiscale nature. In contrast to traditional time-stepped execution methods, the authors describe an approach using optimistic parallel ...
Read More
Optimistic Parallel Discrete Event Simulations of Physical Systems Using Reverse Computation
PADS '05: Proceedings of the 19th Workshop on Principles of Advanced and Distributed Simulation

Efficient computer simulation of complex physical phenomena has long been challenging due to their multi-physics and multi-scale nature. In contrast to traditional time-stepped execution methods, we describe an approach using optimistic parallel ...
Read More

Comments

Information & Contributors

Information

Published In

PADS '99: Proceedings of the thirteenth workshop on Parallel and distributed simulation

May 1999

194 pages

ISBN:0769501559

Chairmen:
Richard M. Fujimoto
Georgia Institute of Technology, Atlanta
,
Stephen J. Turner
Univ. of Exeter, Exeter, UK

Publisher

IEEE Computer Society

United States

Publication History

Published: 01 May 1999

Check for updates

Qualifiers

Article

Conference

PADS99

Sponsor:

SCS
SIGSIM
IEEE-CS\TCSIM

PADS99: ACM Workshop on Parallel and Distributed Simulation

May 1 - 4, 1999

Georgia, Atlanta, USA

Acceptance Rates

PADS '99 Paper Acceptance Rate 19 of 38 submissions, 50%;

Overall Acceptance Rate 398 of 779 submissions, 51%

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

16
Total Citations
View Citations
239
Total Downloads

Downloads (Last 12 months)13
Downloads (Last 6 weeks)5

Other Metrics

View Author Metrics

Citations

Cited By

View all

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
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
Bahi MEisenbeis C(2014)Impact of Reverse Computing on Information Locality in Register Allocation for High Performance ComputingInternational Journal of Parallel Programming10.1007/s10766-012-0212-y42:1(49-76)Online publication date: 1-Feb-2014
https://dl.acm.org/doi/10.1007/s10766-012-0212-y
Hou CVulov GQuinlan DJefferson DFujimoto RVuduc R(2012)A new method for program inversionProceedings of the 21st international conference on Compiler Construction10.1007/978-3-642-28652-0_5(81-100)Online publication date: 24-Mar-2012
https://dl.acm.org/doi/10.1007/978-3-642-28652-0_5
Perumalla KSeal S(2010)Reversible Parallel Discrete-Event Execution of Large-Scale Epidemic Outbreak ModelsProceedings of the 2010 IEEE Workshop on Principles of Advanced and Distributed Simulation10.1109/PADS.2010.5471657(106-113)Online publication date: 17-May-2010
https://dl.acm.org/doi/10.1109/PADS.2010.5471657
Onggo BJefferson TFowler JIngalls R(2008)Parallel discrete-event simulation of population dynamicsProceedings of the 40th Conference on Winter Simulation10.5555/1516744.1516929(1047-1054)Online publication date: 7-Dec-2008
https://dl.acm.org/doi/10.5555/1516744.1516929
Naborskyy AFujimoto R(2007)Using Reversible Computation Techniques in a Parallel Optimistic Simulation of a Multi-Processor Computing SystemProceedings of the 21st International Workshop on Principles of Advanced and Distributed Simulation10.1109/PADS.2007.31(179-188)Online publication date: 12-Jun-2007
https://dl.acm.org/doi/10.1109/PADS.2007.31
Li LTropper CLuthi JLehmann APage EMcLean A(2004)Event reconstruction in time warpProceedings of the eighteenth workshop on Parallel and distributed simulation10.1145/1013329.1013337(37-44)Online publication date: 16-May-2004
https://dl.acm.org/doi/10.1145/1013329.1013337
Chen GSzymanski B(2003)Four Types of LookbackProceedings of the seventeenth workshop on Parallel and distributed simulation10.5555/824475.825879Online publication date: 10-Jun-2003
https://dl.acm.org/doi/10.5555/824475.825879
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

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

Cited By

Index Terms

Recommendations