Software Reversibility in Speculative Platforms

Rollback process is unavoidable and fundamental building block in many complex systems, from parallel to distributed applications, to prevent system crashes and to undo portions of speculative execution belonging to an inconsistent trajectory or misbehaving operations. 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. This book explores the reversible computation approach to rollbackable applications, relying on static binary instrumentation we propose a hybrid strategy that interwaves together classical state saving with reversible computation.