INSPIREThe Insieme Parallel

Intermediate Representation

Herbert Jordan, Peter Thoman, Simone

Pellegrini, Klaus Kofler, and Thomas Fahringer

University of Innsbruck

This research has been partially funded by the Austrian Research Promotion Agency under contract 834307 (AutoCore) and by the FWF Austrian Science Fund under contract I01079 (GEMSCLAIM).

Parallel Programming OpenMP

Pragmas (+ API)

Cilk Keywords

MPI library

OpenCL library + JIT

• ‘hidden’ in compiler IRs• treated like ordinary APIs• coordinated by user

The Insieme Vision

OpenCL / MPI / Insieme Runtime / others

OpenMP / Cilk / OpenCL / MPI / others

IR

to establish a research platform

for coarse grained, real world, hybrid

parallelism

The Insieme Infrastructure

developed @ University of Innsbruck

INSPIRE RequirementsOpenMP / Cilk / OpenCL / MPI / others

INSPIRE

• complete • unified• explicit• analyzable• transformable• compact• high level• whole program• open system• extensible

OpenCL / MPI / Insieme Runtime / others

INSPIRE: Organization Core Language

type system supporting generic types full sequential & parallel control flow extension infrastructure

Extensions parameterized abstract data types (ADTs) to support extensions and external

interfaces

Types 7 type constructors:

Expressions 8 kind of expressions:

Statements 9 types of statements:

Parallel Model Parallel Control Flow

defined by jobs: processed cooperatively by thread

groups

Parallel Model (2) one work-sharing construct

one data-sharing construct

point-to-point communication abstract channels type:

Overall Structure Structural – opposed to nominal

systems full program is a single expression

Overall Structure Consequences:

every entity is self-contained no global lookup-tables or variables all functions are self-confined local modifications are isolated

Also: IR models execution – not code structure path in tree = call context (!)

Conclusion INSPIRE is designed to

represent and unify parallel applications

self-contained, execution oriented structure simplify whole-program manipulations

comprehensive parallel model sufficient to model leading standards for parallel

programming

Thank You!Visit: http://insieme-compiler.orgContact: herbert@dps.uibk.ac.at