source: asp3_wo_tecs/trunk/test/bit_kernel.c@ 302

/*
 *  TOPPERS/ASP Kernel
 *      Toyohashi Open Platform for Embedded Real-Time Systems/
 *      Advanced Standard Profile Kernel
 * 
 *  Copyright (C) 2005-2015 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: bit_kernel.c 456 2015-08-16 06:11:51Z ertl-hiro $
 */

/*
 *              カーネルの整合性検査
 */

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

/*
 *   エラーコードの定義
 */
#define E_SYS_LINENO    ERCD(E_SYS, -(__LINE__))

/*
 *  管理ブロックのアドレスの正当性のチェック
 */
#define VALID_TCB(p_tcb) \
                ((((char *) p_tcb) - ((char *) tcb_table)) % sizeof(TCB) == 0 \
                        && TMIN_TSKID <= TSKID(p_tcb) && TSKID(p_tcb) <= tmax_tskid)

#define VALID_SEMCB(p_semcb) \
                ((((char *) p_semcb) - ((char *) semcb_table)) % sizeof(SEMCB) == 0 \
                        && TMIN_SEMID <= SEMID(p_semcb) && SEMID(p_semcb) <= tmax_semid)
                                
#define VALID_FLGCB(p_flgcb) \
                ((((char *) p_flgcb) - ((char *) flgcb_table)) % sizeof(FLGCB) == 0 \
                        && TMIN_FLGID <= FLGID(p_flgcb) && FLGID(p_flgcb) <= tmax_flgid)

#define VALID_DTQCB(p_dtqcb) \
                ((((char *) p_dtqcb) - ((char *) dtqcb_table)) % sizeof(DTQCB) == 0 \
                        && TMIN_DTQID <= DTQID(p_dtqcb) && DTQID(p_dtqcb) <= tmax_dtqid)

#define VALID_PDQCB(p_pdqcb) \
                ((((char *) p_pdqcb) - ((char *) pdqcb_table)) % sizeof(PDQCB) == 0 \
                        && TMIN_PDQID <= PDQID(p_pdqcb) && PDQID(p_pdqcb) <= tmax_pdqid)

#define VALID_MTXCB(p_mtxcb) \
                ((((char *) p_mtxcb) - ((char *) mtxcb_table)) % sizeof(MTXCB) == 0 \
                        && TMIN_MTXID <= MTXID(p_mtxcb) && MTXID(p_mtxcb) <= tmax_mtxid)

#define VALID_MPFCB(p_mpfcb) \
                ((((char *) p_mpfcb) - ((char *) mpfcb_table)) % sizeof(MPFCB) == 0 \
                        && TMIN_MPFID <= MPFID(p_mpfcb) && MPFID(p_mpfcb) <= tmax_mpfid)

/*
 *  キューのチェックのための関数
 *
 *  p_queueにp_entryが含まれているかを調べる．含まれていればtrue，含ま
 *  ã‚Œã¦ã„ãªã„å ´åˆã«ã¯falseã‚’è¿”ã™ï¼Žãƒ€ãƒ–ãƒ«ãƒªãƒ³ã‚¯ã®ä¸æ•´åˆã®å ´åˆã«ã‚‚ï¼Œ
 *  falseを返す．
 */
static bool_t
in_queue(QUEUE *p_queue, QUEUE *p_entry)
{
        QUEUE   *p_current, *p_next;

        p_current = p_queue->p_next;
        if (p_current->p_prev != p_queue) {
                return(false);                                  /* ダブルリンクの不整合 */
        }
        while (p_current != p_queue) {
                if (p_current == p_entry) {
                        return(true);                           /* p_entryが含まれていた */
                }

                /*
                 *  ã‚­ãƒ¥ãƒ¼ã®æ¬¡ã®è¦ç´ ã«é€²ã‚€
                 */
                p_next = p_current->p_next;
                if (p_next->p_prev != p_current) {
                        return(false);                           /* ダブルリンクの不整合 */
                }
                p_current = p_next;
        }
        return(false);
}

/*
 *  スタック上を指しているかの検査
 */
static bool_t
on_stack(void *addr, const TINIB *p_tinib)
{
#ifdef USE_TSKINICTXB
        /*
         *  この関数の実装
はターゲット依存になる．
         */
        return(true);
#else /* USE_TSKINICTXB */
        if (p_tinib->stk <= addr
                        && addr < (void *)((char *)(p_tinib->stk) + p_tinib->stksz)) {
                return(true);
        }
        return(false);
#endif /* USE_TSKINICTXB */
}

