Using Reversible Computation Techniques in a Parallel Optimistic Simulation of a Multi-Processor Computing System

Authors:
Andriy Naborskyy;Richard M. Fujimoto
Affiliations:
Georgia Institute of Technology, USA;Georgia Institute of Technology, USA
Venue:
Proceedings of the 21st International Workshop on Principles of Advanced and Distributed Simulation
Year:
2007

Citing 18
Cited 4

Virtual time

ACM Transactions on Programming Languages and Systems (TOPLAS)
Compilers: principles, techniques, and tools

Compilers: principles, techniques, and tools
An analytical comparison of periodic checkpointing and incremental state saving

PADS '93 Proceedings of the seventh workshop on Parallel and distributed simulation
The Wisconsin Wind Tunnel: virtual prototyping of parallel computers

SIGMETRICS '93 Proceedings of the 1993 ACM SIGMETRICS conference on Measurement and modeling of computer systems
History cache: hardware support for reverse execution

ACM SIGARCH Computer Architecture News
Timepatch: a novel technique for the parallel simulation of multiprocessor caches

Proceedings of the 1995 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems
Automatic incremental state saving

PADS '96 Proceedings of the tenth workshop on Parallel and distributed simulation
Reducing synchronization overhead in parallel simulation

PADS '96 Proceedings of the tenth workshop on Parallel and distributed simulation
Optimistic simulation of parallel architectures using program executables

PADS '96 Proceedings of the tenth workshop on Parallel and distributed simulation
Using the SimOS machine simulator to study complex computer systems

ACM Transactions on Modeling and Computer Simulation (TOMACS)
Efficient optimistic parallel simulations using reverse computation

PADS '99 Proceedings of the thirteenth workshop on Parallel and distributed simulation
Asynchronous Parallel Simulation of Parallel Programs

IEEE Transactions on Software Engineering
Improving lookahead in parallel discrete event simulations of large-scale applications using compiler analysis

Proceedings of the fifteenth workshop on Parallel and distributed simulation
Optimistic simulation of parallel message-passing applications

Proceedings of the fifteenth workshop on Parallel and distributed simulation
Parallel and Distribution Simulation Systems

Parallel and Distribution Simulation Systems
Instruction-level reverse execution for debugging

Proceedings of the 2002 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Complete Computer System Simulation: The SimOS Approach

IEEE Parallel & Distributed Technology: Systems & Technology
PARALLELIZED DIRECT EXECUTION SIMULATION OF MESSAGE-PASSING PARALLEL PROGRAMS

PARALLELIZED DIRECT EXECUTION SIMULATION OF MESSAGE-PASSING PARALLEL PROGRAMS

DyMeLoR: Dynamic Memory Logger and Restorer Library for Optimistic Simulation Objects with Generic Memory Layout

Proceedings of the 22nd Workshop on Principles of Advanced and Distributed Simulation
Cache-aware memory manager for optimistic simulations

Proceedings of the 5th International ICST Conference on Simulation Tools and Techniques
A New Approach to Zero-Copy Message Passing with Reversible Memory Allocation in Multi-core Architectures

PADS '12 Proceedings of the 2012 ACM/IEEE/SCS 26th Workshop on Principles of Advanced and Distributed Simulation
The Backstroke framework for source level reverse computation applied to parallel discrete event simulation

Proceedings of the Winter Simulation Conference

Quantified Score

Hi-index	0.00

Visualization

Abstract

A study is presented in applying optimistic parallel discrete event simulation techniques using reverse execution to perform instruction-level simulations of distributed memory multi-processor systems. A static program analysis approach is described to optimize pre-processed simulated applications in order to remove certain overheads associated with forward event execution and to enable reversible execution. Reverse execution of floating point operations are also considered. Preliminary performance measurements are presented indicating this approach offers promise in speeding up parallel multi-processor simulations.