A concurrent object behaves as if its operations took effect at individual instants between invocation and response, respecting nonoverlapping operations' real-time order. A read overlapping a replacement can return the old version while remaining linearizable.
The instant used to identify an operation's abstract effect in a proof of linearizability. Loading the published pointer can be the linearization point of an immutable snapshot read, with suitable ordering and lifetime guarantees.
Articles by others on the same topic
There are currently no matching articles.