Lock-free programming for the masses ยท KC Sivaramakrishnan edit / delete

"We use take l_fork <*> take r_fork to atomically take both of the forks." Reagents in Multicore OCaml -- which are semantically (more or less?) equivalent to the multiway barriers that Neil implemented in CHP.

to concurrency multiway ocaml reagents synchronisation ... on 14 October 2016

Browser bookmarks: tasty+ | tasty= Log in | Export | Atom

Tags related to reagents

- reagents
 
1 + concurrency
1 + multiway
1 + ocaml
1 + synchronisation