------------------------------------------------------------
revno: 518
committer: Jean-Vincent Loddo <lo...@lipn.univ-paris13.fr>
branch nick: WORKING
timestamp: Tue 2020-05-12 21:33:52 +0000
message:
Added multi-level ("readers","writers","mantainer",...) locks based on a
single mutex. The number of levels is arbitrary. However, three sub-modules are
provided and ready-to-use:
---
(* Single level, simplest locks with 1 condition variable: *)
module Single : DISCIPLINED
---
(* Two levels, readers-writer locks based on 2-levels critical locks: *)
module RW : COMPLETE
---
(* Three levels, readers-writer-mantainer locks based on 3-levels critical
locks: *)
module RWM : COMPLETE
added:
CORTEX/lock_club.ml
CORTEX/lock_club.mli
--
lp:ocamlbricks
https://code.launchpad.net/~marionnet-drivers/ocamlbricks/trunk
Your team marionnet-dev is subscribed to branch lp:ocamlbricks.
To unsubscribe from this branch go to
https://code.launchpad.net/~marionnet-drivers/ocamlbricks/trunk/+edit-subscription
_______________________________________________
Mailing list: https://launchpad.net/~marionnet-dev
Post to : marionnet-dev@lists.launchpad.net
Unsubscribe : https://launchpad.net/~marionnet-dev
More help : https://help.launchpad.net/ListHelp
