Source-Level Support for Timing Analysis

Global transformations for legacy parallel applications via structural analysis and rewriting

“…We used distinct tools due to the practical matters involved in supporting C and Fortran: Coccinelle, on one hand, has a very programmer-friendly user interface, but is heavily tied to the semantics of the C language with its main use being the restructuring of Linux kernel source and utilizes a simple patch-based description for transformations that is also deeply dependent on C. Stratego/XT, on the other hand, is a more general framework but needs a lot of customization before it can be used with a particular language: to provide support for Fortran in Stratego/XT, we built upon and extended MiniTermite [21], which uses the ROSE compiler [22] to generate a term-based serialization of a program's abstract syntax tree. The toolchains we built from these components allows a full translation cycle from source code to a term representation, where the rewriting is done, and back again to source code.…”

“…Crafting rewrite rules for a custom, user specified transformation is much simpler than implementing the transformations using a compiler framework like ROSE. The actual application of transformation rules on the input code is performed by the structural rewriting engine: Coccinelle [17] for C-based applications and our custom flow based on MiniTermite [21] and Stratego/XT [19] for Fortran-based applications. The described interaction among the different tools in shown in Fig.…”

“…The MiniTermite library [21] generates a term-based serialization of an AST constructed by ROSE. This functionality is provided by the src2term tool.…”

Tracing Flow Information for Tighter WCET Estimation: Application to Vectorization

“…The SATIrE [18] system is designed as a source-tosource analysis tool to map source code annotations to the intermediate program representation. Then it is used to build a WCET analysis tool by Barany et al [19]. This tool can transform the flow information in the source code level to the WCET analysis on different levels.…”

COMPOSE-HPC: A Transformational Approach to Exascale

“…Since our transformations are intended to be directed by end-users, ROTE must be able to mediate between users' high-level intentions and the low-level details of term rewriting tools. We use a tool called minitermite, developed as part of the SATIrE project [13,14], to bridge between a high-level representation, similar to an AST, and a lower-level term representation used at the level of the rewriting system. We have extended minitermite to support Fortranspecific AST nodes in addition to the original C language support.…”