NDLI: Transparently Mixing Undo Logs and Software Reversibility for State Recovery in Optimistic PDES

Please wait, while we are loading the content...

Simulation in the era of Big Data: Trends and Challenges

Knowledge Discovery in Manufacturing Simulations

A Media-Rich Curriculum for Modeling and Simulation

Time-Sharing Time Warp via Lightweight Operating System Support

Experiments with Hardware-based Transactional Memory in Parallel Simulation

Towards a DEVS-based Operating System

Enabling Distributed Simulations Using Big Data and Clouds

An Agent-Based Simulation Model to Evaluate the Efficiency of a Synthetic Biology System

Exploring the Relationship between Adherence to Treatment and Viral Load through a New Discrete Simulation Model of HIV Infectivity

Cloning Agent-based Simulation on GPU

FatTreeSim: Modeling Large-scale Fat-Tree Networks for HPC Systems and Data Centers Using Parallel and Discrete Event Simulation

Model-Based Concurrency Analysis of Network Simulations

An Asynchronous Synchronization Strategy for Parallel Large-scale Agent-based Traffic Simulations

Cost Efficient Short Term Capacity Planning for MTO Enterprises

Microcontroller Based Water Computer: An Experiment with Tangible System Dynamics Modeling

NUMA Time Warp

Improving Accuracy and Performance Through Automatic Model Generation for Gate-Level Circuit PDES with Reverse Computation

Conjoining Emulation and Network Simulators on Linux Multiprocessors

Syntax and Semantics of a Multi-Level Modeling Language

NTW-MT: a Multi-threaded Simulator for Reaction Diffusion Simulations in NEURON

Efficient Inter-Process Synchronization for Parallel Discrete Event Simulation on Multicores

Transparently Mixing Undo Logs and Software Reversibility for State Recovery in Optimistic PDES

A Virtual Time System for Linux-container-based Emulation of Software-defined Networks

Exact-Differential Large-Scale Traffic Simulation

Layered Simluations for Teaching Methodologies

Fidelity Evaluation based Time Dilation in Hybrid Network Emulation

Towards HLA-based Optimistic Synchronization with CSPs

Management of Ubiquitous Systems with a Mobile Application Using Discrete Event Simulations

Improving Computational Performance of Simulation-based Heuristic Algorithms for Job Sequencing

Verification of Petri Nets based Simulation Models using Coverage Metrics

Traffic Simulation Performance Optimization through Multi-Resolution Modeling of Road Segments

A Prototype HLA Development Kit: Results from the 2015 Simulation Exploration Experience

Analyzing Data Dependencies for Increased Parallelism in Discrete Event Simulation

On Energy Consumption in Distributed Simulations

An Application of Distributed Simulation for Hybrid Modeling of Offshore Wind Farms

Agent-based Modeling of Large-scale Complex Social Interactions

Big Data Decision Making Based on Predictive Data Analysis Using DEVS Simulations

Transparently Mixing Undo Logs and Software Reversibility for State Recovery in Optimistic PDES

Content Provider	ACM Digital Library
Author	Pellegrini, Alessandro Quaglia, Francesco Cingolani, Davide
Abstract	The rollback operation is a fundamental building block to support the correct execution of a speculative Time Warp-based Parallel Discrete Event Simulation. In the literature, several solutions to reduce the execution cost of this operation have been proposed, either based on the creation of a checkpoint of previous simulation state images, or on the execution of negative copies of simulation events which are able to undo the updates on the state. In this paper, we explore the practical design and implementation of a state recoverability technique which allows to restore a previous simulation state either relying on checkpointing or on the reverse execution of the state updates occurred while processing events in forward mode. Differently from other proposals, we address the issue of executing backward updates in a fully-transparent and event granularity-independent way, by relying on static software instrumentation (targeting the x86 architecture and Linux systems) to generate at runtime reverse update code blocks (not to be confused with reverse events, proper of the reverse computing approach). These are able to undo the effects of a forward execution while minimizing the cost of the undo operation. We also present experimental results related to our implementation, which is released as free software and fully integrated into the open source ROOT-Sim (ROme OpTimistic Simulator) package. The experimental data support the viability and effectiveness of our proposal.
Starting Page	211
Ending Page	222
Page Count	12
File Format	PDF
ISBN	9781450335836
DOI	10.1145/2769458.2769482
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2015-06-10
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Code instrumentation Pdes Reversibility Speculative processing
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Dealing with Reversibility of Shared Libraries in PDES

Abstract optimistic distributed computation via code undo.

Optimistic Distributed Computation via Code Undo

Recovery code generation for general speculative optimizations

Action reversibility in human-machine systems

A Compiler Framework for Recovery Code Generation in General Speculative Optimizations

Transparent multi-core speculative parallelization of DES models with event and cross-state dependencies

A general compiler framework for speculative optimizations using data speculative code motion (2005)

Using Software Logging to Support Multi-Version Buffering in Thread-Level Speculation (2003)

Transparently Mixing Undo Logs and Software Reversibility for State Recovery in Optimistic PDES

Similar Documents

Dealing with Reversibility of Shared Libraries in PDES

Abstract optimistic distributed computation via code undo.

Optimistic Distributed Computation via Code Undo

Recovery code generation for general speculative optimizations

Action reversibility in human-machine systems

A Compiler Framework for Recovery Code Generation in General Speculative Optimizations

Transparent multi-core speculative parallelization of DES models with event and cross-state dependencies

A general compiler framework for speculative optimizations using data speculative code motion (2005)

Using Software Logging to Support Multi-Version Buffering in Thread-Level Speculation (2003)

Transparently Mixing Undo Logs and Software Reversibility for State Recovery in Optimistic PDES