3 ms·
Well, not exactly “glaring” (unless you are a PL expert), but for instance there’s a paper that was referenced in that Rustonomicon link: https://fzn.fr/readin
by cyber_kinetist 4y ago
Well, not exactly “glaring” (unless you are a PL expert), but for instance there’s a paper that was referenced in that Rustonomicon link:
https://fzn.fr/readings/c11comp.pdf https://fzn.fr/readings/c11comp.pdf
And also
https://plv.mpi-sws.org/scfix/paper.pdf https://plv.mpi-sws.org/scfix/paper.pdf
Though maybe these issues were fixed in C++20 (which I only learned till recently that they’ve revised their memory model there!)
- JonChesterfield 4y agoNice references. Going to take me a while to make sense of them. A superficial interpretation is one says relaxed doesn't work and the other says sequentially consistent doesn't work. Not great news tbh, hopefully it'll look better on closer examination.