Lock-free programming for the masses ยท KC Sivaramakrishnan

"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

Tags related to reagents

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