source: azure_iot_hub/trunk/asp3_dcre/kernel/task_refer.c@ 388

/*
 *  TOPPERS/ASP Kernel
 *      Toyohashi Open Platform for Embedded Real-Time Systems/
 *      Advanced Standard Profile Kernel
 * 
 *  Copyright (C) 2005-2014 by Embedded and Real-Time Systems Laboratory
 *              Graduate School of Information Science, Nagoya Univ., JAPAN
 * 
 *  上記著作権者
は，以下の(1)～(4)ã®æ¡ä»¶ã‚’æº€ãŸã™å ´åˆã«é™ã‚Šï¼Œæœ¬ã‚½ãƒ•ãƒˆã‚¦ã‚§
 *  ア（本ソフトウェアを改変したものを含む．以下同じ）を使用・複製・改
 *  変・再é…
å¸ƒï¼ˆä»¥ä¸‹ï¼Œåˆ©ç”¨ã¨å‘¼ã¶ï¼‰ã™ã‚‹ã“とを無償で許諾する．
 *  (1) æœ¬ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ã‚’ã‚½ãƒ¼ã‚¹ã‚³ãƒ¼ãƒ‰ã®å½¢ã§åˆ©ç”¨ã™ã‚‹å ´åˆã«ã¯ï¼Œä¸Šè¨˜ã®è‘—ä½œ
 *      権表示，この利用条件および下記の無保証規定が，そのままの形でソー
 *      スコード中に含まれていること．
 *  (2) 本ソフトウェアを，ライブラリ形式など，他のソフトウェア開発に使
 *      用できる形で再é…
å¸ƒã™ã‚‹å ´åˆã«ã¯ï¼Œå†é…
å¸ƒã«ä¼´ã†ãƒ‰ã‚­ãƒ¥ãƒ¡ãƒ³ãƒˆï¼ˆåˆ©ç”¨
 *      者
マニュアルなど）に，上記の著作権表示，この利用条件および下記
 *      の無保証規定を掲載すること．
 *  (3) 本ソフトウェアを，機器に組み込むなど，他のソフトウェア開発に使
 *      用できない形で再é…
å¸ƒã™ã‚‹å ´åˆã«ã¯ï¼Œæ¬¡ã®ã„ずれかの条件を満たすこ
 *      と．
 *    (a) 再é…
å¸ƒã«ä¼´ã†ãƒ‰ã‚­ãƒ¥ãƒ¡ãƒ³ãƒˆï¼ˆåˆ©ç”¨è€…
マニュアルなど）に，上記の著
 *        作権表示，この利用条件および下記の無保証規定を掲載すること．
 *    (b) 再é…
å¸ƒã®å½¢æ…
‹ã‚’，別に定める方法によって，TOPPERSプロジェクトに
 *        å ±å‘Šã™ã‚‹ã“ã¨ï¼Ž
 *  (4) 本ソフトウェアの利用により直接的または間接的に生じるいかなる損
 *      害からも，上記著作権者
およびTOPPERSプロジェクトをå…
è²¬ã™ã‚‹ã“と．
 *      また，本ソフトウェアのユーザまたはエンドユーザからのいかなる理
 *      由に基づく請求からも，上記著作権者
およびTOPPERSプロジェクトを
 *      å…
è²¬ã™ã‚‹ã“と．
 * 
 *  本ソフトウェアは，無保証で提供されているものである．上記著作権者
お
 *  よびTOPPERSプロジェクトは，本ソフトウェアに関して，特定の使用目的
 *  に対する適合性も含めて，いかなる保証も行わない．また，本ソフトウェ
 *  アの利用により直接的または間接的に生じたいかなる損害に関しても，そ
 *  ã®è²¬ä»»ã‚’è² ã‚ãªã„ï¼Ž
 * 
 *  $Id: task_refer.c 388 2019-05-22 11:25:18Z coas-nagasima $
 */

/*
 *              タスクの状æ…
‹å‚ç…
§æ©Ÿèƒ½
 */

#include "kernel_impl.h"
#include "check.h"
#include "task.h"
#include "wait.h"
#include "semaphore.h"
#include "eventflag.h"
#include "dataqueue.h"
#include "pridataq.h"
#include "mutex.h"
#include "mempfix.h"
#include "time_event.h"

/*
 *  トレースログマクロのデフォルト定義
 */
#ifndef LOG_REF_TSK_ENTER
#define LOG_REF_TSK_ENTER(tskid, pk_rtsk)
#endif /* LOG_REF_TSK_ENTER */

#ifndef LOG_REF_TSK_LEAVE
#define LOG_REF_TSK_LEAVE(ercd, pk_rtsk)
#endif /* LOG_REF_TSK_LEAVE */

/*
 *  タスクの状æ…
‹å‚ç…
§
 */
#ifdef TOPPERS_ref_tsk

