hesela.devSafe register
A single-writer safe register returns the latest written value outside overlapping writes, but may return any domain value during an overlapping write.
The domain can include values never written. Even a same-value write can allow a different result during overlap. [1]
Relations
- related
- Regular register, Linearizability
Citations
Further reading
Sources & caveats
- Scope: finite-valued, single-writer registers with one or more readers; no product lifecycle or priority date is inferred. [1]