3 ms·
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
by mgaunard 5y ago
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.
- kcsrk 5y ago> it seems it provides sequential consistency when using atomics and acquire/release semantics when not. (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-space-and-time-part-i/ https://blog.acolyer.org/2018/08/09/bounding-data-races-in-s... [2] https://blog.acolyer.org/2018/08/10/bounding-data-races-in-space-and-time-part-ii/ https://blog.acolyer.org/2018/08/10/bounding-data-races-in-s...
- mgaunard 5y agoI would have preferred a straightforward answer instead. It's not obvious to me from those articles how what I said is inaccurate.