OSL -- Orléans Skeleton Library

OSL, the Orléans Skeleton Library provides a set of data parallel skeletons which follow the bulk synchronous parallel (BSP) model of parallel computation. OSL is a library for C++ currently implemented on top of MPI and it uses meta-programming techniques to offer a good efficiency. Our goal is thus to provide an easy to use library for a widely used programming language and that allows simple reasoning about parallel performances based on a simple and portable cost model.

Support

Work on OSL is supported by the Agence Nationale de la Recherche in the program ANR Blanc International, project Parallel Program Development with Algorithmic Skeletons (PaPDAS) and by the SPEED project funded by the Conseil Général du Loiret.

Team Members

  • Sylvain Jubertie (University of Orléans)
  • Frédéric Loulergue (University of Orléans)

Past-members : Wadoud Bousdira (University of Orléans), Joeffrey Légaux (University of Orléans), Noman Javed (Namal College, Pakistan).

Software

  • OSL The C++ Orléans Skeleton Library: v1.0pre
  • OSL Formal Semantics (requires the Coq proof assistant): v0.2 (with heat diffusion simulation), v0.1.
  • OSL Verified Prototype (requires the Coq proof assistant): v0.1

Publications

2014

2013

2011

2009

2008

  • Noman Javed and Frédéric Loulergue. A Metaprogrammed Bulk Synchronous Parallel Algorithmic Skeleton Library. In International Conference for High Performance Computing, Networking, Storage and Analysis (SC08), Poster, 2008

Thesis

GdT OS

Last modified 3 weeks ago Last modified on Jun 13, 2018, 10:56:10 PM