README.md 731 Bytes
Newer Older
Julien Tesson's avatar
Julien Tesson committed
1
2
3
4
5
6
7
8
9
10
11
12
13
# Shared memory BSML 

BSML is a parallel extension to Ocaml that bring parallelism through
explicit parallel primitives following the Bulk Synchronous
Parallelism model.

# Organisation
*  src contains the implementation of BSML based on Cambridge's
   multicore Ocaml
*  model contains a model of the semantics of BSML and a proof, in a
   simplified settings, that the implementation satisfies this
   semantics
*  Explantory papers are in the paper directory
14
*  References and bibtex are in the biblio  directory
Julien Tesson's avatar
Julien Tesson committed
15
   
16
17
# Installation 
Needs ocaml multicore :
18
19
* ``opam remote add multicore https://github.com/ocamllabs/multicore-opam.git ``
* ``opam switch 4.02.2+multicore ;  eval `opam config env` `` 
Julien Tesson's avatar
Julien Tesson committed
20
* ``opam install camlp4``