marcorealacci/master-degree-notes
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

vault backup: 2025-04-01 19:21:56

Browse source
This commit is contained in:
Marco Realacci 2025-04-01 19:21:56 +02:00
parent 72db12339d
commit eaacbecc03
1 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
Concurrent Systems/notes/3a - Hardware primitives & Lamport Bakery algorithm.md
View file

@ -150,7 +150,9 @@ lock(i) :=
FLAG[i] <- up FLAG[i] <- up
max_turn <- max{MY_TURN[1],...,MY_TURN[n]} max_turn <- max{MY_TURN[1],...,MY_TURN[n]}
if max_turn > 2n then 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 FLAG[i] <- down