From 1e853b88f7f8bd43a449463e365d3530c0891b0f Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Tue, 18 Mar 2025 16:10:04 +0100 Subject: [PATCH] vault backup: 2025-03-18 16:10:04 --- Concurrent Systems/notes/6 - Atomicity.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Concurrent Systems/notes/6 - Atomicity.md b/Concurrent Systems/notes/6 - Atomicity.md index 5616818..d4f1ed9 100644 --- a/Concurrent Systems/notes/6 - Atomicity.md +++ b/Concurrent Systems/notes/6 - Atomicity.md @@ -49,7 +49,7 @@ We now show that $\to$ is acyclic. 3. It cannot have cycles with more than 2 edges: - by contradiction, consider a shortest cycle - - adjacent edges cannot belong to the same order (otw. the cycle would be shortable, because of transitivity) + - adjacent edges cannot belong to the same order (not both $\to_X$ ), otw. the cycle would be shortable, because of transitivity of the total order! > [!PDF|red] class 6, p.6> we would have a cycle of length