|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| n | Each
philosopher is a |
|||||||||||||||
| process |
||||||||||||||||
| n | One semaphore
per |
|||||||||||||||
| fork: |
||||||||||||||||
| u | fork: array[0..4]
of |
|||||||||||||||
| semaphores |
||||||||||||||||
| u | Initialization: |
|||||||||||||||
| fork[i].count:=1
for |
||||||||||||||||
| i:=0..4 |
||||||||||||||||
| n | A first
attempt: |
|||||||||||||||
| n | Deadlock if
each |
|||||||||||||||
| philosopher
start by |
||||||||||||||||
| picking his
left fork! |
||||||||||||||||