/*
 *  ã‚¹ã‚±ã‚¸ãƒ¥ãƒ¼ãƒªãƒ³ã‚°ã®ãŸã‚ã®ãƒ‡ãƒ¼ã‚¿æ§‹é€ ã®æ¤œæŸ»
 */
#ifndef PRIMAP_BIT
#define PRIMAP_BIT(pri)         (1U << (pri))
#endif /* PRIMAP_BIT */

static ER
bit_schedcb(void)
{
        uint_t  pri;
        QUEUE   *p_queue;
        TCB             *p_tcb;

        /*
         *  enadspとp_schedtskの整合性の検査
         */
        if (enadsp) {
                if (ready_primap == 0U) {
                        if (p_schedtsk != NULL) {
                                return(E_SYS_LINENO);
                        }
                }
                else {
                        if (p_schedtsk != search_schedtsk()) {
                                return(E_SYS_LINENO);
                        }
                }
        }

        /*
         *  ready_queueとready_primapの整合性の検査
         */
        for (pri = 0; pri < TNUM_TPRI; pri++) {
                p_queue = ready_queue[pri].p_next;
                if (p_queue == &ready_queue[pri]) {
                        if ((ready_primap & PRIMAP_BIT(pri)) != 0U) {
                                return(E_SYS_LINENO);
                        }
                }
                else {
                        if ((ready_primap & PRIMAP_BIT(pri)) == 0U) {
                                return(E_SYS_LINENO);
                        }
                }
                while (p_queue != &ready_queue[pri]) {
                        p_tcb = (TCB *) p_queue;
                        if (!VALID_TCB(p_tcb)) {
                                return(E_SYS_LINENO);
                        }
                        if (!TSTAT_RUNNABLE(p_tcb->tstat)) {
                                return(E_SYS_LINENO);
                        }
                        if (p_tcb->priority != pri) {
                                return(E_SYS_LINENO);
                        }
                        p_queue = p_queue->p_next;
                }
        }
        return(E_OK);
}

/*
 *  タスク毎の整合性検査
 */
