From 8f5c1274280297b39e03142120ebe1dc01644d87 Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Tue, 18 Mar 2025 15:35:04 +0100 Subject: [PATCH] vault backup: 2025-03-18 15:35:04 --- .obsidian/workspace.json | 6 +++--- Concurrent Systems/notes/6 - Atomicity.md | 3 ++- 2 files changed, 5 insertions(+), 4 deletions(-) diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index 2ab0866..cc2b768 100644 --- a/.obsidian/workspace.json +++ b/.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", diff --git a/Concurrent Systems/notes/6 - Atomicity.md b/Concurrent Systems/notes/6 - Atomicity.md index 3890270..a39c7f5 100644 --- a/Concurrent Systems/notes/6 - Atomicity.md +++ b/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