1 / 15

INSPIRE The Insieme Parallel Intermediate Representation

INSPIRE The Insieme Parallel Intermediate Representation. Herbert Jordan, Peter Thoman , Simone Pellegrini , Klaus Kofler , and Thomas Fahringer University of Innsbruck.

step
Download Presentation

INSPIRE The Insieme Parallel Intermediate Representation

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. 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).

  2. Parallel Programming • OpenMP • Pragmas (+ API) • Cilk • Keywords • MPI • library • OpenCL • library + JIT • ‘hidden’ in compiler IRs • treated like ordinary APIs • coordinated by user

  3. The Insieme Vision OpenMP / Cilk / OpenCL / MPI / others to establish a research platform for coarse grained, real world, hybrid parallelism IR OpenCL / MPI / Insieme Runtime / others

  4. The Insieme Infrastructure developed @ University of Innsbruck

  5. INSPIRE Requirements OpenMP / Cilk / OpenCL / MPI / others • complete • unified • explicit • analyzable • transformable • compact • high level • whole program • open system • extensible INSPIRE OpenCL / MPI / Insieme Runtime / others

  6. 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

  7. Types • 7 type constructors:

  8. Expressions • 8 kind of expressions:

  9. Statements • 9 types of statements:

  10. Parallel Model • Parallel Control Flow • defined by jobs: • processed cooperatively by thread groups

  11. Parallel Model (2) • one work-sharing construct • one data-sharing construct • point-to-point communication • abstract channels type:

  12. Overall Structure • Structural – opposed to nominal systems • fullprogram is a singleexpression

  13. 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 modelsexecution – not code structure • path in tree = call context (!)

  14. Conclusion • INSPIRE is designed to • represent and unifyparallelapplications • self-contained, execution oriented structure • simplify whole-program manipulations • comprehensive parallel model • sufficient to model leading standards for parallel programming

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

More Related