@lina I think read_volatile is fine, since the doc for that says "That being said, the semantics will almost always end up pretty similar to C11’s definition of volatile."
which is also what the kernel relies on, so should be good enough in practice
I'd freak out more about pointer provenance, but I think if you invent that raw pointer out of thin air from an usize, that should be fine too
fair warning: I have no clue, just nightmares from paulmckenney talks
https://chaos.social/@sima/113624722133590432
No replies.
────
────