diff --git a/Concurrent Systems/notes/Lezione2.md b/Concurrent Systems/notes/Lezione2.md index 553bf1f..6ed8d8a 100644 --- a/Concurrent Systems/notes/Lezione2.md +++ b/Concurrent Systems/notes/Lezione2.md @@ -58,7 +58,7 @@ How can pi enter its CS? ![[Pasted image 20250304084537.png]] ![[Pasted image 20250304084901.png]] - +(*must finished before nel senso che $p_i$ deve aspettare $p_j$*) ##### Deadlock freedom Let $p_i$ invoke lock - If it eventually wins -> √