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

vault backup: 2025-03-03 10:41:24

Browse source
This commit is contained in:
Marco Realacci 2025-03-03 10:41:24 +01:00
parent 78d4c57789
commit 37e6fb6da9
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Concurrent Systems/notes/Lezione1.md
View file

@ -198,7 +198,7 @@ lock(i) :=
AFTER_YOU[lev] <- i AFTER_YOU[lev] <- i
wait (∀k!=i, FLAG[k] < lev wait (∀k!=i, FLAG[k] < lev
OR AFTER_YOU[lev] != i) OR AFTER_YOU[lev] != i)
return return
unlock(i) := unlock(i) :=
FLAG[i] <- 0 FLAG[i] <- 0