clef-men

Par l'axiome (Ass-0) et curryfication, les types "a -> 'a -> b" et "a -> b" devraient être unifiables avec { 'a = unit } ; de même pour "a...

Atomic record fields

15

Example: ```ocaml type t = { mutable current : int; mutable readers: int [@atomic]; } let add_new_reader v = Atomic.Loc.incr [%atomic.loc v.readers] ``` This PR is implemented by myself (@clef-men)...

Synchronization in work-stealing deque

3

In `src/ws_deque.ml`, the `tab` field is not atomic, contrary to the reference implementation in relaxed memory (Correct and Efficient Work-Stealing for Weak Memory Models). Furthermore, there is no synchronization before...

# Atomic arrays This PR (joint work with @gasche) implements atomic arrays on top of our previous work on atomic record fields (https://github.com/ocaml/RFCs/pull/39, https://github.com/ocaml/ocaml/pull/13404). In particular, this is something that...