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.
- Composable Builds for OCaml with Jbuilder
- MirageOS Hack Updates
- Algebraic Subtyping: PhD thesis
- Databox Launch Event: 24th March, Cambridge
- MirageOS Hack Event 2017 in Marrakech
- Irmin 1.0 Released!
- Scaling Software Modularization with Topkg
- MirageOS 3.0.0 Released!
- Making PPXs portable with ocaml-migrate-parsetree
- Feedback on cmdliner doc language changes