hesela.devRegular register
A single-writer regular register returns the value of the latest write completed before a read starts or a value written by an overlapping write.
One read can span several writes. Two successive reads overlapping one write can return new then old, unlike an atomic register. [1]
Relations
- related
- Safe 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]