#include <stdio.h>
#include <pthread.h>
#define RIT 10000000
// problema dei 5 filosofi
void *filosofo(void* arg);
void penso(int i);
void mangio(int i);
void prendo_forchette(int i);
void test(int i);
void rilascio_forchette(int i);
pthread_t TID[5];
pthread_mutex_t mutex;      // Semaforo per la variabile stato
pthread_mutex_t s[5];       // Array di semafori, uno per forchetta
char stato[5] = {'P','P','P','P','P'};

main(){
  int i;
  
  printf("\n\tPROBLEMA DEI 5 FILOSOFI\n\n\n");
  for(i=0;i<5;i++){  pthread_create(&TID[i], NULL, filosofo, (int *)i);  }
  for(i=0;i<5;i++){  pthread_join(TID[i], NULL);  }
}
void *filosofo(void* arg){
  int i = (int)arg;
  
  while(1){
    penso(i);
    prendo_forchette(i);
    //mangio(i);                          // Deve mangiare solo se test è OK
    rilascio_forchette(i);
  }
}
void penso(int i){
  int k;

  printf(" Filosofo %d PENSA\n",i+1);	
  for(k=0;k<RIT+i*RIT*0.1;k++);           // Ritardo
}
void mangio(int i){
  int k;

  printf(" Filosofo %d MANGIA\n",i+1);
  for(k=0;k<RIT+i*RIT*0.15;k++);          // Ritardo
}
void prendo_forchette(int i){
  pthread_mutex_lock(&mutex);             // Down su mutex
  stato[i]='A';
  test(i);
  pthread_mutex_unlock(&mutex);           // Up su mutex
  pthread_mutex_lock(&s[i]);              // Down su s[i]
}
void rilascio_forchette(int i){
  int sx,dx;
  
  sx = (i-1)%5;
  if (sx==-1) sx = 4;
  dx = (i+1)%5;		
  pthread_mutex_lock(&mutex);             // Down su mutex
  stato[i]='P';
  test(sx);                               // Controlla se i vicini sono affamati
  test(dx);
  pthread_mutex_unlock(&mutex);           // Up su mutex
}
void test(int i)
{
  int k,sx,dx;
  
  sx = (i-1)%5;
  if (sx==-1) sx = 4;
  dx = (i+1)%5;		
  printf("\t   i = %d: ",i+1);
  for(k=0;k<5;k++){
    printf("Filos. %d = %c  ",k+1,stato[k]);
  } 
  printf("\n");

  if(stato[i]=='A' && stato[sx] !='M' && stato[dx] !='M'){
    stato[i]='M';
    pthread_mutex_unlock(&s[i]);          // Up su s[i]

    printf("\tOK i = %d: ",i+1);
    for(k=0;k<5;k++){
      printf("Filos. %d = %c  ",k+1,*(stato+k));
    } 
    printf("\n");

    mangio(i);  
  }
}