> patterns like RCU
RCU isn't mutable shared state! It's sharing immutable state! That's the whole paradigm.
https://en.wikipedia.org/wiki/Read-copy-update#Name_and_over...
There is state.
It is shared state.
It is mutable state.
There are readers, who can see the shared state.
There are writers, who copy it, update it and push it back so that the new state is visible to everyone else.
I have no idea what your definition of mutable shared state might be if that doesn't fit it.
> patterns like RCU
RCU isn't mutable shared state! It's sharing immutable state! That's the whole paradigm.