Skip to content

๐Ÿง This project is about learning how threads work by precisely timing a group of philosophers on when to pick up forks and eat spaghetti without dying from hunger. ๐Ÿ‘พ

License

Notifications You must be signed in to change notification settings

alexhiguera/Philosophers

Folders and files

NameName
Last commit message
Last commit date

Latest commit

ย 

History

19 Commits
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 

Repository files navigation

โ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ•— โ–ˆโ–ˆโ•—  โ–ˆโ–ˆโ•—โ–ˆโ–ˆโ•—โ–ˆโ–ˆโ•—      โ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ•— โ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ•— โ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ•— โ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ•— โ–ˆโ–ˆโ•—  โ–ˆโ–ˆโ•—โ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ•—โ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ•— โ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ•—
โ–ˆโ–ˆโ•”โ•โ•โ–ˆโ–ˆโ•—โ–ˆโ–ˆโ•‘  โ–ˆโ–ˆโ•‘โ–ˆโ–ˆโ•‘โ–ˆโ–ˆโ•‘     โ–ˆโ–ˆโ•”โ•โ•โ•โ–ˆโ–ˆโ•—โ–ˆโ–ˆโ•”โ•โ•โ•โ•โ•โ–ˆโ–ˆโ•”โ•โ•โ•โ–ˆโ–ˆโ•—โ–ˆโ–ˆโ•”โ•โ•โ–ˆโ–ˆโ•—โ–ˆโ–ˆโ•‘  โ–ˆโ–ˆโ•‘โ–ˆโ–ˆโ•”โ•โ•โ•โ•โ•โ–ˆโ–ˆโ•”โ•โ•โ–ˆโ–ˆโ•—โ–ˆโ–ˆโ•”โ•โ•โ•โ•โ•
โ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ•”โ•โ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ•‘โ–ˆโ–ˆโ•‘โ–ˆโ–ˆโ•‘     โ–ˆโ–ˆโ•‘   โ–ˆโ–ˆโ•‘โ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ•—โ–ˆโ–ˆโ•‘   โ–ˆโ–ˆโ•‘โ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ•”โ•โ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ•‘โ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ•—  โ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ•”โ•โ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ•—
โ–ˆโ–ˆโ•”โ•โ•โ•โ• โ–ˆโ–ˆโ•”โ•โ•โ–ˆโ–ˆโ•‘โ–ˆโ–ˆโ•‘โ–ˆโ–ˆโ•‘     โ–ˆโ–ˆโ•‘   โ–ˆโ–ˆโ•‘โ•šโ•โ•โ•โ•โ–ˆโ–ˆโ•‘โ–ˆโ–ˆโ•‘   โ–ˆโ–ˆโ•‘โ–ˆโ–ˆโ•”โ•โ•โ•โ• โ–ˆโ–ˆโ•”โ•โ•โ–ˆโ–ˆโ•‘โ–ˆโ–ˆโ•”โ•โ•โ•  โ–ˆโ–ˆโ•”โ•โ•โ–ˆโ–ˆโ•—โ•šโ•โ•โ•โ•โ–ˆโ–ˆโ•‘
โ–ˆโ–ˆโ•‘     โ–ˆโ–ˆโ•‘  โ–ˆโ–ˆโ•‘โ–ˆโ–ˆโ•‘โ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ•—โ•šโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ•”โ•โ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ•‘โ•šโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ•”โ•โ–ˆโ–ˆโ•‘     โ–ˆโ–ˆโ•‘  โ–ˆโ–ˆโ•‘โ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ•—โ–ˆโ–ˆโ•‘  โ–ˆโ–ˆโ•‘โ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ•‘
โ•šโ•โ•     โ•šโ•โ•  โ•šโ•โ•โ•šโ•โ•โ•šโ•โ•โ•โ•โ•โ•โ• โ•šโ•โ•โ•โ•โ•โ• โ•šโ•โ•โ•โ•โ•โ•โ• โ•šโ•โ•โ•โ•โ•โ• โ•šโ•โ•     โ•šโ•โ•  โ•šโ•โ•โ•šโ•โ•โ•โ•โ•โ•โ•โ•šโ•โ•  โ•šโ•โ•โ•šโ•โ•โ•โ•โ•โ•

Philosophers ๐Ÿง

This project involves implementing the solution to the classical Dining Philosophers problem using the C programming language. The problem revolves around a scenario where multiple philosophers are seated around a round table. Each philosopher alternates between two states: thinking and eating. However, to eat, a philosopher needs two forks, one to their left and one to their right.

The challenge lies in preventing both starvation ๐Ÿ˜ตโ€๐Ÿ’ซ and deadlock ๐Ÿ’€ among the philosophers simultaneously. This requires employing techniques of concurrency and process synchronization to ensure that each philosopher can eat without interrupting their neighbors and without incurring race conditions.

Project Description ๐Ÿ“–

This project is designed to explore advanced concepts of programming in C, such as threads ๐Ÿงต, semaphores ๐Ÿšฆ, or mutexes ๐Ÿ‘ฎ, as well as to comprehend the challenges associated with concurrency and process synchronization in operating systems.

Usage ๐ŸคŸ

Clone this repository to your local machine.

git clone git@github.com:alexhiguera/Philosophers.git

Easy mode Compilation and execute automatically

make play

Good mode Set all parameters

make <num_philos> <time_to_die> <time_to_eat> <time_to_sleep> <num_of_times_each_philos_must_eat>

example:

make 3 1000 10 10 100

Rules ๐Ÿ“•

๐Ÿฝ๏ธ Philosophers' States

Each philosopher can be in one of the following three states: ๐Ÿค” Thinking: The philosopher is pondering without attempting to eat. ๐Ÿด Hungry: The philosopher has decided to eat and is waiting to get the forks. ๐Ÿฒ Eating: The philosopher is using the forks and eating.

๐Ÿด Use of Forks

Each philosopher requires two forks to start eating. Forks are arranged around the table, and each philosopher has one fork to their left and one to their right. A philosopher must acquire both adjacent forks to begin eating.

๐Ÿ”’ Synchronization

Synchronization mechanisms, such as mutexes or semaphores, are used to prevent race conditions and ensure mutual exclusion. Rules are implemented to allow philosophers to acquire forks and start eating without causing deadlocks or starvation of other philosophers.

๐Ÿ Race Conditions

Race conditions are avoided by coordinating philosophers' access to forks and ensuring that only one philosopher can eat at a time.

โณ Starvation

Measures are taken to prevent philosophers from starving, ensuring that they all have fair opportunities to eat and are not indefinitely stuck waiting for forks. These rules provide a framework for understanding the logic and operation of the program. For more details on the specific implementation, please refer to the source code and comments in the project.

About

๐Ÿง This project is about learning how threads work by precisely timing a group of philosophers on when to pick up forks and eat spaghetti without dying from hunger. ๐Ÿ‘พ

Topics

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published