/* David A. Hess CS382 Dining Philosophers */

#include <stdio.h>
#include <stdlib.h>
#include <fcntl.h>
#include <sys/stat.h>
#include </usr/sys/sys/types.h>
#include </usr/sys/sys/ipc.h>
#include </usr/sys/sys/sem.h>
#include <errno.h>


extern int errno;

#define SEMPERM 0600

char *phil_pkup_lt,*phil_pkup_rt,*phil_ptdn_lt,*phil_ptdn_rt;
char *phil_think,*phil_sit,*phil_eat;

initsem();
p();
v();


int initsem(semkey,semvalue)
  key_t semkey;
  int *semvalue;
{
  int status = 0, semid;
	
  if((semid = semget(semkey,1,SEMPERM|IPC_CREAT|IPC_EXCL))==-1) {
    if(errno == EEXIST)
      semid = semget(semkey,1,0);
  }else
    status = semctl(semid,0,SETVAL,semvalue);
  if(semid == -1 || status == -1) {
    perror("initsem failed");
    return(-1);
  }else
    return semid;
}

int p(semid)
  int semid;
{
  struct sembuf p_buf;

  p_buf.sem_num = 0;
  p_buf.sem_op = -1;
  p_buf.sem_flg = SEM_UNDO;

  if(semop(semid, &p_buf, 1) == -1) {
    perror("p(semid) failed");
    exit(1);
  }else
    return(0);
}

int v(semid)
  int semid;
{
  struct sembuf v_buf;

  v_buf.sem_num = 0;
  v_buf.sem_op = 1;
  v_buf.sem_flg = SEM_UNDO;
	
  if(semop(semid, &v_buf, 1) == -1) {
    perror("v(semid) failed");
    exit(1);
  }else
		return(0);
}

 close(Cmnd[1]);
	if(fstat(Sensors[0],&x) == -1) perror("fstat Sensors\n");
	if(x.st_size > 2)
struct stat x;
read(Cntl[0],code,1);
 write(Sensors[1],sensor,1);

