> There are also issues like where one Rust thread does a store(.., > RELEASE), and a C thread does a rcu_deference(), in practice, it > probably works but no one works out (and no one would work out) a model > to describe such an interaction. Isn't that what Paul E. McKenney litmus tests are all about? tools/memory-model/litmus-test Andrew
