Skip to content

Instantly share code, notes, and snippets.

@pbailis
Last active April 9, 2023 05:07
  • Star 1 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
Star You must be signed in to star a gist
Save pbailis/8279494 to your computer and use it in GitHub Desktop.
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