marionnet-dev team mailing list archive

Thread
Date

[Branch ~marionnet-drivers/ocamlbricks/trunk] Rev 529: Module Lock_club completely refactored. The reader-writer system is now better structured and spe...

To: marionnet-dev <marionnet-dev@xxxxxxxxxxxxxxxxxxx>
From: noreply@xxxxxxxxxxxxx
Date: Sat, 23 May 2020 20:54:22 -0000
Reply-to: noreply@xxxxxxxxxxxxx
Sender: bounces@xxxxxxxxxxxxx

------------------------------------------------------------
revno: 529
committer: Jean-Vincent Loddo <loddo@xxxxxxxxxxxxxxxxxxxx>
branch nick: WORKING
timestamp: Sat 2020-05-23 20:51:52 +0000
message:
  Module Lock_club completely refactored. The reader-writer system is now better structured and specifically composed with respect to an ordinary protocol composition. An example with three priorities (reader-writer-maintainer) is given in a long comment at the end of the source lock_club.mli.
modified:
  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