A good summary of the "multicore OCaml memory model" article


The morning paper is an amazing blog where the author posts summaries of research papers. Today’s edition covers the recent (PLDI 2018) article (PDF) on the memory model proposed for the Multicore OCaml implementation:

Bounding data races in space and time – part I


Part II is now available.