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

---
 .obsidian/workspace.json                      | 28 +++++++++++++++++--
 .../5 - Software Transactional Memory.md      |  7 ++++-
 2 files changed, 31 insertions(+), 4 deletions(-)

diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index 071d4a4..9db05b2 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -22,6 +22,28 @@
             }
           }
         ]
+      },
+      {
+        "id": "e12a3c14771a10e5",
+        "type": "tabs",
+        "children": [
+          {
+            "id": "51157f32453cba69",
+            "type": "leaf",
+            "state": {
+              "type": "pdf",
+              "state": {
+                "file": "Concurrent Systems/slides/class 5.pdf",
+                "page": 4,
+                "left": -23,
+                "top": 240,
+                "zoom": 0.652019002375297
+              },
+              "icon": "lucide-file-text",
+              "title": "class 5"
+            }
+          }
+        ]
       }
     ],
     "direction": "vertical"
@@ -193,17 +215,17 @@
       "companion:Toggle completion": false
     }
   },
-  "active": "6edd4157a160e462",
+  "active": "51157f32453cba69",
   "lastOpenFiles": [
-    "Concurrent Systems/notes/4c - Dining Philosophers.md",
     "Concurrent Systems/notes/5 - Software Transactional Memory.md",
+    "Concurrent Systems/slides/class 5.pdf",
+    "Concurrent Systems/notes/4c - Dining Philosophers.md",
     "Concurrent Systems/notes/3a - Hardware primitives & Lamport Bakery algorithm.md",
     "Concurrent Systems/notes/2b - Round Robin algorithm.md",
     "Concurrent Systems/notes/2 - Fast mutex by Lamport.md",
     "Concurrent Systems/notes/1b - Peterson algorithm.md",
     "Concurrent Systems/notes/4b - Monitors.md",
     "Concurrent Systems/notes/1 - CS Basics.md",
-    "Concurrent Systems/slides/class 5.pdf",
     "Concurrent Systems/notes/images/Pasted image 20250317105355.png",
     "Concurrent Systems/slides/class 4.pdf",
     "Concurrent Systems/notes/images/Pasted image 20250317100456.png",
diff --git a/Concurrent Systems/notes/5 - Software Transactional Memory.md b/Concurrent Systems/notes/5 - Software Transactional Memory.md
index 33b591e..d8c4f0c 100644
--- a/Concurrent Systems/notes/5 - Software Transactional Memory.md	
+++ b/Concurrent Systems/notes/5 - Software Transactional Memory.md	
@@ -58,7 +58,12 @@ We now present an atomic STM system, called *Transactional Locking 2*:
 
 ###### Implementation:
 ```
-poi la scrivo giuro
+begin_T() :=
+	read_set(T), write_set(T) <- ∅
+	birthdate(T) <- CLOCK + 1
+
+X.read_T() :=
+	if lc?(XX) != 
 ```
 
 ### Virtual World Consistency