ocamlock Implementation in OCaml of locks in chapter 7 of The Art of Multiprocessor programming with: multiple variations for some algo (which is the best ?!) a basic benchmark (to compare !) a basic test (to check that it is probably working)