📄 mailbox.c
字号:
/*
* TOPPERS/JSP Kernel
* Toyohashi Open Platform for Embedded Real-Time Systems/
* Just Standard Profile Kernel
*
* Copyright (C) 2000-2003 by Embedded and Real-Time Systems Laboratory
* Toyohashi Univ. of Technology, JAPAN
*
* 忋婰挊嶌尃幰偼丆埲壓偺 (1)乣(4) 偺忦審偐丆Free Software Foundation
* 偵傛偭偰岞昞偝傟偰偄傞 GNU General Public License 偺 Version 2 偵婰
* 弎偝傟偰偄傞忦審傪枮偨偡応崌偵尷傝丆杮僜僼僩僂僃傾乮杮僜僼僩僂僃傾
* 傪夵曄偟偨傕偺傪娷傓丏埲壓摨偠乯傪巊梡丒暋惢丒夵曄丒嵞攝晍乮埲壓丆
* 棙梡偲屇傇乯偡傞偙偲傪柍彏偱嫋戻偡傞丏
* (1) 杮僜僼僩僂僃傾傪僜乕僗僐乕僪偺宍偱棙梡偡傞応崌偵偼丆忋婰偺挊嶌
* 尃昞帵丆偙偺棙梡忦審偍傛傃壓婰偺柍曐徹婯掕偑丆偦偺傑傑偺宍偱僜乕
* 僗僐乕僪拞偵娷傑傟偰偄傞偙偲丏
* (2) 杮僜僼僩僂僃傾傪丆儔僀僽儔儕宍幃側偳丆懠偺僜僼僩僂僃傾奐敪偵巊
* 梡偱偒傞宍偱嵞攝晍偡傞応崌偵偼丆嵞攝晍偵敽偆僪僉儏儊儞僩乮棙梡
* 幰儅僯儏傾儖側偳乯偵丆忋婰偺挊嶌尃昞帵丆偙偺棙梡忦審偍傛傃壓婰
* 偺柍曐徹婯掕傪宖嵹偡傞偙偲丏
* (3) 杮僜僼僩僂僃傾傪丆婡婍偵慻傒崬傓側偳丆懠偺僜僼僩僂僃傾奐敪偵巊
* 梡偱偒側偄宍偱嵞攝晍偡傞応崌偵偼丆師偺偄偢傟偐偺忦審傪枮偨偡偙
* 偲丏
* (a) 嵞攝晍偵敽偆僪僉儏儊儞僩乮棙梡幰儅僯儏傾儖側偳乯偵丆忋婰偺挊
* 嶌尃昞帵丆偙偺棙梡忦審偍傛傃壓婰偺柍曐徹婯掕傪宖嵹偡傞偙偲丏
* (b) 嵞攝晍偺宍懺傪丆暿偵掕傔傞曽朄偵傛偭偰丆TOPPERS僾儘僕僃僋僩偵
* 曬崘偡傞偙偲丏
* (4) 杮僜僼僩僂僃傾偺棙梡偵傛傝捈愙揑傑偨偼娫愙揑偵惗偠傞偄偐側傞懝
* 奞偐傜傕丆忋婰挊嶌尃幰偍傛傃TOPPERS僾儘僕僃僋僩傪柶愑偡傞偙偲丏
*
* 杮僜僼僩僂僃傾偼丆柍曐徹偱採嫙偝傟偰偄傞傕偺偱偁傞丏忋婰挊嶌尃幰偍
* 傛傃TOPPERS僾儘僕僃僋僩偼丆杮僜僼僩僂僃傾偵娭偟偰丆偦偺揔梡壜擻惈傕
* 娷傔偰丆偄偐側傞曐徹傕峴傢側偄丏傑偨丆杮僜僼僩僂僃傾偺棙梡偵傛傝捈
* 愙揑傑偨偼娫愙揑偵惗偠偨偄偐側傞懝奞偵娭偟偰傕丆偦偺愑擟傪晧傢側偄丏
*
* @(#) $Id: mailbox.c,v 1.8 2003/07/01 13:31:08 hiro Exp $
*/
/*
* 儊乕儖儃僢僋僗婡擻
*/
#include "jsp_kernel.h"
#include "check.h"
#include "task.h"
#include "wait.h"
#include "mailbox.h"
/*
* 儊乕儖儃僢僋僗ID偺嵟戝抣乮kernel_cfg.c乯
*/
extern const ID tmax_mbxid;
/*
* 儊乕儖儃僢僋僗弶婜壔僽儘僢僋偺僄儕傾乮kernel_cfg.c乯
*/
extern const MBXINIB mbxinib_table[];
/*
* 儊乕儖儃僢僋僗娗棟僽儘僢僋偺僄儕傾乮kernel_cfg.c乯
*/
extern MBXCB mbxcb_table[];
/*
* 儊乕儖儃僢僋僗偺悢
*/
#define TNUM_MBX ((UINT)(tmax_mbxid - TMIN_MBXID + 1))
/*
* 儊乕儖儃僢僋僗ID偐傜儊乕儖儃僢僋僗娗棟僽儘僢僋傪庢傝弌偡偨傔偺儅僋儘
*/
#define INDEX_MBX(mbxid) ((UINT)((mbxid) - TMIN_MBXID))
#define get_mbxcb(mbxid) (&(mbxcb_table[INDEX_MBX(mbxid)]))
/*
* 儊乕儖儃僢僋僗懸偪忣曬僽儘僢僋偺掕媊
*/
typedef struct mailbox_waiting_information {
WINFO winfo; /* 昗弨偺懸偪忣曬僽儘僢僋 */
WOBJCB *wobjcb; /* 懸偪僆僽僕僃僋僩偺娗棟僽儘僢僋 */
T_MSG *pk_msg; /* 庴怣偟偨儊僢僙乕僕 */
} WINFO_MBX;
/*
* 儊乕儖儃僢僋僗婡擻偺弶婜壔
*/
#ifdef __mbxini
void
mailbox_initialize()
{
UINT i;
MBXCB *mbxcb;
for (mbxcb = mbxcb_table, i = 0; i < TNUM_MBX; mbxcb++, i++) {
queue_initialize(&(mbxcb->wait_queue));
mbxcb->mbxinib = &(mbxinib_table[i]);
mbxcb->head = NULL;
}
}
#endif /* __mbxini */
/*
* 儊僢僙乕僕桪愭搙偺庢弌偟
*/
#define MSGPRI(pk_msg) (((T_MSG_PRI *) pk_msg)->msgpri)
/*
* 桪愭搙弴儊僢僙乕僕僉儏乕傊偺憓擖
*/
Inline void
enqueue_msg_pri(T_MSG **p_prevmsg_next, T_MSG *pk_msg)
{
T_MSG *pk_nextmsg;
while ((pk_nextmsg = *p_prevmsg_next) != NULL) {
if (MSGPRI(pk_nextmsg) > MSGPRI(pk_msg)) {
break;
}
p_prevmsg_next = &(pk_nextmsg->next);
}
pk_msg->next = pk_nextmsg;
*p_prevmsg_next = pk_msg;
}
/*
* 儊乕儖儃僢僋僗傊偺憲怣
*/
#ifdef __snd_mbx
SYSCALL ER
snd_mbx(ID mbxid, T_MSG *pk_msg)
{
MBXCB *mbxcb;
TCB *tcb;
ER ercd;
LOG_SND_MBX_ENTER(mbxid, pk_msg);
CHECK_TSKCTX_UNL();
CHECK_MBXID(mbxid);
mbxcb = get_mbxcb(mbxid);
CHECK_PAR((mbxcb->mbxinib->mbxatr & TA_MPRI) == 0
|| (TMIN_MPRI <= MSGPRI(pk_msg)
&& MSGPRI(pk_msg) <= mbxcb->mbxinib->maxmpri));
t_lock_cpu();
if (!(queue_empty(&(mbxcb->wait_queue)))) {
tcb = (TCB *) queue_delete_next(&(mbxcb->wait_queue));
((WINFO_MBX *)(tcb->winfo))->pk_msg = pk_msg;
if (wait_complete(tcb)) {
// dispatch(); // Modified by Chen Yi @srf
}
ercd = E_OK;
}
else if ((mbxcb->mbxinib->mbxatr & TA_MPRI) != 0) {
enqueue_msg_pri(&(mbxcb->head), pk_msg);
ercd = E_OK;
}
else {
pk_msg->next = NULL;
if (mbxcb->head != NULL) {
mbxcb->last->next = pk_msg;
}
else {
mbxcb->head = pk_msg;
}
mbxcb->last = pk_msg;
ercd = E_OK;
}
t_unlock_cpu();
exit:
LOG_SND_MBX_LEAVE(ercd);
return(ercd);
}
#endif /* __snd_mbx */
/*
* 儊乕儖儃僢僋僗偐傜偺庴怣
*/
extern void exit_to_dispatch(void);
#ifdef __rcv_mbx
SYSCALL ER
rcv_mbx(ID mbxid, T_MSG **ppk_msg)
{
MBXCB *mbxcb;
WINFO_MBX winfo;
ER ercd;
LOG_RCV_MBX_ENTER(mbxid, ppk_msg);
CHECK_DISPATCH();
CHECK_MBXID(mbxid);
mbxcb = get_mbxcb(mbxid);
t_lock_cpu();
if (mbxcb->head != NULL) {
*ppk_msg = mbxcb->head;
mbxcb->head = (*ppk_msg)->next;
ercd = E_OK;
}
else {
wobj_make_wait((WOBJCB *) mbxcb, (WINFO_WOBJ *) &winfo);
// dispatch();
t_unlock_cpu();
exit_to_dispatch(); // Modified and added by Chen Yi @srf
ercd = winfo.winfo.wercd;
if (ercd == E_OK) {
*ppk_msg = winfo.pk_msg;
}
}
t_unlock_cpu();
exit:
LOG_RCV_MBX_LEAVE(ercd, *ppk_msg);
return(ercd);
}
#endif /* __rcv_mbx */
/*
* 儊乕儖儃僢僋僗偐傜偺庴怣乮億乕儕儞僌乯
*/
#ifdef __prcv_mbx
SYSCALL ER
prcv_mbx(ID mbxid, T_MSG **ppk_msg)
{
MBXCB *mbxcb;
ER ercd;
LOG_PRCV_MBX_ENTER(mbxid, ppk_msg);
CHECK_TSKCTX_UNL();
CHECK_MBXID(mbxid);
mbxcb = get_mbxcb(mbxid);
t_lock_cpu();
if (mbxcb->head != NULL) {
*ppk_msg = mbxcb->head;
mbxcb->head = (*ppk_msg)->next;
ercd = E_OK;
}
else {
ercd = E_TMOUT;
}
t_unlock_cpu();
exit:
LOG_PRCV_MBX_LEAVE(ercd, *ppk_msg);
return(ercd);
}
#endif /* __prcv_mbx */
/*
* 儊乕儖儃僢僋僗偐傜偺庴怣乮僞僀儉傾僂僩偁傝乯
*/
#ifdef __trcv_mbx
SYSCALL ER
trcv_mbx(ID mbxid, T_MSG **ppk_msg, TMO tmout)
{
MBXCB *mbxcb;
WINFO_MBX winfo;
TMEVTB tmevtb;
ER ercd;
LOG_TRCV_MBX_ENTER(mbxid, ppk_msg, tmout);
CHECK_DISPATCH();
CHECK_MBXID(mbxid);
CHECK_TMOUT(tmout);
mbxcb = get_mbxcb(mbxid);
t_lock_cpu();
if (mbxcb->head != NULL) {
*ppk_msg = mbxcb->head;
mbxcb->head = (*ppk_msg)->next;
ercd = E_OK;
}
else if (tmout == TMO_POL) {
ercd = E_TMOUT;
}
else {
wobj_make_wait_tmout((WOBJCB *) mbxcb, (WINFO_WOBJ *) &winfo,
&tmevtb, tmout);
//dispatch();
t_unlock_cpu();
exit_to_dispatch(); // Modified by Chen Yi @srf
ercd = winfo.winfo.wercd;
if (ercd == E_OK) {
*ppk_msg = winfo.pk_msg;
}
}
t_unlock_cpu();
exit:
LOG_TRCV_MBX_LEAVE(ercd, *ppk_msg);
return(ercd);
}
#endif /* __trcv_mbx */
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -