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.
- testing ocaml-migrate-parsetree with `ppx_deriving_crowbar`
- Windows Unicode Support - A Bug-Fix 12 Years in the Making
- Fuzzing for CI Workflows
- Testing Your Own Fork With OCaml's GitHub CI
- Platforms, Packaging, Progress
- Merlin 3.0.0 on Windows
- A New Implementation of Git
- Major Releases of Cohttp, Conduit, DNS and TCP/IP Libraries
- OCaml 4.05.0 Released
- Intel Hyper-Threading Bug Uncovered by OCaml Developers