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.
- Multicore OCaml ARM64 Backend
- Cambio, OCaml and Karaoke at the MirageOS Marrakech Hack Retreat 2017
- Using Menhir to Build Grammar Attributes
- OCaml 4.04.1 Released
- Parsing the Email Standard with TypeBeat
- An OCaml Backend for Agda with Malfunctional Programming
- Databox Open-Source Software Community Launch
- Composable Builds for OCaml with Jbuilder
- MirageOS Hack Updates
- Algebraic Subtyping: PhD thesis