Skip to content

Instantly share code, notes, and snippets.

@sitano

sitano/strict_schedules_examples.md

Last active July 18, 2019 09:45
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save sitano/d6f7659c255653467dbc01b00c67eb19 to your computer and use it in GitHub Desktop.
Save sitano/d6f7659c255653467dbc01b00c67eb19 to your computer and use it in GitHub Desktop.
Download ZIP
strict schedules examples
Raw
strict_schedules_examples.md

In Strict schedule, if the write operation of a transaction precedes a conflicting operation (Read or Write operation) of another transaction then the commit or abort operation of such transaction should also precede the conflicting operation of other transaction.

Example A

Ta	Tb
-----   -----
R(X)	
        R(X)
W(X)	
commit	
        W(X)
        R(X)
        commit

Example B

Ta	Tb
-----   -----
R(X)
W(X)
commit?
        R(X)
commit?
        W(X)
        R(X)
        commit

is Ta.W(x) a conflicting to Tb.R(X)? from my POV it must be and then in Strict Schedule Ta.commit must come before Tb.R(X)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment