From eaacbecc03ea3968d7bd900d9b4c13e29b1a0610 Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Tue, 1 Apr 2025 19:21:56 +0200 Subject: [PATCH] vault backup: 2025-04-01 19:21:56 --- .../3a - Hardware primitives & Lamport Bakery algorithm.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/Concurrent Systems/notes/3a - Hardware primitives & Lamport Bakery algorithm.md b/Concurrent Systems/notes/3a - Hardware primitives & Lamport Bakery algorithm.md index e55759d..e9f8b01 100644 --- a/Concurrent Systems/notes/3a - Hardware primitives & Lamport Bakery algorithm.md +++ b/Concurrent Systems/notes/3a - Hardware primitives & Lamport Bakery algorithm.md @@ -150,7 +150,9 @@ lock(i) := FLAG[i] <- up max_turn <- max{MY_TURN[1],...,MY_TURN[n]} if max_turn > 2n then - + MY_TURN[i] = max_turn - 2n + 1 + else + MY_TURN[i] = max_turn + 1 | secondo me basta già così FLAG[i] <- down