Linearization point
= Linearization point
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.