https://github.com/datosh/philosophen
https://github.com/datosh/philosophen
Last synced: 25 days ago
JSON representation
- Host: GitHub
- URL: https://github.com/datosh/philosophen
- Owner: datosh
- Created: 2015-03-24T14:34:16.000Z (about 10 years ago)
- Default Branch: master
- Last Pushed: 2015-03-24T14:39:25.000Z (about 10 years ago)
- Last Synced: 2023-08-12T14:46:05.964Z (almost 2 years ago)
- Language: Python
- Size: 293 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
Implemented the 'Dining philosophers problem'.
The output from exercise 2a shows that a single fork is picked up by two philosophers at the same time:
{0: 0, 1: 0, 2: 0, 3: 0, 4: 0}
{0: 0, 1: 0, 2: 0, 3: 0, 4: 0}
{0: 0, 1: 0, 2: 0, 3: 0, 4: 0}
{0: 0, 1: 0, 2: 0, 3: 0, 4: 0}
{0: 0, 1: 0, 2: 0, 3: 0, 4: 0}
{0: 0, 1: 0, 2: 1, 3: 0, 4: 0}
{0: 0, 1: 0, 2: 1, 3: 0, 4: 1}
{0: 1, 1: 0, 2: 1, 3: 1, 4: 1}
{0: 1, 1: 1, 2: 1, 3: 1, 4: 1}
{0: 1, 1: 1, 2: 1, 3: 1, 4: 1}
{0: 1, 1: 1, 2: 1, 3: 2, 4: 1}
Fork three was picked up twice! This can't be right!
The output from exercise 2b shows that all philosophers pick up there right fork, and then cant pick up the left one, since every fork is already used:
Thread Thread-5 took fork: 4, next pick up fork: 0
Thread Thread-1 took fork: 0, next pick up fork: 1
{0: 1, 1: 0, 2: 0, 3: 0, 4: 1}
Thread Thread-3 took fork: 2, next pick up fork: 3
Thread Thread-4 took fork: 3, next pick up fork: 4
{0: 1, 1: 0, 2: 1, 3: 1, 4: 1}
Thread Thread-2 took fork: 1, next pick up fork: 2
{0: 1, 1: 1, 2: 1, 3: 1, 4: 1}
{0: 1, 1: 1, 2: 1, 3: 1, 4: 1}
{0: 1, 1: 1, 2: 1, 3: 1, 4: 1}
The critical sections use a sleep (line 67 in a.py & line 50 in b.py), such that the error is triggered more frequently