= OSL -- Orléans Skeleton Library = OSL, the Orléans Skeleton Library provides a set of data parallel skeletons which follow the bulk synchronous parallel ([http://www.bsp-worldwide.org 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 [http://www.agence-nationale-recherche.fr Agence Nationale de la Recherche] in the program ''ANR Blanc International'', project ''Parallel Program Development with Algorithmic Skeletons'' ([http://traclifo.univ-orleans.fr/PaPDAS PaPDAS]) and by the [http://traclifo.univ-orleans.fr/SPEED SPEED] project funded by the [http://www.cg45.fr 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: [http://frederic.loulergue.eu/ftp/osl-1.0pre.tar.bz2 v1.0pre] * OSL Formal Semantics (requires the [http://coq.inria.fr Coq] proof assistant): [http://frederic.loulergue.eu/ftp/OSLSemantics-0.2.tar.bz2 v0.2] (with heat diffusion simulation), [http://frederic.loulergue.eu/ftp/OSLSemantics-0.1.tar.bz2 v0.1]. * OSL Verified Prototype (requires the [http://coq.inria.fr Coq] proof assistant): [http://frederic.loulergue.eu/ftp/OSLPrototype-0.1.tar.gz v0.1] == Publications == === 2014 === * Joeffrey Légaux, Sylvain Jubertie, and Frédéric Loulergue. [http://dx.doi.org/10.1109/HPCSim.2014.6903682 Development Effort and Performance Trade-off in High-Level Parallel Programming]. In International Conference on High Performance Computing and Simulation (HPCS). IEEE, 2014. === 2013 === * Joeffrey Legaux, Zhenjiang Hu, Frédéric Loulergue, Kiminori Matsuzaki, and Julien Tesson. [http://dx.doi.org/10.1007/978-3-642-40047-6_46 Programming with BSP Homomorphisms]. In F. Wolf, B. Mohr, and D. Ney, editors, Euro-Par 2013 Parallel Processing, number 8097 in LNCS, pages 446-457. Springer, 2013 * Joeffrey Legaux, Frédéric Loulergue, and Sylvain Jubertie. [http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6641451&tag=1 Managing Arbitrary Distributions of Arrays in Orléans Skeleton Library]. In International Conference on High Performance Computing and Simulation (HPCS), pages 437-444. IEEE, 2013 * Joeffrey Legaux, Frédéric Loulergue, and Sylvain Jubertie. [http://dx.doi.org/10.1016/j.procs.2013.05.189 OSL: an algorithmic skeleton library with exceptions]. In International Conference on Computational Science (ICCS), volume 18 of Procedia Computer Science, pages 260-269. Elsevier, 2013 === 2011 === * Noman Javed and Frédéric Loulergue. [http://dx.doi.org/10.1007/978-3-642-31500-8_10 Verification of a Heat Diffusion Simulation written with Orléans Skeleton Library]. In 9th International Conference on Parallel Processing and Applied Mathematics (PPAM), LNCS. pages 91-100, Springer, 2011 * Noman Javed and Frédéric Loulergue. [http://dx.doi.org/10.1007/978-3-642-23178-0_4 A Formal Programming Model of Orléans Skeleton Library]. In Victor Malyshkin, editor, Eleventh International Conference on Parallel Computing Technologies (PaCT), LNCS 6873. pages 40-52, Springer, 2011 * Noman Javed and Frédéric Loulergue. [http://dx.doi.org/10.1109/HPCSim.2011.5999832 Parallel Programming and Performance Predictability with Orléans Skeleton Library]. In International Conference on High Performance Computing and Simulation (HPCS). pages 257-263, IEEE, 2011 === 2009 === * Noman Javed and Frédéric Loulergue. [http://dx.doi.org/10.1007/978-3-642-03644-6_34 OSL: Optimized Bulk Synchronous Parallel Skeletons on Distributed Arrays]. In Y. Don, R. Gruber, and J. Joller, editors, 8th international Conference on Advanced Parallel Processing Technologies (APPT'09), LNCS 5737, pages 436-451. Springer, 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 == * Joeffrey Legaux, [http://tel.archives-ouvertes.fr/tel-00990852 Squelettes algorithmiques pour la programmation et l'exécution efficaces de codes parallèles], PhD Thesis, Université d'Orléans, décembre 2013 * Noman Javed, [http://www.theses.fr/2011ORLE2021/document Metaprogrammed Algorithmic Skeletons: Implementations, Performances and Semantics], PhD Thesis, LIFO, University of Orléans, October 2011 == [wiki:"GdT OS"] ==