ER
ref_tsk(ID tskid, T_RTSK *pk_rtsk)
{
        TCB             *p_tcb;
        uint_t  tstat;
        ER              ercd;

        LOG_REF_TSK_ENTER(tskid, pk_rtsk);
        CHECK_TSKCTX_UNL();
        if (tskid == TSK_SELF) {
                p_tcb = p_runtsk;
        }
        else {
                CHECK_ID(VALID_TSKID(tskid));
                p_tcb = get_tcb(tskid);
        }

        lock_cpu();
        if (p_tcb->p_tinib->tskatr == TA_NOEXS) {
                ercd = E_NOEXS;
        }
        else {
                tstat = p_tcb->tstat;
                if (TSTAT_DORMANT(tstat)) {
                        /*
                         *  対象タスクが休止状æ…
‹ã®å ´åˆ
                         */
                        pk_rtsk->tskstat = TTS_DMT;
                }
                else {
                        /*
                         *  タスク状æ…
‹ã®å–出し
                         */
                        if (TSTAT_SUSPENDED(tstat)) {
                                if (TSTAT_WAITING(tstat)) {
                                        pk_rtsk->tskstat = TTS_WAS;
                                }
                                else {
                                        pk_rtsk->tskstat = TTS_SUS;
                                }
                        }
                        else if (TSTAT_WAITING(tstat)) {
                                pk_rtsk->tskstat = TTS_WAI;
                        }
                        else if (p_tcb == p_runtsk) {
                                pk_rtsk->tskstat = TTS_RUN;
                        }
                        else {
                                pk_rtsk->tskstat = TTS_RDY;
                        }

                        /*
                         *  現在優å…
ˆåº¦ã¨ãƒ™ãƒ¼ã‚¹å„ªå…
ˆåº¦ã®å–出し
                         */
                        pk_rtsk->tskpri = EXT_TSKPRI(p_tcb->priority);
                        pk_rtsk->tskbpri = EXT_TSKPRI(p_tcb->bpriority);

                        if (TSTAT_WAITING(tstat)) {
                                /*
                                 *  待
ã¡è¦å› ã¨å¾…
ち対象のオブジェクトのIDの取出し
                                 */
                                switch (tstat) {
                                case TS_WAITING_SLP:
                                        pk_rtsk->tskwait = TTW_SLP;
                                        break;
                                case TS_WAITING_DLY:
                                        pk_rtsk->tskwait = TTW_DLY;
                                        break;
                                case TS_WAITING_SEM:
                                        pk_rtsk->tskwait = TTW_SEM;
                                        pk_rtsk->wobjid = SEMID(((WINFO_SEM *)(p_tcb->p_winfo))
                                                                                                                                ->p_semcb);
                                        break;
                                case TS_WAITING_FLG:
                                        pk_rtsk->tskwait = TTW_FLG;
                                        pk_rtsk->wobjid = FLGID(((WINFO_FLG *)(p_tcb->p_winfo))
                                                                                                                                ->p_flgcb);
                                        break;
                                case TS_WAITING_SDTQ:
                                        pk_rtsk->tskwait = TTW_SDTQ;
                                        pk_rtsk->wobjid = DTQID(((WINFO_SDTQ *)(p_tcb->p_winfo))
                                                                                                                                ->p_dtqcb);
                                        break;
                                case TS_WAITING_RDTQ:
                                        pk_rtsk->tskwait = TTW_RDTQ;
                                        pk_rtsk->wobjid = DTQID(((WINFO_RDTQ *)(p_tcb->p_winfo))
                                                                                                                                ->p_dtqcb);
                                        break;
                                case TS_WAITING_SPDQ:
                                        pk_rtsk->tskwait = TTW_SPDQ;
                                        pk_rtsk->wobjid = PDQID(((WINFO_SPDQ *)(p_tcb->p_winfo))
                                                                                                                                ->p_pdqcb);
                                        break;
                                case TS_WAITING_RPDQ:
                                        pk_rtsk->tskwait = TTW_RPDQ;
                                        pk_rtsk->wobjid = PDQID(((WINFO_RPDQ *)(p_tcb->p_winfo))
                                                                                                                                ->p_pdqcb);
                                        break;
                                case TS_WAITING_MTX:
                                        pk_rtsk->tskwait = TTW_MTX;
                                        pk_rtsk->wobjid = MTXID(((WINFO_MTX *)(p_tcb->p_winfo))
                                                                                                                                ->p_mtxcb);
                                        break;
                                case TS_WAITING_MPF:
                                        pk_rtsk->tskwait = TTW_MPF;
                                        pk_rtsk->wobjid = MPFID(((WINFO_MPF *)(p_tcb->p_winfo))
                                                                                                                                ->p_mpfcb);
                                        break;
                                }

                                /*
                                 *  タイムアウトするまでの時間の取出し
                                 */
                                if (p_tcb->p_winfo->p_tmevtb != NULL) {
                                        pk_rtsk->lefttmo
                                                        = (TMO) tmevt_lefttim(p_tcb->p_winfo->p_tmevtb);
                                }
                                else {
                                        pk_rtsk->lefttmo = TMO_FEVR;
                                }
                        }

                        /*
                         *  起床要求キューイング数の取出し
                         */
                        pk_rtsk->wupcnt = p_tcb->wupque ? 1U : 0U;

                        /*
                         *  タスク終了要求状æ…
‹ã®å–出し
                         */
                        pk_rtsk->raster = p_tcb->raster;

                        /*
                         *  タスク終了禁止状æ…
‹ã®å–出し
                         */
                        pk_rtsk->dister = !(p_tcb->enater);
                }

                /*
                 *  起動要求キューイング数の取出し
                 */
                pk_rtsk->actcnt = p_tcb->actque ? 1U : 0U;
                ercd = E_OK;
        }
        unlock_cpu();

  error_exit:
        LOG_REF_TSK_LEAVE(ercd, pk_rtsk);
        return(ercd);
}

#endif /* TOPPERS_ref_tsk */