More formal proof of correctness
vorner opened this issue · comments
The code is full of atomic operations with various memory orderings. While there's a comment that hints at correctness of the orderings, a formal-ish proof of it would be better. It could also lead to proving that some of the orderings may be relaxed some more (or, that some of them need to be strengthened).
Something more just landed in master.