Path-sensitive analysis for reducing rollback overheads

O'Brien, John K.P.; Wang, Kai-Ting Amy; Yamashita, Mark; Zhuang, Xiaotong

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:: O'Brien, John K.P.; Wang, Kai-Ting Amy; Yamashita, Mark; Zhuang, Xiaotong

Issue Date:: 2014-07-22

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

Show more

G - PHYSICS G06 - COMPUTING G06F - ELECTRIC DIGITAL DATA PROCESSING
G06F8/441 - {Register allocation

Show less

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.

Copy to clipboard


                    O'Brien, John K.P., Wang, Kai-Ting Amy, Yamashita, Mark, & Zhuang, Xiaotong. Path-sensitive analysis for reducing rollback overheads.  United States.

Copy to clipboard


                    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.

Copy to clipboard


                    
@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}

}

Copy to clipboard

Patent:

Save / Share:

Export Metadata

Save to My Library

Works referenced in this record:

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

Bowen, Nicholas S.; Pradhan, Dhiraj K.
Proceedings of the 1991 ACM/IEEE conference on Supercomputing - Supercomputing '91
https://doi.org/10.1145/125826.126719

Minimizing register usage penalty at procedure calls
journal, July 1988

Chow, F. C.
ACM SIGPLAN Notices, Vol. 23, Issue 7
https://doi.org/10.1145/960116.53999

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

Elnozahy, E. N. (Mootaz); Alvisi, Lorenzo; Wang, Yi-Min
ACM Computing Surveys, Vol. 34, Issue 3
https://doi.org/10.1145/568522.568525

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

Wang, Cheng; Chen, Wei-Yu; Wu, Youfeng
International Symposium on Code Generation and Optimization (CGO'07)
https://doi.org/10.1109/CGO.2007.4

Similar Records in DOE Patents and OSTI.GOV collections:

Mechanism for reducing page migration overhead in memory systems

Patent Eckert, Yasuko; Vijayaraghavan, Thiruvengadam; Loh, Gabriel H.

A technique for use in a memory system includes swapping a first plurality of pages of a first memory of the memory system with a second plurality of pages of a second memory of the memory system. The first memory has a first latency and the second memory has a second latency. The first latency is less than the second latency. The technique includes updating a page table and triggering a translation lookaside buffer shootdown to associate a virtual address of each of the first plurality of pages with a corresponding physical address in the second memory and to associatemore » « less
Full Text Available
Method and system for reducing metadata overhead in a two-tier storage architecture

Patent Bent, John M.; Faibish, Sorin; Ting, Dennis Pei Jean; ...

Example embodiments of the present invention relate to a method, a system, and a computer program product for maintaining dynamically loadable namespaces. The method includes presenting, to an application, a file system having a global single namespace (SN) comprising a plurality of dynamically-loadable namespaces (DLNs) maintained in a capacity tier (CT) of object storage of a storage system. In response to a job submitted by the application, dynamically loading a first dynamically-loadable namespace, including the metadata only for the first dynamically-loadable namespace, associated with the job from the capacity tier of object storage into a fast tier (FT) of storagemore » of the storage system. « less
Full Text Available
Turbine exhaust diffuser flow path with region of reduced total flow area

Patent Orosa, John A.

An exhaust diffuser system and method for a turbine engine includes an inner boundary and an outer boundary with a flow path defined therebetween. The inner boundary is defined at least in part by a hub that has an upstream end and a downstream end. The outer boundary has a region in which the outer boundary extends radially inward toward the hub. The region can begin at a point that is substantially aligned with the downstream end of the hub or, alternatively, at a point that is proximately upstream of the downstream end of the hub. The region directs atmore » « less
Full Text Available
Electric vehicle drive train with rollback detection and compensation

Patent Konrad, Charles E [Roanoke, VA]

An electric vehicle drive train includes a controller for detecting and compensating for vehicle rollback, as when the vehicle is started upward on an incline. The vehicle includes an electric motor rotatable in opposite directions corresponding to opposite directions of vehicle movement. A gear selector permits the driver to select an intended or desired direction of vehicle movement. If a speed and rotational sensor associated with the motor indicates vehicle movement opposite to the intended direction of vehicle movement, the motor is driven to a torque output magnitude as a nonconstant function of the rollback speed to counteract the vehiclemore » « less
Full Text Available
Performing aggressive code optimization with an ability to rollback changes made by the aggressive optimizations

Patent Gschwind, Michael K

Mechanisms for aggressively optimizing computer code are provided. With these mechanisms, a compiler determines an optimization to apply to a portion of source code and determines if the optimization as applied to the portion of source code will result in unsafe optimized code that introduces a new source of exceptions being generated by the optimized code. In response to a determination that the optimization is an unsafe optimization, the compiler generates an aggressively compiled code version, in which the unsafe optimization is applied, and a conservatively compiled code version in which the unsafe optimization is not applied. The compiler storesmore » « less
Full Text Available

Similar Records

Title: Path-sensitive analysis for reducing rollback overheads

Abstract

Citation Formats

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

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