------------------------------------------------------------ revno: 550 committer: Jean-Vincent Loddo <lo...@lipn.univ-paris13.fr> branch nick: WORKING timestamp: Wed 2020-07-01 23:18:59 +0000 message: Added module TS_memo, of (T)hread-(S)afe weak memoization, with or without projections (for uncurried functions with several arguments). This implementation is based on algebraic channels and, precisely, on hublets (Hublet.t). Indeed, hublets allow the thread computing the image y of an argument x to broadcast the answer y, when it will be ready, to all other threads waiting on the same question (i.e. the question of having the image y of x by the function which is memoized). added: CORTEX/tS_memo.ml CORTEX/tS_memo.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
