view dpp3.h @ 12:7f2db1e1bf2f default tip

use CBC_COMPILER environment val
author anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
date Thu, 04 Jul 2019 18:53:38 +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