view dpp3.h @ 11:190dadd8405b

Format indent
author anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
date Tue, 02 Jul 2019 19:52:09 +0900
parents a15437a1e94c
children
line wrap: on
line source

#ifndef _DPP3_H_
#define _DPP3_H_

#include "dpp_common.h"
#include "queue.h"
#include "scheduler.h"

extern __code putdown_fork(PhilsPtr self, TaskPtr current_task);
extern __code putdown_lfork(PhilsPtr self, TaskPtr current_task);
extern __code putdown_rfork(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 eating(PhilsPtr self, TaskPtr current_task);
extern __code hungry2(PhilsPtr self, TaskPtr current_task);
extern __code hungry1(PhilsPtr self, TaskPtr current_task);
extern __code thinking(PhilsPtr self, TaskPtr current_task);

#endif