https://github.com/mushigarou/philosophers
The dining philosopher's problem was solved using mutexes in the C Language.
https://github.com/mushigarou/philosophers
c-language-programming concurrent-programming multithreading mutex-synchronisation parallel-programming philosophers-dinner-problem
Last synced: 3 months ago
JSON representation
The dining philosopher's problem was solved using mutexes in the C Language.
- Host: GitHub
- URL: https://github.com/mushigarou/philosophers
- Owner: Mushigarou
- License: mit
- Created: 2023-04-28T19:22:57.000Z (about 2 years ago)
- Default Branch: main
- Last Pushed: 2023-06-05T10:31:25.000Z (about 2 years ago)
- Last Synced: 2025-02-15T08:20:56.264Z (4 months ago)
- Topics: c-language-programming, concurrent-programming, multithreading, mutex-synchronisation, parallel-programming, philosophers-dinner-problem
- Language: C
- Homepage:
- Size: 45.9 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# The dining philosopher's problem
## Overview :
- One or more philosophers sit at a round table.
There is a large bowl of spaghetti in the middle of the table.
- The philosophers alternatively eat, think, or sleep.
While they are eating, they are not thinking nor sleeping;
while thinking, they are not eating nor sleeping;
and, of course, while sleeping, they are not eating nor thinking.
- There are also forks on the table. There are as many forks as philosophers.
- Because serving and eating spaghetti with only one fork is very inconvenient, a
philosopher takes their right and their left forks to eat, one in each hand.
- When a philosopher has finished eating, they put their forks back on the table and
start sleeping. Once awake, they start thinking again. The simulation stops when
a philosopher dies of starvation.
- Every philosopher needs to eat and should never starve.
- Philosophers don’t speak with each other.
- Philosophers don’t know if another philosopher is about to die.
## Usage :
```
$> git clone https://github.com/Mushigarou/Philosophers.git
$> cd Philosophers
$> make
$./philo 5 800 200 200
```
## Rules :
The program should take the following arguments:
```
$> ./philo number_of_philosophers time_to_die time_to_eat time_to_sleep [number_of_times_each_philosopher_must_eat]
```
- number_of_philosophers: The number of philosophers and also the number
of forks.
- time_to_die (in milliseconds): If a philosopher didn’t start eating time_to_die
milliseconds since the beginning of their last meal or the beginning of the sim-
ulation, they die.
- time_to_eat (in milliseconds): The time it takes for a philosopher to eat.
During that time, they will need to hold two forks.
- time_to_sleep (in milliseconds): The time a philosopher will spend sleeping.
- number_of_times_each_philosopher_must_eat (optional argument): If all
philosophers have eaten at least number_of_times_each_philosopher_must_eat
times, the simulation stops. If not specified, the simulation stops when a
philosopher dies.
- Each philosopher has a number ranging from 1 to number_of_philosophers.
- Philosopher number 1 sits next to philosopher number number_of_philosophers.
Any other philosopher number N sits between philosopher number N - 1 and philoso-
pher number N + 1.
- A message announcing a philosopher died should be displayed no more than 10 ms
after the actual death of the philosopher.
## Contributing
Contributions to this project are welcome! If you find any issues or have improvements to suggest, please feel free to submit a pull request.
## License
This project is licensed under the MIT license