Calvin42: Created page with "Cinque filosofi passano la loro vita a pensare e a mangiare (alternativamente). Per mangiare fanno uso di una tavola rotonda con 5 sedie, 5 piatti e 5 posate fra i piatti per ..."

2015-02-28T13:34:08Z

Created page with "Cinque filosofi passano la loro vita a pensare e a mangiare (alternativamente). Per mangiare fanno uso di una tavola rotonda con 5 sedie, 5 piatti e 5 posate fra i piatti per ..."

New page

Cinque filosofi passano la loro vita a pensare e a mangiare (alternativamente). Per mangiare fanno uso di una tavola rotonda con 5 sedie, 5 piatti e 5 posate fra i piatti per mangiare. Un filosofo, per mangiare, ha bisogno di entrambe le posate (destra/sinistra). Per pensare, lascia le posate dove le ha prese. Dato che prediligono gli spaghetti e che gli spaghetti non si mangiano con due forchette, utilizzeranno un paio di bacchette, ma il concetto rimane lo stesso.
Il problema dei filosofi mostra come gestire situazioni in cui i processi entrano in competizione per accedere ad insiemi di risorse a intersezione non nulla.

==Implementazione==
Ho utilizzato la libreria "semaphore.h" per gestire i semafori.

<source lang="c">
#include <stdio.h>
#include <stdlib.h>
#include <semaphore.h>
#include <unistd.h>

sem_t chopstick[5];

void dining(int i)
{
pid_t pid=fork();
if (pid==-1)
exit(2);
if (pid)
{
printf("Sono il %d figlio di %i!\n\n\n", i, getppid());
// while(1)
{
printf("%d sta pensando...\n", getpid());
sem_wait(&(chopstick[i]));
sem_wait(&(chopstick[(i+1)%5]));
printf("%d sta mangiando...\n", getpid());
sem_post(&(chopstick[i]));
sem_post(&(chopstick[(i+1)%5]));
}

}
else /* processo figlio */
if((i+1)!=5)
{
dining(i+1);
}
else /* Non ci sono filosofi rimanenti */
{
printf("Hanno pensato e mangiato tutti!\n");
return;
}
return;

}

int main(int argc, char* argv[])
{
pid_t pid;
int i;
/* Inizializzo i semafori
* il primo parametro e' l'indirizzo del semaforo
* il secondo e' 0 se si utilizzano i thread, altrimenti processo
* il terzo e' il valore iniziale
*/
for(i=0; i<5; i++)
sem_init(&(chopstick[i]), 1, 1);

i=1; /*i diventa 1 perche' il primo filosofo lo faccio mangiare subito */

pid=fork();

if(pid==-1)
{
exit(2);//errore
}
else
if (pid)
{
/* Per rompere la simmetria faccio mangiare per primo un filosofo
* in questo caso il filosofo 0
*/
printf("Sono %d, il padre di tutti!\\n\n\n", getpid());
// while(1)
{
printf("%d sta pensando...\n", getpid());
sem_wait(&(chopstick[1]));
sem_wait(&(chopstick[0]));
printf("%d sta mangiando...\n", getpid());
sem_post(&(chopstick[1]));
sem_post(&(chopstick[0]));
}
}
else /* Primo processo figlio */
{
printf("Padre: %d\n\n", getppid());
dining(i);
}

return 0;
}
</source>

== Commenti ==
Ho rimosso il while(1) per evitare che il programma andasse in loop, quindi il problema viene risolto una sola volta. Ho effettivamente scritto un programma che ricorsivamente crea dei processi '''fratelli''', e non figli, del primo processo '''figlio''', come si puo' vedere dall'output.

[[File:Output_filosofi_c.png|300 px]]

Problema Dei Filosofi - Revision history

Calvin42: Created page with "Cinque filosofi passano la loro vita a pensare e a mangiare (alternativamente). Per mangiare fanno uso di una tavola rotonda con 5 sedie, 5 piatti e 5 posate fra i piatti per ..."