static ER
bit_task(ID tskid)
{
        TCB                             *p_tcb;
        const TINIB             *p_tinib;
        uint_t                  tstat, bpri, pri;
        TMEVTB                  *p_tmevtb;
        SEMCB                   *p_semcb;
        FLGCB                   *p_flgcb;
        DTQCB                   *p_dtqcb;
        PDQCB                   *p_pdqcb;
        MTXCB                   *p_mtxcb;
        MPFCB                   *p_mpfcb;

        if (!VALID_TSKID(tskid)) {
                return(E_ID);
        }
        p_tcb = get_tcb(tskid);
        p_tinib = p_tcb->p_tinib;
        tstat = p_tcb->tstat;
        bpri = p_tcb->bpriority;
        pri = p_tcb->priority;

        /*
         *  タスク初期化ブロックへのポインタの検査
         */
        if (p_tinib != &(tinib_table[INDEX_TSK(tskid)])) {
                return(E_SYS_LINENO);
        }

        /*
         *  tstatの検査
         */
        if (TSTAT_DORMANT(tstat)) {
                if (tstat != TS_DORMANT) {
                        return(E_SYS_LINENO);
                }
        }
        else if (TSTAT_WAITING(tstat)) {
                if ((tstat & ~(TS_WAITING_MASK | TS_SUSPENDED)) != 0U) {
                        return(E_SYS_LINENO);
                }
        }
        else if (TSTAT_SUSPENDED(tstat)) {
                if (tstat != TS_SUSPENDED) {
                        return(E_SYS_LINENO);
                }
        }
        else {
                if (tstat != TS_RUNNABLE) {
                        return(E_SYS_LINENO);
                }
        }

        /*
         *  ベース優å…
ˆåº¦ã®æ¤œæŸ»
         */
        if (bpri >= TNUM_TPRI) {
                return(E_SYS_LINENO);
        }

        /*
         *  現在の優å…
ˆåº¦ã®æ¤œæŸ»
         */
        if (pri > bpri) {
                return(E_SYS_LINENO);
        }

        /*
         *  rasterと他の状æ…
‹ã®æ•´åˆæ€§ã®æ¤œæŸ»
         */
        if (p_tcb->raster && (p_tcb->enater || TSTAT_WAITING(tstat))) {
                return(E_SYS_LINENO);
        }

        /*
         *  休止状æ…
‹ã«ãŠã‘るチェック
         */
        if (TSTAT_DORMANT(tstat)) {
                if (!(bpri == p_tinib->ipriority
                                        && pri == p_tinib->ipriority
                                        && p_tcb->actque == false
                                        && p_tcb->wupque == false
                                        && p_tcb->raster == false
                                        && p_tcb->enater == true
                                        && p_tcb->p_lastmtx == NULL)) {
                        return(E_SYS_LINENO);
                }
        }

        /*
         *  実行できる状æ…
‹ã«ãŠã‘るチェック
         */
        if (TSTAT_RUNNABLE(tstat)) {
                if (!in_queue(&ready_queue[pri], &(p_tcb->task_queue))) {
                        return(E_SYS_LINENO);
                }
        }

        /*
         *  待
ち状æ…
‹ã«ãŠã‘るチェック
         */
        if (TSTAT_WAITING(tstat)) {
                if (!on_stack(p_tcb->p_winfo, p_tinib)) {
                        return(E_SYS_LINENO);
                }
                p_tmevtb = p_tcb->p_winfo->p_tmevtb;
                if (p_tmevtb != NULL) {
                        if (!on_stack(p_tmevtb, p_tinib)) {
                                return(E_SYS_LINENO);
                        }
                        /*
                         *  (*p_tmevtb)の検査（未完成）
                         */
                }

                switch (tstat & TS_WAITING_MASK) {
                case TS_WAITING_SLP:
                        if (p_tcb->wupque == true) {
                                return(E_SYS_LINENO);
                        }
                        break;

                case TS_WAITING_DLY:
                        if (p_tmevtb == NULL) {
                                return(E_SYS_LINENO);
                        }
                        break;

                case TS_WAITING_SEM:
                        p_semcb = ((WINFO_SEM *)(p_tcb->p_winfo))->p_semcb;
                        if (!VALID_SEMCB(p_semcb)) {
                                return(E_SYS_LINENO);
                        }
                        if (!in_queue(&(p_semcb->wait_queue), &(p_tcb->task_queue))) {
                                return(E_SYS_LINENO);
                        }
                        break;

                case TS_WAITING_FLG:
                        p_flgcb = ((WINFO_FLG *)(p_tcb->p_winfo))->p_flgcb;
                        if (!VALID_FLGCB(p_flgcb)) {
                                return(E_SYS_LINENO);
                        }
                        if (!in_queue(&(p_flgcb->wait_queue), &(p_tcb->task_queue))) {
                                return(E_SYS_LINENO);
                        }
                        break;

                case TS_WAITING_SDTQ:
                        p_dtqcb = ((WINFO_SDTQ *)(p_tcb->p_winfo))->p_dtqcb;
                        if (!VALID_DTQCB(p_dtqcb)) {
                                return(E_SYS_LINENO);
                        }
                        if (!in_queue(&(p_dtqcb->swait_queue), &(p_tcb->task_queue))) {
                                return(E_SYS_LINENO);
                        }
                        break;

                case TS_WAITING_RDTQ:
                        p_dtqcb = ((WINFO_RDTQ *)(p_tcb->p_winfo))->p_dtqcb;
                        if (!VALID_DTQCB(p_dtqcb)) {
                                return(E_SYS_LINENO);
                        }
                        if (!in_queue(&(p_dtqcb->rwait_queue), &(p_tcb->task_queue))) {
                                return(E_SYS_LINENO);
                        }
                        break;

                case TS_WAITING_SPDQ:
                        p_pdqcb = ((WINFO_SPDQ *)(p_tcb->p_winfo))->p_pdqcb;
                        if (!VALID_PDQCB(p_pdqcb)) {
                                return(E_SYS_LINENO);
                        }
                        if (!in_queue(&(p_pdqcb->swait_queue), &(p_tcb->task_queue))) {
                                return(E_SYS_LINENO);
                        }
                        break;

                case TS_WAITING_RPDQ:
                        p_pdqcb = ((WINFO_RPDQ *)(p_tcb->p_winfo))->p_pdqcb;
                        if (!VALID_PDQCB(p_pdqcb)) {
                                return(E_SYS_LINENO);
                        }
                        if (!in_queue(&(p_pdqcb->rwait_queue), &(p_tcb->task_queue))) {
                                return(E_SYS_LINENO);
                        }
                        break;

                case TS_WAITING_MTX:
                        p_mtxcb = ((WINFO_MTX *)(p_tcb->p_winfo))->p_mtxcb;
                        if (!VALID_MTXCB(p_mtxcb)) {
                                return(E_SYS_LINENO);
                        }
                        if (!in_queue(&(p_mtxcb->wait_queue), &(p_tcb->task_queue))) {
                                return(E_SYS_LINENO);
                        }
                        break;

                case TS_WAITING_MPF:
                        p_mpfcb = ((WINFO_MPF *)(p_tcb->p_winfo))->p_mpfcb;
                        if (!VALID_MPFCB(p_mpfcb)) {
                                return(E_SYS_LINENO);
                        }
                        if (!in_queue(&(p_mpfcb->wait_queue), &(p_tcb->task_queue))) {
                                return(E_SYS_LINENO);
                        }
                        break;

                default:
                        return(E_SYS_LINENO);
                        break;
                }
        }

        /*
         *  p_lastmtxの検査
         */
        if (p_tcb->p_lastmtx != NULL) {
                if (!VALID_MTXCB(p_tcb->p_lastmtx)) {
                        return(E_SYS_LINENO);
                }
        }

        /*
         *  tskctxbの検査
         */
        if (!TSTAT_DORMANT(tstat) && p_tcb != p_runtsk) {
                /*
                 *  ターゲット依存の検査
                 */
#if 0
                if (bit_tskctxb(&(p_tcb->tskctxb))) {
                        return(E_SYS_LINENO);
                }
#endif
        }
        return(E_OK);
}

