Adaptable assertion checking for scientific software components

The International Journal of High Performance Computing Applica

et al. 2011

Abstract-High-performance scientific applications are usually built from software modules written in multiple programming languages. This raises the issue of language interoperability which involves making calls between languages, converting basic types, and bridging disparate programming models. Babel provides a featurerich, extensible, high-performance solution to the language interoperability problem currently supporting C, C++, FORTRAN 77, Fortran 90/95, Fortran 2003/2008, Python, and Java. Babel supports object-oriented programming features and interface semantics with runtime-enforcement. In addition to in-process language interoperability, Babel includes remote method invocation to support hybrid parallel and distributed computing paradigms.

Section: Runtime Librarymentioning

confidence: 99%

High-performance language interoperability for scientific computing through Babel

Epperly

Kumfert

The International Journal of High Performance Computing Applica

et al. 2011

“…Also, we expect to leverage current Babel research aimed at improving software component compliance and usage through interface-level software contracts. [10][11][12] More information on the TSTT interface, including complete documentation, can be found at http://www.tsttscidac.org.…”

Section: Current Status and Ongoing Workmentioning

confidence: 99%

The TSTT Mesh Interface

Ollivier‐Gooch

Chand

44th AIAA Aerospace Sciences Meeting and Exhibit

et al. 2006

PDE-based numerical simulation applications commonly use basic software infrastructure to manage mesh, geometry, and discretization data. The commonality of this infrastructure implies the software is theoretically amenable to re-use. However, the traditional reliance on library-based implementations of these functionalities hampers experimentation with different software instances that provide similar functionality. This is especially true for meshing and geometry libraries where applications often directly access the underlying data structures, which can be quite different from implementation to implementation. Thus, using different libraries interchangeably or interoperably for this functionality has proven difficult at best and has hampered the wide spread use of advanced meshing and geometry tools developed by the research community. To address these issues, the Terascale Simulation Tools and Technologies center is working to develop standard interfaces to enable the creation of interoperable and interchangeable simulation tools. In this paper, we focus on a languageand data-structure-independent interface supporting query and modification of mesh data conforming to a general abstract data model. We describe the model and interface, and provide programming "best practices" recommendations based on early experience implementing and using the interface. List of Abbreviations AI Adjacency information enum EH Entity handle ES Entity set handle ET Error type enum iter Iterator over entities SH Set handle SO Storage order enum TH Tag handle TVT Tag value type enum Topo Entity topology enum Type Entity type enum VH Vertex handle

“…Assertion specifications are automatically translated into run-time checks in language interoperability middleware using our modified Babel compiler [9]. The assertion generation code, originally added to a development version of Babel 0.9, is currently being integrated into the latest version for alpha release.…”

Section: Prototypementioning

confidence: 99%

“…In both cases, the threshold check depends on execution time as opposed to the countdown employed in Section 2 and described in [9]. Assertions are checked if they do not result in exceeding the pre-specified limit on the execution time overhead.…”

Section: Self-adaptive Enforcementmentioning

confidence: 99%

See 1 more Smart Citation

Improving scientific software component quality through assertions

Proceedings of the Second International Workshop on Software Engineering for High Performance Computing System Applications

Dévanbu

2005

We are proposing research on self-adaptive interface assertion enforcement for the purposes of improving scientific software component quality. Demonstrating software correctness through assertions is a well-known technique for quality improvement. However, the performance penalty is often considered too high for deployment. In order to determine if partial enforcement based on adaptive sampling is a viable solution in performance critical environments, we are pursuing research on mechanisms combining static and dynamic analyses to efficiently maximize assertion checking within performance constraints. This paper gives an overview of our initial experiments, current work, and plans.