thumb|In grey a linear sub-history, processes beginning in do not have a linearizable history because or may complete in either order before occurs.
thumb|In grey a linear sub-history, processes beginning in do not have a linearizable history because or may complete in either order before occurs.
In concurrent programming, an operation (or set of operations) is linearizable if it consists of an ordered list of invocation and response events, that may be extended by adding response events such that: The extended list can be re-expressed as a sequential history (is serializable). That sequential history is a subset of the original unextended list.
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).