/*
 *  セマフォ毎の整合性検査
 */
#define INDEX_SEM(semid)        ((uint_t)((semid) - TMIN_SEMID))
#define get_semcb(semid)        (&(semcb_table[INDEX_SEM(semid)]))

static ER
bit_semaphore(ID semid)
{
        SEMCB                   *p_semcb;
        const SEMINIB   *p_seminib;
        uint_t                  semcnt, pri;
        QUEUE                   *p_queue;
        TCB                             *p_tcb;

        if (!VALID_SEMID(semid)) {
                return(E_ID);
        }
        p_semcb = get_semcb(semid);
        p_seminib = p_semcb->p_seminib;
        semcnt = p_semcb->semcnt;

        /*
         *  セマフォ初期化ブロックへのポインタの検査
         */
        if (p_seminib != &(seminib_table[INDEX_SEM(semid)])) {
                return(E_SYS_LINENO);
        }

        /*
         *  semcntの検査
         */
        if (semcnt > p_seminib->maxsem) {
                return(E_SYS_LINENO);
        }

        /*
         *  wait_queueの検査
         */
        if (semcnt == 0) {
                p_queue = p_semcb->wait_queue.p_next;
                pri = TMIN_TPRI;
                while (p_queue != &(p_semcb->wait_queue)) {
                        p_tcb = (TCB *) p_queue;
                        if (!VALID_TCB(p_tcb)) {
                                return(E_SYS_LINENO);
                        }

                        /*
                         *  キューがタスク優å…
ˆåº¦é †ã«ãªã£ã¦ã„るかの検査
                         */
                        if ((p_seminib->sematr & TA_TPRI) != 0U) {
                                if (p_tcb->priority < pri) {
                                        return(E_SYS_LINENO);
                                }
                        }
                        pri = p_tcb->priority;

                        /*
                         *  タスク状æ…
‹ã®æ¤œæŸ»
                         */
                        if (p_tcb->tstat != TS_WAITING_SEM) {
                                return(E_SYS_LINENO);
                        }
                        if (p_semcb != ((WINFO_SEM *)(p_tcb->p_winfo))->p_semcb) {
                                return(E_SYS_LINENO);
                        }
                        p_queue = p_queue->p_next;
                }
        }
        else {
                if (!queue_empty(&(p_semcb->wait_queue))) {
                        return(E_SYS_LINENO);
                }
        }
        return(E_OK);
}

/*
 *  整合性検査ルーチン本体
 */
ER
bit_kernel(void)
{
        ID              tskid;
        ID              semid;
        ER              ercd;

        /*
         *  ã‚¹ã‚±ã‚¸ãƒ¥ãƒ¼ãƒªãƒ³ã‚°ã®ãŸã‚ã®ãƒ‡ãƒ¼ã‚¿æ§‹é€ ã®æ¤œæŸ»
         */
        ercd = bit_schedcb();
        if (ercd != E_OK) {
                return(ercd);
        }

        /*
         *  タスク毎の検査
         */
        for (tskid = TMIN_TSKID; tskid <= tmax_tskid; tskid++) {
                ercd = bit_task(tskid);
                if (ercd != E_OK) {
                        return(ercd);
                }
        }

        /*
         *  セマフォ毎の検査
         */
        for (semid = TMIN_SEMID; semid <= tmax_semid; semid++) {
                ercd = bit_semaphore(semid);
                if (ercd != E_OK) {
                        return(ercd);
                }
        }

        return(E_OK);
}