From 3e3e4cffc62f554d51ac13d55d6b873a53421645 Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Tue, 18 Mar 2025 15:40:04 +0100 Subject: [PATCH] vault backup: 2025-03-18 15:40:04 --- Concurrent Systems/notes/6 - Atomicity.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Concurrent Systems/notes/6 - Atomicity.md b/Concurrent Systems/notes/6 - Atomicity.md index a39c7f5..26841e7 100644 --- a/Concurrent Systems/notes/6 - Atomicity.md +++ b/Concurrent Systems/notes/6 - Atomicity.md @@ -41,7 +41,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), otw. it won't be a total order (and would be cyclic) - - it cannot be that one is $\to_X$ + - it cannot be that one is $\to_X$ and the other $\to_Y$ (for some $X \neq Y$), otherwise op/op' would be on 2 different objects. + - So it must be $op \to_X op' \to_H op$ > [!PDF|red] class 6, p.6> we would have a cycle of length