marcorealacci/master-degree-notes
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
master-degree-notes/Concurrent Systems/notes/6a - Alternatives to Atomicity.md

378 B
Raw Blame History

Let us define op ->_{proc} op' to hold whenever there exists a process p that issues both operations with res[op] happening before inv[op'].

Def: a complete history is sequentially consistent if there exists a sequential history 𝑆 s.t. !

!

The problem with sequential consistency is that it