From 51a341cd842f0e75c2c92a44879bb0fb57ba0e81 Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Tue, 18 Mar 2025 09:49:12 +0100 Subject: [PATCH] vault backup: 2025-03-18 09:49:12 --- .obsidian/workspace.json | 4 ++-- Concurrent Systems/notes/6 - Atomicity.md | 6 +++++- 2 files changed, 7 insertions(+), 3 deletions(-) diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index 4f6063a..0bbdbcb 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -36,9 +36,9 @@ "type": "pdf", "state": { "file": "Concurrent Systems/slides/class 6.pdf", - "page": 4, + "page": 6, "left": -23, - "top": 17, + "top": 546, "zoom": 0.6448931116389549 }, "icon": "lucide-file-text", diff --git a/Concurrent Systems/notes/6 - Atomicity.md b/Concurrent Systems/notes/6 - Atomicity.md index 3cb76c8..c630a14 100644 --- a/Concurrent Systems/notes/6 - Atomicity.md +++ b/Concurrent Systems/notes/6 - Atomicity.md @@ -34,4 +34,8 @@ For all X, let $\hat{S}_{X}$ be a linearization of $\hat{H}_{X}$ Let $\to$ denote $\to_{H} \cup \bigcup_{X \in H} \to _{X}$ -... \ No newline at end of file +... +> [!PDF|red] class 6, p.6> we would have a cycle of length +> +> we would contraddict op2 ->x op3 +