Приведен алгоритм решения, нужно довести его до рабочего состояния

#define N       5       /* количество философов */
#define LEFT        (i+N-1) %N     /* номер левого соседа для i-го философа */
#define RIGHT       (i+1) %N       /* номер правого соседа для i-го философа */
#define THINKING    0       /* философ размышляет */
#define HUNGRY      1       /* философ пытается взять вилки */
#define EATING      2       /* философ ест спагетти */
 
typedef int semaphore;              
 
int state[N];               /* массив для отслеживания состояния каждого     философа*/
semaphore mutex = 1;                /* взаимное исключение входа в критическую  область*/
semaphore s[N];             /* по одному семафору на каждого философа*/
 
void philosopher(int 1)     /* i - номер философа (от 0 до N-1) */
{
    while (TRUE) {          /* бесконечный цикл */
        think ();       /* философ размышляет */
        take_forks(i);      /* берет две вилки или блокируется */
        eat();          /* ест спагетти */
        put_forks(i);       /* кладет обе вилки на стол */
    }
}
 
void take_forks(int i)          /* i - номер философа (от 0 до N-1) */
{
    down(& mutex);          /* вход в критическую область */
    state[i] = HUNGRY;      /* философ стремится поесть */
 
    test(i);            /* попытка взять две вилки */
    up(& mutex);            /* выход из критической области */
    down(& s[i]);           /* блокирование, если вилки взять не удалось */
}
 
void put_forks(i)           /* i - номер философа (от 0 до N-1) */
{
    down(& mutex);          /* вход в критическую область */
    state[i] = THINKING;        /* философ наелся */
    test(LEFT);         /* проверка готовности к еде соседа слева */
 
    test(RIGHT);            /* проверка готовности к еде соседа справа */
    up(& mutex);            /* выход из критической области */
}
 
void test(i)                /* i - номер философа (от 0 до N-1) */
{
    if (state[i] == HUNGRY && state[LEFT] != EATING && state[RIGHT] != EATING)
    {
        state[i] = EATING;
        up(&s[i]);
    }
}