marcorealacci/master-degree-notes
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

vault backup: 2025-03-17 21:52:45

Browse source
This commit is contained in:
Marco Realacci 2025-03-17 21:52:45 +01:00
parent 110db2ace3
commit 767fbf94f1
1 changed files with 5 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

6
Concurrent Systems/notes/5 - Software Transactional Memory.md
View file

@ -83,7 +83,11 @@ try_to_commit_T() :=
if XX.date >= birthdate(T) then if XX.date >= birthdate(T) then
release all locks release all locks
ABORT ABORT
tmp <- CLOCK.fetch&add(1)+1
∀ X ∈ write_set(T)
XX <- ⟨lc(XX).val, tmp⟩
release all locks
COMMIT
``` ```
### Virtual World Consistency ### Virtual World Consistency