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

.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",

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