Semantic and behavioral library transformations

Abstract. We briefly introduce the notion of Semantically Enhanced Library Languages, SELL, as a practical and economical alternative to special-purpose programming languages for high-performance computing. Then we describe the Pivot infrastructure for program analysis and transformation that is our main tool for supporting SELL. Finally, we outline how the IPR (The Pivot's Internal Program Representation) can be used to represent central notions of high-performance computing, such as parallelizable array operations. Our focus is on a broad exposition of ideas, rather than technical details 1 . Languages and librariesFor ease of programming, portability, and acceptable performance, we design and implement special-purpose programming languages for high-performance computing [15]. Alternatively, we can use a Semantically Enhanced Library Language. A SELL is a language created by extending a programming language (usually a popular general-purpose programming language) with a library providing the desired added functionality and then using a tool to provide the desired semantic guarantees needed to reach a goal (often a higher level semantics, absence of certain kinds of errors, or library-specific optimizations) [12]. This paper focuses on a tool, The Pivot, being developed to support SELLs in ISO C++ [11,5] and its application to High-Performance Computing. A brief overview of the PivotThe Pivot is a general framework for the analysis and transformation of C++ programs. It is designed to handle the complete ISO C++, especially more advanced uses of templates and including some proposed C++0x features. It is compiler independent. The central part of the Pivot is a fully typed abstract syntax tree called IPR (Internal Program Representation).There are lots of (more than 20) tools for static analysis and transformation of C++ programs, e.g. [7,2,8,6]. However, few -if any -handle all of ISO 1 This is the "cut" or "abbreviated" version of this paper. For a full version, see

show abstract

“…[7,2,8,6]. However, few -if any -handle all of ISO 1 This is the "cut" or "abbreviated" version of this paper.…”

Section: A Brief Overview Of the Pivotmentioning

confidence: 99%

“…[7,2,8,6]. However, few -if any -handle all of ISO Standard C++, most are specialized to particular forms of analysis or transformation, and few will work well in combination with other tools.…”

Section: A Brief Overview Of the Pivotmentioning

confidence: 99%

Supporting SELL for High-Performance Computing

Stroustrup

Reis

2006

Languages and Compilers for Parallel Computing

View full text Add to dashboard Cite

show abstract

“…Other tools based on C++ code transformation like Simplicissimus [16] and CodeBoost [5] are mainly targeted to the field of domain-specific program optimizations for numerical applications. While CodeBoost intentionally supports only those C++ features that are relevant to the domain of program optimization, AspectC++ has to support all language features.…”

Section: Related Workmentioning

confidence: 99%

Generic Advice: On the Combination of AOP with Generative Programming in AspectC++

Lohmann

Blaschke

Spinczyk

2004

Generative Programming and Component Engineering

View full text Add to dashboard Cite

Abstract. Besides object-orientation, generic types or templates and aspectoriented programming (AOP) gain increasing popularity as they provide additional dimensions of decomposition. Most modern programming languages like Ada, Eiffel, and C++ already have built-in support for templates. For Java and C# similar extensions will be available in the near future. Even though promising, the combination of aspects with generic and generative programming is still a widely unexplored field. This paper presents our extensions to the AspectC++ language, an aspect-oriented C++ derivate. By these extensions aspects can now affect generic code and exploit the potentials of generic code and template metaprogramming in their implementations. This allows aspects to inject template metaprograms transparently into the component code. A case study demonstrates that this feature enables the development of highly expressive and efficient generic aspect implementations in AspectC++. A discussion whether these concepts are applicable in the context of other aspect-oriented language extensions like AspectJ rounds up our contribution.

show abstract

“…Simplicissimus [21,22] shares many of the same goals as CodeBoost. It is implemented as a plug-in to a compiler (currently GCC, but other compliers may be supported as well), and supports user-specified rewriting of expressions.…”

Section: Related Workmentioning

confidence: 99%