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

vault backup: 2025-03-17 10:24:23

Browse source
This commit is contained in:
Marco Realacci 2025-03-17 10:24:23 +01:00
parent 29465e9a2c
commit 9772a79c93
3 changed files with 20 additions and 13 deletions
Download patch file Download diff file Expand all files Collapse all files

3
Concurrent Systems/notes/4c - Dining Philosophers.md
View file

@ -95,4 +95,5 @@ test(i) :=
&& state[i] == hungry) then
state[i] = eating;
self[i].signal();
```
```
N.B.: pickup picks both forks simultaneously