Skip to content

Instantly share code, notes, and snippets.

@pbailis
Last active Jan 2, 2016
Embed
What would you like to do?
serializable but not linearizable
T1: w(x=1)
T2: r(x=null)
SCHEDULE NL:
@ wall clock time 1, T1 begins and commits
@ wall clock time 2, T2 begins and commits
NL is serializable: NL is equivalent to executing T2;T1
NL is not linearizable: T2 should have read x=1
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment