From 767fbf94f1b2b7168b5ad7c3ffe1b8cbeeac4d99 Mon Sep 17 00:00:00 2001
From: Marco Realacci <marco@marcorealacci.me>
Date: Mon, 17 Mar 2025 21:52:45 +0100
Subject: [PATCH] vault backup: 2025-03-17 21:52:45

---
 .../notes/5 - Software Transactional Memory.md              | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

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