vault backup: 2025-03-18 15:35:04

.obsidian/workspace.json

@@ -36,7 +36,7 @@
                 "file": "Concurrent Systems/slides/class 6.pdf",
                 "page": 5,
                 "left": -19,
-                "top": 573,
+                "top": 529,
                 "zoom": 0.7998812351543944
               },
               "icon": "lucide-file-text",
@@ -215,10 +215,10 @@
       "companion:Toggle completion": false
     }
   },
-  "active": "88f2e3a5b973712d",
+  "active": "51157f32453cba69",
   "lastOpenFiles": [
-    "Concurrent Systems/notes/6 - Atomicity.md",
     "Concurrent Systems/slides/class 6.pdf",
+    "Concurrent Systems/notes/6 - Atomicity.md",
     "Concurrent Systems/notes/images/Pasted image 20250318090733.png",
     "Concurrent Systems/notes/images/Pasted image 20250318090909.png",
     "Concurrent Systems/slides/class 5.pdf",

Concurrent Systems/notes/6 - Atomicity.md

@@ -40,7 +40,8 @@ We now show that $\to$ is acyclic.
 
 2. it cannot have cycles with 2 edges:
 	- let's assume that $op \to op' \to op$
-	- both arrows cannot be $\to_H$ nor $\to_X$ (for some X)
+	- both arrows cannot be $\to_H$ nor $\to_X$ (for some X), otw. it won't be a total order (and would be cyclic)
+	- it cannot be that one is $\to_X$ 
 
 
 > [!PDF|red] class 6, p.6>  we would have a cycle of length