Containment Domains Semantics Revision 0.2

are those of the authors and should not be interpreted as representing the official policies, either expressed or implied, of the U.S. Government. 1Abstract Future large-scale computer systems will require a comprehensive and flexible resilience solution to maintain correctness while satisfying strict energy constraints. Toward this end, this document presents the definition of the semantics of scalable and efficient containment domains (CDs) resilience framework. Containment domains are a programming construct that enables applications to express, tune, and specialize error detection, state preservation and restoration, and recovery to satisfy application-specific resilience needs. Containment domains have weak transactional semantics and are nested to take advantage of deep machine and application hierarchies. The flexibility and hierarchy of containment domains enables the programmer and software system to match state preservation, error detection, and recovery costs with the rate and severity of errors. Containment domains also empower the programmer to reason about resiliency and to utilize domain knowledge to improve efficiency beyond what compiler analysis can achieve without such information. This report describes CD semantics and identifies the system features and mechanisms required for an efficient containment domains implementation. Revision History Version 0.1 October 2013 • Initial draft for public comment