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