Hacker News new | ask | show | jobs
by jabl 2031 days ago
> I don't know much about the Linux Kernel, but I gave the document a brief read-over (https://www.kernel.org/doc/Documentation/memory-barriers.txt).

See also

http://www0.cs.ucl.ac.uk/staff/j.alglave/papers/asplos18.pdf

Wrt Alpha, I think a large part of the weirdness was that some early variants had split caches which weren't coherent with each other or something like that. So if a pointer and the value it pointed to where in different cache banks you could get funny effects.