From d5474248df5be0b451ab0d7d110665c6429dc9ae Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Tue, 18 Mar 2025 17:05:04 +0100 Subject: [PATCH] vault backup: 2025-03-18 17:05:04 --- .obsidian/workspace.json | 6 +++--- Concurrent Systems/notes/6 - Atomicity.md | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index d236356..a8644e3 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -36,7 +36,7 @@ "file": "Concurrent Systems/slides/class 6.pdf", "page": 6, "left": -23, - "top": 283, + "top": 379, "zoom": 0.6627078384798101 }, "icon": "lucide-file-text", @@ -214,10 +214,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 1954aa7..77c3499 100644 --- a/Concurrent Systems/notes/6 - Atomicity.md +++ b/Concurrent Systems/notes/6 - Atomicity.md @@ -72,7 +72,7 @@ we would have the topological order: $op1\to'op2\to'...$ $\hat{S}$ is clearly sequential. Moreover: 1. $\forall X :\hat{S}|_{X} = \hat{S}_X (\in semantics(X))$, indeed: - $<_{\hat{S}_X}=\to_X \subseteq \to'_X = \to_{\hat{S}|X}=<_{\hat{S}|X}$ - - + - commenti > [!PDF|red] class 6, p.6> we would have a cycle of length > > we would contraddict op2 ->x op3