Views
5 years ago

Dynamic State Restoration Using Versioning ... - Purdue University

Dynamic State Restoration Using Versioning ... - Purdue University

Dynamic State Restoration Using Versioning ... - Purdue

Dynamic State Restoration Using Versioning Exceptions V. Krishna Nandivada (nvk@cs.ucla.edu) Department of Computer Science University of California, Los Angeles Suresh Jagannathan (suresh@cs.purdue.edu) Department of Computer Science Purdue University, West Lafayette Abstract. We explore the semantics and analysis of a new kind of control structure called a versioning exception that ensures the state of the program, at the point when an exception handler is invoked, reflects the program state at the point when the handler is installed. Versioning exceptions provide a transaction-like versioning semantics to the code protected by a handler: modifications performed within the dynamic context of the corresponding handler are versioned, and committed to the store only if the computation completes normally. Similar to the role of backtracking in logic programming, this facility allows unwanted effects of computations to be discarded when exceptional or undesirable conditions are detected. We define a novel points-to analysis to efficiently track changes to the store within handler-protected scopes. The role of the analysis is to facilitate optimizations that minimize the number of locations which must be restored when a versioning exception is raised. The analysis is defined by a reachability approximation over locations that indicates which objects have been potentially modified within a handler scope. The analysis is defined for programs which support first-class procedures, locations, and exceptions. 1. Introduction cxceptions found in languages like SML, Java, or Haskell are a structured way of expressing non-local control-flow when unexpected conditions arise. Exception mechanisms allow programs to exit gracefully from error conditions without requiring the entire computation to halt. The implementation of exceptions thus changes the control stack to reflect the continuation in effect at the point where the handler is defined. However, the store is usually left untouched. This means that although control reverts to a meaningful program point, modifications to the store performed between the installation of the handler and the point where the exception is raised, are not undone. For many real-world applications, the inability to restore modified locations automatically requires programmers to carefully inject such operations manually, significantly complicating program structure. c○ 2005 Kluwer Academic Publishers. Printed in the Netherlands. final.tex; 26/05/2005; 13:59; p.1

Radiation Safety Training for Use of Radioactive ... - Purdue University
restoring trust in government - Rutgers, The State University of New ...
Restoring the West 2006 - Forestry - Utah State University
RESTORING THE WEST 2011 - Forestry - Utah State University
RESTORING THE WEST 2009 - Forestry - Utah State University
Firm's Image Restoration Strategies - Columbus State University
RESTORING THE WEST 2010 - Forestry - Utah State University
PDF version - Ferris State University
Fall 2011 PDF version - Ferris State University
Restricted use data - Panel Study of Income Dynamics - University of ...
Trace-Based Memory Aliasing Across Program ... - Purdue University
Jan Vitek - Purdue University
Dynamic Cryptographic Hash Functions - Cerias - Purdue University
Quantification of dynamic changes in cerebral ... - Purdue University
PDF Version - Department of Statistics - Purdue University
Print version - Purdue Extension Entomology - Purdue University
2006 outreach directory web version - Purdue University
Study of Dynamic Voltage Restorer using Diode ... - Wseas.us
Exam 2 White Version - Purdue University
Full text (Working paper version) - Purdue University
restitution of voltage using fuel cell based dynamic voltage restorer
Voltage Sag Mitigation Using Dynamic Voltage Restorer System - ijcee
ArcEditor (single use) - Purdue University Libraries
PURDUE UNIVERSITY CHAPTER - United States Naval Academy
A state-space model of the hemodynamic ... - Purdue University
Cerebral activation using a MR-compatible ... - Purdue University
Detection of Neural Activity in fMRI Using ... - Purdue University