/* philosophers.c	dining philosophers using semaphores */
#include <signal.h>
#include <sys/types.h>
#include <sys/ipc.h>
#include <signal.h>
#include <stdlib.h>
#include <unistd.h>
#include <stdio.h>
#include <pthread.h>
#include "sem_ops.h"
#define Philosophers 5

int frk[Philosophers], room; /* ids for the semaphores */

void cleanup( void ) {    /* removes semaphores */
  int i;

  rm_sem( room );
  for( i=0; i<Philosophers; i++ )
    rm_sem( frk[i] );
  printf( "end of cleanup\n" );
  exit(1);
}

void set_up_room( void ) { /* get the id's for the semaphores */
  int i;

  for( i=0; i<Philosophers; i++ )
    frk[i] = semtran( IPC_PRIVATE );
  room = semtran( IPC_PRIVATE );
}

void *phil( void * arg ) { /* function for each philosopher */
  int *me, j;

  me = (int *) arg;

  for( j=0; j<3; j++ ) {
    P( room );		/* enter the room */
    P( frk[*me] );		/* acquire the */
    P( frk[(*me+1) % Philosophers] );  /* forks */

    printf( "Philosopher %d Eating !!\n", *me );
    srand( (int)time( NULL ) ); /* eat for between */
    sleep((rand() % 15) + 2);   /* 2 and 16 seconds */
    printf( "Philosopher %d Thinking!!\n", *me );

    V( frk[*me] );		/* release the forks */
    V( frk[(*me+1) % Philosophers] );
    V( room );		/* leave the room */
    sleep(rand() % 20); /* think for between 0 and 19 seconds */
  }
  pthread_exit( NULL );
}

int main( void ) {
  int i;
  pthread_t tid[Philosophers];
  int id[Philosophers];
 
  set_up_room();                   
  for( i=0; i<Philosophers-1; i++)  /* initialize room to 4 */
    V( room );
  for( i=0; i<Philosophers; i++ ) /* initialize each fork to 1 */
    V( frk[i] );
        
  for( i=0; i<Philosophers; i++ ) /* set up philosopher ids */
    id[i] = i;
  for( i=0; i<Philosophers; i++ )
    pthread_create( &tid[i], NULL, phil, (void *) &id[i] );
  for( i=0; i<Philosophers; i++ )
    pthread_join( tid[i], NULL );
  cleanup();
  return 0;
}