News for hackers. Stuff that matters.
Re:OCaml Multicore merged upstream by kcsrk on Monday January 10, 2022 @12:40PM (#29878433)
> 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-s...

[2] https://blog.acolyer.org/2018/08/10/bounding-data-races-in-s...

Re:OCaml Multicore merged upstream by mgaunard on Tuesday January 11, 2022 @02:06PM (#29896152)
I would have preferred a straightforward answer instead.

It's not obvious to me from those articles how what I said is inaccurate.