diff --git a/Concurrent Systems/notes/5 - Software Transactional Memory.md b/Concurrent Systems/notes/5 - Software Transactional Memory.md index 6fd8f81..49ac98c 100644 --- a/Concurrent Systems/notes/5 - Software Transactional Memory.md +++ b/Concurrent Systems/notes/5 - Software Transactional Memory.md @@ -83,7 +83,11 @@ try_to_commit_T() := if XX.date >= birthdate(T) then release all locks ABORT - + tmp <- CLOCK.fetch&add(1)+1 + ∀ X ∈ write_set(T) + XX <- ⟨lc(XX).val, tmp⟩ + release all locks + COMMIT ``` ### Virtual World Consistency