#ifndef _DPP2_H_
#define _DPP2_H_

#include "dpp_common.h"

struct task;
typedef struct phils {
    int id;
    struct fork *right_fork;
    struct fork *left_fork;
    struct phils *right;
    struct phils *left;
    __code (*next)(struct phils *, struct task *);
} Phils, *PhilsPtr;

typedef struct fork {
    int id;
    struct phils *owner;
} Fork, *ForkPtr;

typedef struct task {
    struct task *next;
    struct phils *phils;
} Task, *TaskPtr;


extern __code putdown_lfork(PhilsPtr self, TaskPtr current_task);
extern __code putdown_rfork(PhilsPtr self, TaskPtr current_task);
extern __code eating(PhilsPtr self, TaskPtr current_task);
extern __code hungry2(PhilsPtr self, TaskPtr current_task);
extern __code hungry1(PhilsPtr self, TaskPtr current_task);
extern __code pickup_rfork(PhilsPtr self, TaskPtr current_task);
extern __code pickup_lfork(PhilsPtr self, TaskPtr current_task);
extern __code thinking(PhilsPtr self, TaskPtr current_task);
extern __code die(char *err);
extern __code init_fork2(PhilsPtr self, int count, int id);

#endif