Discussion:
[Caml-list] Sklml first public release
(too old to reply)
Pierre Weis
2016-09-29 16:13:59 UTC
Permalink
Easy coarse grain parallelization

We are glad to announce the availability of Sklml version 2.0+pl0.

What is Sklml?
==============

Sklml is a functional parallel skeleton compiler and programming system for OCaml programs.

The Sklml system is embedded into the OCaml programming language
and inherits the good properties of this functional heritage: Sklml
programs cannot go wrong (no bus error nor segmentation faults).

All Sklml programs may be run in two evaluation modes: parallel or
sequential evaluation.

The Sklml system features another salient property: for any
Sklml program the sequential and parallel evaluation modes always
return the same result. In particular, the parallel evalution mode is
deterministic and do not introduce nor hide any error (such as floating point
rounding errors).

In Sklml, parallelization is explicit and uses high-level
parallelization primitives for program parallel and data parallel usual
programming situations.

Composing the parallelization primitives is a powerful way to define more
complex or specialized parallelization schemes. For instance, the
Sklml library features a 'domain' high-level function devoted to
advanced scientific computing: indeed, the function 'mk_domain' provides a
parallel implementation of the classical 'Domain Decomposition' method to
solve Partial Differential Equations. Using the same methodology, advanced
users can define powerful parallelization functions and tune Sklml
to the specific domain at hand.

Where to get the Sklml code?
============================

The tarball is available here:
http://sklml.inria.fr/archive/sklml-2.0+pl0.tgz

Where to get more information?
==============================

The package home page is here:
http://sklml.inria.fr/

All constructive criticisms and propositions are warmly welcomed.

Enjoy.

Francois Clement <***@inria.fr>
Pierre Weis <***@inria.fr>
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
Francois Berenger
2016-10-01 20:16:23 UTC
Permalink
Hi,

Very cool and interesting work.

Can sklml be used to program GPUs?

I ´m a big fan of parmap; but I ´m ok to switch to anything high performance.

Also, is there an opam switch or something for sklml?

Thanks a lot for this alien technology,
Francois.
Post by Pierre Weis
Easy coarse grain parallelization
We are glad to announce the availability of Sklml version 2.0+pl0.
What is Sklml?
==============
Sklml is a functional parallel skeleton compiler and programming system for OCaml programs.
The Sklml system is embedded into the OCaml programming language
and inherits the good properties of this functional heritage: Sklml
programs cannot go wrong (no bus error nor segmentation faults).
All Sklml programs may be run in two evaluation modes: parallel or
sequential evaluation.
The Sklml system features another salient property: for any
Sklml program the sequential and parallel evaluation modes always
return the same result. In particular, the parallel evalution mode is
deterministic and do not introduce nor hide any error (such as floating point
rounding errors).
In Sklml, parallelization is explicit and uses high-level
parallelization primitives for program parallel and data parallel usual
programming situations.
Composing the parallelization primitives is a powerful way to define more
complex or specialized parallelization schemes. For instance, the
Sklml library features a 'domain' high-level function devoted to
advanced scientific computing: indeed, the function 'mk_domain' provides a
parallel implementation of the classical 'Domain Decomposition' method to
solve Partial Differential Equations. Using the same methodology, advanced
users can define powerful parallelization functions and tune Sklml
to the specific domain at hand.
Where to get the Sklml code?
============================
http://sklml.inria.fr/archive/sklml-2.0+pl0.tgz
Where to get more information?
==============================
http://sklml.inria.fr/
All constructive criticisms and propositions are warmly welcomed.
Enjoy.
--
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
Oliver Bandel
2016-10-01 22:40:51 UTC
Permalink
Hi,

"first public release"?
Wasn't it available for some years?


[...]
Post by Pierre Weis
All constructive criticisms and propositions are warmly welcomed.
What about:

- META-file for findlib, for the library-parts of Sklml

- renaming bin/worker* to bin/sklml-worker*



Ciao,
Oliver
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
Loading...