Contact the authors Quentin.Carbonneaux@inria.fr, Francois.Clement@inria.fr, Pierre.Weis@inria.fr.

Sklml: a functional parallel skeleton compiler and programming system

Version 1.0+pl0

Description
Documentation
Requirements
Download
Bug reports and mailing list
Authors
Acknowledgements
Copyright

Description

Sklml is a compiler for OCaml parallel programs.

Writing parallel programs is not easy, and debugging them is usually a nightmare. To cope with these difficulties, the skeleton programming approach uses a set of predefined patterns for parallel computations. The skeletons are higher order functional templates that describe the program underlying parallelism.

Sklml is a new framework for parallel programming that embeds an innovative compositional skeleton algebra into the OCaml language. Thanks to its skeleton algebra, Sklml provides two evaluation regimes to programs: a regular sequential evaluation (merely used for prototyping and debugging) and a parallel evaluation obtained via a recompilation of the same source program in parallel mode.

Sklml was specifically designed to prove that the sequential and parallel evaluation regimes coincide.

Documentation

The Sklml user's manual is available on line.

You can also download the manual as DVI, PS, and PDF files.

The manual only exists in the English version, volunteers to translate it are warmly welcomed...

Requirements

You will need Objective Caml version 3.12 or higher to compile the sources.

See the INSTALL file provided in the distribution for installation tips.

Download

The latest version (1.0+pl0) of the sources of Sklml are available either:

Bug reports and mailing list

If you find a bug, please drop a message to sklml-bugs at inria.fr.

If you want to get in touch with the implementors (to contribute some new ideas or lines of code), please write to sklml at inria.fr.

If you want to get in touch with the users of Sklml, please write to sklml-users at inria.fr.

Authors

The version 1.0+pl0 of Sklml was developed from 2007 to 2011 by

Quentin Carbonneaux (Quentin.Carbonneaux at inria.fr),
François Clément (Francois.Clement at inria.fr), and
Pierre Weis (Pierre.Weis at inria.fr).

Acknowledgments

Sklml was inspired by the OCamlP3l experiment.

Sklml is entirely written in Objective Caml.

Copyright

This program is free software distributed under the BSD license. See the LICENSE file provided in the distribution.


Last modification date: Wednesday, September 21st, 2011 on lamerluche by fclement.
Copyright © 2007-2011 Institut National de Recherche en Informatique et en Automatique (INRIA), all rights reserved.