On Wed Jun 28 18:01:29 2023 +0000, Huw Davies wrote:
Even if we get rid of nested updates, we need at least 1 bit of
"dirty" state in `SEQUENCE_MASK`. Well yes, I meant we'd be clear to read if `seq` was even, but I guess I failed to articulate that.
Thanks. Even if we need nested updates for *some* shared states, we can just track the nesting level out-of-band (i.e., out of the shared memory region) in some metadata block for the shared memory.