I'm familiar with the C++11 object model.
How does OCaml compare?
From a quick skim of papers, it seems it provides sequential consistency when using atomics and acquire/release semantics when not.
Sounds like a pretty bad design.
How does OCaml compare?
From a quick skim of papers, it seems it provides sequential consistency when using atomics and acquire/release semantics when not.
Sounds like a pretty bad design.
(author of the said paper here) This is wrong. I suggest reading the paper closely. If not, the morning paper has a good summary [1,2].
[1] https://blog.acolyer.org/2018/08/09/bounding-data-races-in-s...
[2] https://blog.acolyer.org/2018/08/10/bounding-data-races-in-s...
It's not obvious to me from those articles how what I said is inaccurate.