Parallel programming and performance predictability with Orléans Skeleton Library

Abstract

Orléans Skeleton Library (OSL) is a library of parallel algorithmic skeletons in C++ on top of MPI. It provides a structured approach towards parallel programming. Skeletons in OSL are based over the bulk synchronous parallelism model. Applications can be developed using different combinations and compositions of the skeletons. This paper illustrates the expressivity and performance predictability of OSL with two applications: a two dimensional heat diffusion simulation, and an exact N -body simulation. Experiments using these applications are performed on parallel machines.

DisSLib: CC: A Library for Distributed Search with a Central Common Search State

“…The overview paper [14] provides a good introduction to using these skeletons to create these search systems. Examples of these types of systems include the Orlans Skeleton Library [17], The Münster Skeleton Museli [3], Lithium [9] and MALLBA [1].…”

Programming with BSP Homomorphisms

“…If our long term goal is to provide sufficient automation to use the Coq proof assistant to ease the development of efficient parallel programs, our framework still lacks automation and the purely functional programs we can extract cannot compete yet with high-level C++ hand-written code. Therefore on a practical side it would be interesting to have a support for BSP homomorphisms in an efficient library of algorithmic skeletons such as OSL : the C++ Orléans Skeleton Library [8]. The work presented in this paper provides such a support and we illustrate its use through the derivation of non-trivial applications.…”