main()
{
  int frk[5], room, i;
  key_t semkey = 0x200;
  int phil0id,phil1id,phil2id,phil3id,phil4id,retval;
  int semvalue = 1;

  if(pipe(Prnt) < 0)
    perror("pipe Cntl fail");

  for(i=0;i<5;i++) {
    if((frk[i] = initsem(semkey,&semvalue)) < 0) {
      printf("Error initializing frk[%d] semaphore\n",i);
      exit(1);
    }
    printf("frk[%d] initialized to semid %d\n",i,frk[i]);
    retval = semctl(frk[i],0,GETVAL,semvalue);
    printf("frk[%d] initialized to semvalue %d\n",i,retval);
    semkey += 0x010;
  }
  semvalue = 4;
  if((room = initsem(semkey,&semvalue)) < 0) {
    printf("Error initializing room semaphore\n");
    exit(1);
  }else
    printf("room initialized to semid %d\n",room);
    retval = semctl(room,0,GETVAL,semvalue);
    printf("room initialized to semvalue %d\n",retval);

  if((phil0id = fork()) < 0) {
    perror("phil 0 failed\n");
    exit(1);
  }else if(phil0id == 0) {
    phil_pkup_lt = "philosopher_1_has_left_fork";
    phil_pkup_rt = "philosopher_1_has_right_fork";
    phil_ptdn_lt = "philosopher_1_put_down_left_fork";
    phil_ptdn_rt = "philosopher_1_put_down_right_fork";
    phil_sit = "philosopher_1_in_seat";
    phil_eat = "philosopher_1_is_eating";
    phil_think = "philosopher_1_is_thinking";
    philosopher(0,frk,room);
  }else if((phil1id = fork()) < 0) {
    perror("phil 1 failed\n");
    exit(1);
  }else if(phil1id == 0) {
    phil_pkup_lt = "philosopher_2_has_left_fork";
    phil_pkup_rt = "philosopher_2_has_right_fork";
    phil_ptdn_lt = "philosopher_2_put_down_left_fork";
    phil_ptdn_rt = "philosopher_2_put_down_right_fork";
    phil_sit = "philosopher_2_in_seat";
    phil_eat = "philosopher_2_is_eating";
    phil_think = "philosopher_2_is_thinking";
    philosopher(1,frk,room);
  }else if((phil2id = fork()) < 0) {
    perror("phil 2 failed\n");
    exit(1);
  }else if(phil2id == 0) {
    phil_pkup_lt = "philosopher_3_has_left_fork";
    phil_pkup_rt = "philosopher_3_has_right_fork";
    phil_ptdn_lt = "philosopher_3_put_down_left_fork";
    phil_ptdn_rt = "philosopher_3_put_down_right_fork";
    phil_sit = "philosopher_3_in_seat";
    phil_eat = "philosopher_3_is_eating";
    phil_think = "philosopher_3_is_thinking";
    philosopher(2,frk,room);
  }else if((phil3id = fork()) < 0) {
    perror("phil 3 failed\n");
    exit(1);
  }else if(phil3id == 0) {
    phil_pkup_lt = "philosopher_4_has_left_fork";
    phil_pkup_rt = "philosopher_4_has_right_fork";
    phil_ptdn_lt = "philosopher_4_put_down_left_fork";
    phil_ptdn_rt = "philosopher_4_put_down_right_fork";
    phil_sit = "philosopher_4_in_seat";
    phil_eat = "philosopher_4_is_eating";
    phil_think = "philosopher_4_is_thinking";
    philosopher(3,frk,room);
  }else if((phil4id = fork()) < 0) {
    perror("phil 4 failed\n");
    exit(1);
  }else if(phil4id == 0) {
    phil_pkup_lt = "philosopher_5_has_left_fork";
    phil_pkup_rt = "philosopher_5_has_right_fork";
    phil_ptdn_lt = "philosopher_5_put_down_left_fork";
    phil_ptdn_rt = "philosopher_5_put_down_right_fork";
    phil_sit = "philosopher_5_in_seat";
    phil_eat = "philosopher_5_is_eating";
    phil_think = "philosopher_5_is_thinking";
    philosopher(4,frk,room);
  }else {
    wait(0);
    printf("Time to stop. Now killing semaphores.\n");
    retval = semctl(room,0,IPC_RMID,4);
    for(i=0;i<5;i++)
      retval = semctl(frk[i],0,IPC_RMID,1);
  }
  exit(0);
}

int philosopher(i,frk,room)
  int i, frk[], room;
{
  int j,retval;
  int *semvalue;

  for(j=0;j<4;j++) {
    fprintf(stderr,"%s\n",phil_think);
    sleep(1);
    p(room);
    fprintf(stderr,"%s\n",phil_sit);
  retval = semctl(room,0,GETVAL,semvalue);
  fprintf(stderr,"room semvalue %d\n",retval);
/*    sleep(1); */
    p(frk[i]);
    fprintf(stderr,"%s\n",phil_pkup_lt);
  retval = semctl(frk[i],0,GETVAL,semvalue);
  fprintf(stderr,"frk[%d] semid %d semvalue %d\n",i,frk[i],retval);
/*    sleep(1); */
    p(frk[(i+1)%5]);
    fprintf(stderr,"%s\n",phil_pkup_rt);
  retval = semctl(frk[(i+1)%5],0,GETVAL,semvalue);
  fprintf(stderr,"frk[%d] semid %d semvalue %d\n",((i+1)%5),frk[(i+1)%5],retval);
    fprintf(stderr,"%s\n",phil_eat);
    sleep(2);
    v(frk[(i+1)%5]);
    fprintf(stderr,"%s\n",phil_ptdn_rt);
  retval = semctl(frk[(i+1)%5],0,GETVAL,semvalue);
  fprintf(stderr,"frk[%d] semid %d semvalue %d\n",((i+1)%5),frk[(i+1)%5],retval);
/*    sleep(1); */
    v(frk[i]);
    fprintf(stderr,"%s\n",phil_ptdn_lt);
  retval = semctl(frk[i],0,GETVAL,semvalue);
  fprintf(stderr,"frk[%d] semid %d semvalue %d\n",i,frk[i],retval);
    v(room);
  retval = semctl(room,0,GETVAL,semvalue);
  fprintf(stderr,"room semvalue %d\n",retval);
/*    sleep(1); */
  }
  exit(0);
}