DOE Patents title logo U.S. Department of Energy
Office of Scientific and Technical Information

Title: Path-sensitive analysis for reducing rollback overheads

Abstract

A mechanism is provided for path-sensitive analysis for reducing rollback overheads. The mechanism receives, in a compiler, program code to be compiled to form compiled code. The mechanism divides the code into basic blocks. The mechanism then determines a restore register set for each of the one or more basic blocks to form one or more restore register sets. The mechanism then stores the one or more register sets such that responsive to a rollback during execution of the compiled code. A rollback routine identifies a restore register set from the one or more restore register sets and restores registers identified in the identified restore register set.

Inventors:
; ; ;
Issue Date:
Research Org.:
International Business Machines Corp., Armonk, NY (United States)
Sponsoring Org.:
USDOE
OSTI Identifier:
1149605
Patent Number(s):
8789025
Application Number:
12/835,820
Assignee:
International Business Machines Corporation (Armonk, NY)
Patent Classifications (CPCs):
G - PHYSICS G06 - COMPUTING G06F - ELECTRIC DIGITAL DATA PROCESSING
DOE Contract Number:  
B554331
Resource Type:
Patent
Country of Publication:
United States
Language:
English
Subject:
97 MATHEMATICS AND COMPUTING

Citation Formats

O'Brien, John K.P., Wang, Kai-Ting Amy, Yamashita, Mark, and Zhuang, Xiaotong. Path-sensitive analysis for reducing rollback overheads. United States: N. p., 2014. Web.
O'Brien, John K.P., Wang, Kai-Ting Amy, Yamashita, Mark, & Zhuang, Xiaotong. Path-sensitive analysis for reducing rollback overheads. United States.
O'Brien, John K.P., Wang, Kai-Ting Amy, Yamashita, Mark, and Zhuang, Xiaotong. Tue . "Path-sensitive analysis for reducing rollback overheads". United States. https://www.osti.gov/servlets/purl/1149605.
@article{osti_1149605,
title = {Path-sensitive analysis for reducing rollback overheads},
author = {O'Brien, John K.P. and Wang, Kai-Ting Amy and Yamashita, Mark and Zhuang, Xiaotong},
abstractNote = {A mechanism is provided for path-sensitive analysis for reducing rollback overheads. The mechanism receives, in a compiler, program code to be compiled to form compiled code. The mechanism divides the code into basic blocks. The mechanism then determines a restore register set for each of the one or more basic blocks to form one or more restore register sets. The mechanism then stores the one or more register sets such that responsive to a rollback during execution of the compiled code. A rollback routine identifies a restore register set from the one or more restore register sets and restores registers identified in the identified restore register set.},
doi = {},
journal = {},
number = ,
volume = ,
place = {United States},
year = {2014},
month = {7}
}

Works referenced in this record:

Standby checkpoint to prevent data loss
patent, August 1996


System and method for performing path-sensitive value flow analysis on a program
patent, August 2006


Detecting reordered side-effects
patent, August 2007


Programming language support for integrating undo and exception handling
patent, October 2009


Code translation verification
patent, April 2010


Methods and devices for recovering from initialization failures
patent-application, December 2006


Method, medium and apparatus storing and restoring register context for fast context switching between tasks
patent-application, June 2007


Compiler support for optimizing decomposed software transactional memory operations
patent-application, July 2007


Efficient placement of software transactional memory operations around procedure calls
patent-application, July 2007


Method for memory integrity
patent-application, August 2007


Method and system for providing context switch using multiple register file
patent-application, September 2007


Point in Time Rollback and Un-installation of Software
patent-application, June 2008


Recovery From Nested Kernel Mode Exceptions
patent-application, February 2009


Contention management for a hardware transactional memory
patent-application, May 2009


A virtual memory translation mechanism to support checkpoint and rollback recovery
conference, January 1991


Minimizing register usage penalty at procedure calls
journal, July 1988


A survey of rollback-recovery protocols in message-passing systems
journal, September 2002


Code Generation and Optimization for Transactional Memory Constructs in an Unmanaged Language
conference, March 2007


    Works referencing / citing this record:

    Observation and analysis based code optimization
    patent, November 2015


    Assumption-based compilation
    patent, September 2015