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

vault backup: 2025-03-04 12:45:54

Browse source
This commit is contained in:
Marco Realacci 2025-03-04 12:45:54 +01:00
parent 47a34c7a78
commit 67f35fa5ab
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
Concurrent Systems/notes/Lezione2.md
View file

@ -58,7 +58,7 @@ How can pi enter its CS?
![[Pasted image 20250304084537.png]] ![[Pasted image 20250304084537.png]]
![[Pasted image 20250304084901.png]] ![[Pasted image 20250304084901.png]]
(*must finished before nel senso che $p_i$ deve aspettare $p_j$*)
##### Deadlock freedom ##### Deadlock freedom
Let $p_i$ invoke lock Let $p_i$ invoke lock
- If it eventually wins -> √ - If it eventually wins -> √