Gaining confidence in scientific applications through executable interface contracts

Dahlgren, Tamara L.; Bernholdt, David E.; McInnes, Lois Curfman

doi:10.1088/1742-6596/125/1/012086

Cited by 3 publications

(2 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Although this approach originated in the context of verification of the code, it can equally well be used to detect data corruption. Where contracts are provided by a language or component software environment (Dahlgren and Devanbu, 2004, 2005; Dahlgren, 2007, 2008; Dahlgren et al, 2008), they tend to be available only at interfaces, which can be limiting from a fault detection standpoint. Many languages support assertions anywhere in the code; however, a failed assertion generally causes termination of the program, which is not desirable if it is possible to recover from the detected error.…”

Section: Related Workmentioning

confidence: 99%

Programmer-guided reliability for extreme-scale applications

Bernholdt

Elwasif

Kartsaklis

et al. 2016

The International Journal of High Performance Computing Applica

View full text Add to dashboard Cite

We present ''programmer-guided reliability'' (PGR) as a systematic conceptual approach to address the expected rise in soft errors in coming extreme-scale systems at the application level. The approach involves instrumentation of the application with code to detect data corruption errors. The location and nature of these error detectors are at the discretion of the programmer, who uses their knowledge and experience with the problem domain, the application, the solution algorithms, etc., to determine the most vulnerable areas of the code and the most appropriate ways to detect data corruption. To illustrate the approach, we provide examples of error detectors from four different benchmark-scale applications. We also describe a simple control framework that allows for runtime configuration of the error detectors without recompilation of the application, as well as dynamic reconfiguration during the execution of the application. Finally, we discuss a number of future directions building on the basic PGR approach, including the incorporation of some general error detectors into the programming environment in order to make them more easily usable by the programmer.

show abstract

Section: Related Workmentioning

confidence: 99%

Programmer-guided reliability for extreme-scale applications

Bernholdt

Elwasif

Kartsaklis

et al. 2016

The International Journal of High Performance Computing Applica

View full text Add to dashboard Cite

show abstract

“…These capabilities, supported in Babel [21], are being integrated into KNOT through BRAID and PAUL. PAUL structured comments will be used to specify the contracts, and BRAID will generate the verification code.…”

Section: Contracts For Correctness and Resiliencementioning

confidence: 99%

COMPOSE-HPC: A Transformational Approach to Exascale

Bernholdt¹,

Allan²,

Armstrong³

et al. 2012

View full text Add to dashboard Cite

The goal of the COMPOSE-HPC project is to "democratize" tools for automatic transformation of program source code so that it becomes tractable for the developers of scientific applications to create and use their own transformations reliably and safely. This paper describes our approach to this challenge, the creation of the KNOT tool chain, which includes tools for the creation of annotation languages to control the transformations (PAUL), to perform the transformations (ROTE), and optimization and code generation (BRAID), which can be used individually and in combination. We also provide examples of current and future uses of the KNOT tools, which include transforming code to use different programming models and environments, providing tests that can be used to detect errors in software or its execution, as well as composition of software written in different programming languages, or with different threading patterns.

show abstract