Tasty » Adam Sampson's multiway bookmarks

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