marionnet-dev team mailing list archive

Thread
Date

[Branch ~marionnet-drivers/ocamlbricks/trunk] Rev 551: Added a `fold' function to algebraic channels, similar to the homonymous tool for lists, arrays a...

To: marionnet-dev <marionnet-dev@xxxxxxxxxxxxxxxxxxx>
From: noreply@xxxxxxxxxxxxx
Date: Wed, 01 Jul 2020 23:34:23 -0000
Reply-to: noreply@xxxxxxxxxxxxx
Sender: bounces@xxxxxxxxxxxxx

------------------------------------------------------------
revno: 551
committer: Jean-Vincent Loddo <loddo@xxxxxxxxxxxxxxxxxxxx>
branch nick: WORKING
timestamp: Wed 2020-07-01 23:33:49 +0000
message:
  Added a `fold' function to algebraic channels, similar to the homonymous tool for lists, arrays and many other structures, but with the specificity of acquiring and releasing the good locks during the visit. This tool is useful when the channel is a disjunction, in order to compute something during the visit of all stored values. The access provided by `fold' (and the derived logical tools as `exists' and `for_all') is performed as "reader" (level 0) and without guards (no waiting may happen).
modified:
  CORTEX/channel.ml
  CORTEX/channel.mli
  CORTEX/lock_club.ml


--
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