Formalizing the OCaml Multicore Memory Model

A (draft!) memory model is now available for multicore OCaml, which answers the question of what you get when you read a shared mutable memory reference.

In single-threaded code, the answer is “whatever you most recently wrote”, but in multi-threaded code with complex synchronisation exactly what “most recently” means becomes murky. Read the multicore wiki entry for more details.

Related Posts