skip to main content
OSTI.GOV title logo U.S. Department of Energy
Office of Scientific and Technical Information

Title: Performance-Driven Interface Contract Enforcement for Scientific Components

Abstract

Several performance-driven approaches to selectively enforce interface contracts for scientific components are investigated. The goal is to facilitate debugging deployed applications built from plug-and-play components while keeping the cost of enforcement within acceptable overhead limits. This paper describes a study of global enforcement using a priori execution cost estimates obtained from traces. Thirteen trials are formed from five, single-component programs. Enforcement experiments conducted using twenty-three enforcement policies are used to determine the nature of exercised contracts and the impact of a variety of sampling strategies. Performance-driven enforcement appears to be best suited to programs that exercise moderately expensive contracts.

Authors:
Publication Date:
Research Org.:
Lawrence Livermore National Lab. (LLNL), Livermore, CA (United States)
Sponsoring Org.:
USDOE
OSTI Identifier:
914607
Report Number(s):
UCRL-CONF-228332
TRN: US200812%%187
DOE Contract Number:
W-7405-ENG-48
Resource Type:
Conference
Resource Relation:
Conference: Presented at: The 10th International Symposium on Component-Based Software Engineering, Medford, MA, United States, Jul 09 - Jul 11, 2007
Country of Publication:
United States
Language:
English
Subject:
99 GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE; ENFORCEMENT; SAMPLING; COMPUTERS

Citation Formats

Dahlgren, T. Performance-Driven Interface Contract Enforcement for Scientific Components. United States: N. p., 2007. Web.
Dahlgren, T. Performance-Driven Interface Contract Enforcement for Scientific Components. United States.
Dahlgren, T. Thu . "Performance-Driven Interface Contract Enforcement for Scientific Components". United States. doi:. https://www.osti.gov/servlets/purl/914607.
@article{osti_914607,
title = {Performance-Driven Interface Contract Enforcement for Scientific Components},
author = {Dahlgren, T},
abstractNote = {Several performance-driven approaches to selectively enforce interface contracts for scientific components are investigated. The goal is to facilitate debugging deployed applications built from plug-and-play components while keeping the cost of enforcement within acceptable overhead limits. This paper describes a study of global enforcement using a priori execution cost estimates obtained from traces. Thirteen trials are formed from five, single-component programs. Enforcement experiments conducted using twenty-three enforcement policies are used to determine the nature of exercised contracts and the impact of a variety of sampling strategies. Performance-driven enforcement appears to be best suited to programs that exercise moderately expensive contracts.},
doi = {},
journal = {},
number = ,
volume = ,
place = {United States},
year = {Thu Feb 22 00:00:00 EST 2007},
month = {Thu Feb 22 00:00:00 EST 2007}
}

Conference:
Other availability
Please see Document Availability for additional information on obtaining the full-text document. Library patrons may search WorldCat to identify libraries that hold this conference proceeding.

Save / Share:
  • Performance-driven interface contract enforcement research aims to improve the quality of programs built from plug-and-play scientific components. Interface contracts make the obligations on the caller and all implementations of the specified methods explicit. Runtime contract enforcement is a well-known technique for enhancing testing and debugging. However, checking all of the associated constraints during deployment is generally considered too costly from a performance stand point. Previous solutions enforced subsets of constraints without explicit consideration of their performance implications. Hence, this research measures the impacts of different interface contract sampling strategies and compares results with new techniques driven by execution time estimates.more » Results from three studies indicate automatically adjusting the level of checking based on performance constraints improves the likelihood of detecting contract violations under certain circumstances. Specifically, performance-driven enforcement is better suited to programs exercising constraints whose costs are at most moderately expensive relative to normal program execution.« less
  • With the increasing complexity and interdisciplinary nature of scientific applications, code reuse is becoming increasingly important in scientific computing. One method for facilitating code reuse is the use of components technologies, which have been used widely in industry. However, components have only recently worked their way into scientific computing. Language interoperability is an important underlying technology for these component architectures. In this paper, we present an approach to language interoperability for a high-performance parallel, component architecture being developed by the Common Component Architecture (CCA) group. Our approach is based on Interface Definition Language (IDL) techniques. We have developed a Scientificmore » Interface Definition Language (SIDL), as well as bindings to C and Fortran. We have also developed a SIDL compiler and run-time library support for reference counting, reflection, object management, and exception handling (Babel). Results from using Babel to call a standard numerical solver library (written in C) from C and Fortran show that the cost of using Babel is minimal, where as the savings in development time and the benefits of object-oriented development support for C and Fortran far outweigh the costs.« less
  • The purpose of this work is to illustrate the use of information contained in the US Nuclear Regulatory Commission's (NRC's) reports of inspections of operating nuclear plants, to enhance the utility interface with the NRC's inspection and enforcement function, and to improve the management and control of activities within the plant. The NRC's reports of inspections of operating reactors and utility responses to those reports constitute one of the largest bodies of information available on the problems associated with operating, maintaining, and modifying commercial nuclear reactors. These documents, dating from January 1982 forward, have been collected, indexed , and enteredmore » into a data-base management program in a manner that permits the identification of problems in a number of ways, such as by plant functional areas, on all operating reactors in the US. In addition, a data base has been developed consisting of the full text of violations and significant portions of inspection reports with a search capability that permits retrieval of information that would otherwise be difficult if not impossible to find.« less
  • At Fort Polk, Louisiana, the space-conditioning systems of an entire city (4,003 military family housing units) have been converted to geothermal heat pumps (GHPs) under an energy savings performance contract. At the same time, other efficiency measures, such as compact fluorescent lights, low-flow hot water outlets, and attic insulation, were installed. These retrofits were performed by an energy services company at no up-front cost to the Army. The company has also assumed responsibility for maintenance of all the equipment installed. In return, it receives a percentage of the energy and maintenance savings realized by the Army. In developing the energymore » savings performance contract, the Army estimated its pre-retrofit maintenance costs from bids received on a request for proposals. In this paper, a more rigorous cost estimate is developed, based on a survey of maintenance records for the pre-retrofit HVAC equipment. The reliability of the equipment is also estimated using an actuarial method to determine the number of units requiring replacement each year and the effect of these replacements on annual maintenance costs.« less