Re: [WIP 0/3] Memory model and atomic API in Rust

[Andrew Lunn]

> 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