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

/*
 *  TOPPERS Software
 *      Toyohashi Open Platform for Embedded Real-Time Systems
 * 
 *  Copyright (C) 2007-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: test_cpuexc8.c 346 2015-07-18 02:12:08Z ertl-hiro $
 */

/* 
 *              CPU例外処理のテスト(8)
 *
 * 【テストの目的】
 *
 *  タスクコンテキスト，割込ロック解除状æ…
‹ï¼ŒCPUロック解除状æ…
‹ï¼Œå‰²è¾¼ã¿å„ª
 *  å…
ˆåº¦ãƒžã‚¹ã‚¯ï¼TMAX_INTPRI，ディスパッチ許可状æ…
‹ã§ç™ºç”Ÿã—たCPU例外にお
 *  けるシステム状æ…
‹ã®ãƒ†ã‚¹ãƒˆï¼Ž
 *
 *  このテストは，TMAX_INTPRIとTMIN_INTPRIãŒç•°ãªã‚‹å ´åˆã®ã¿å®Ÿæ–½ã™ã‚‹ï¼Ž
 *
 * ã€ãƒ†ã‚¹ãƒˆé …
目】
 *
 *  いずれも，タスクコンテキスト，割込ロック解除状æ…
‹ï¼ŒCPUロック解除状æ…
‹ï¼Œ
 *  割込み優å…
ˆåº¦ãƒžã‚¹ã‚¯ï¼TMAX_INTPRI，ディスパッチ許可状æ…
‹ã§ç™ºç”Ÿã—たCPU
 *  例外において，
 *
 *      (A) CPU例外ハンドラ実行開始時にCPUロックフラグが変化しないこと
 *      (B) CPU例外ハンドラ実行開始時に割込み優å…
ˆåº¦ãƒžã‚¹ã‚¯ãŒå¤‰åŒ–しないこと
 *              ！CPU例外ハンドラ中で割込み優å…
ˆåº¦ãƒžã‚¹ã‚¯ã‚’読めないため，テストで
 *              　きない．
 *      (C) CPU例外ハンドラ実行開始時にディスパッチ禁止フラグが変化しないこと
 *      (D) CPU例外ハンドラリターン時にCPUロックフラグがå…
ƒã«æˆ»ã‚‹ã“と
 *              ！CPUä¾‹å¤–ãƒãƒ³ãƒ‰ãƒ©ã‹ã‚‰ãƒªã‚¿ãƒ¼ãƒ³ã§ãã‚‹å ´åˆã®ã¿ãƒ†ã‚¹ãƒˆã™ã‚‹ï¼Ž
 *      (E) CPU例外ハンドラリターン時に割込み優å…
ˆåº¦ãƒžã‚¹ã‚¯ãŒå…
ƒã«æˆ»ã‚‹ã“と
 *              ！CPUä¾‹å¤–ãƒãƒ³ãƒ‰ãƒ©ã‹ã‚‰ãƒªã‚¿ãƒ¼ãƒ³ã§ãã‚‹å ´åˆã®ã¿ãƒ†ã‚¹ãƒˆã™ã‚‹ï¼Ž
 *      (F) CPU例外ハンドラリターン時にディスパッチ禁止フラグが変化しないこと
 *              ！CPUä¾‹å¤–ãƒãƒ³ãƒ‰ãƒ©ã‹ã‚‰ãƒªã‚¿ãƒ¼ãƒ³ã§ãã‚‹å ´åˆã®ã¿ãƒ†ã‚¹ãƒˆã™ã‚‹ï¼Ž
 *      (G) xsns_dpnがtrueを返すこと
 *
 * 【使用リソース】
 *
 *      TASK1: 中優å…
ˆåº¦ã‚¿ã‚¹ã‚¯ï¼ŒTA_ACT属性
 *      CPUEXC: CPU例外ハンドラ
 *
 * 【テストシーケンス】
 *
 *      == TASK1 ==
 *      1:      state(false, false, false, false, false)
 *              ipm(TIPM_ENAALL)
 *              chg_ipm(TMAX_INTPRI)
 *      2:      state(false, false, false, true, false)
 *              ipm(TMAX_INTPRI)
 *              DO(RAISE_CPU_EXCEPTION)
 *      == CPUEXC ==
 *      3:      state(true, false, false, true, false)                          ... (A)(C)
 *              assert(xsns_dpn(p_excinf) == true)                                      ... (G)
 *      4:      HOOK(HOOK_POINT(%d))
 *                              ... CPUä¾‹å¤–ãƒãƒ³ãƒ‰ãƒ©ã‹ã‚‰ãƒªã‚¿ãƒ¼ãƒ³ã§ããªã„å ´åˆã¯ã“ã“ã§çµ‚äº†
 *              loc_cpu()       ... あえてCPUロック状æ…
‹ã«ã—てみる
 *              RETURN
 *      == TASK1（続き）==
 *      5:      state(false, false, false, true, false)                         ... (D)(E)(F)
 *              ipm(TMAX_INTPRI)
 *      6:      END
 */

#include <kernel.h>
#include <t_syslog.h>
#include "syssvc/test_svc.h"
#include "kernel_cfg.h"
#include "test_cpuexc.h"

#if TMAX_INTPRI == TMIN_INTPRI
#error "This test program is not necessary."
#endif /* TMAX_INTPRI == TMIN_INTPRI */

void
task2(intptr_t exinf)
{
        check_point(0);
}

void
alarm1_handler(intptr_t exinf)
{
        check_point(0);
}

#ifdef PREPARE_RETURN_CPUEXC
#define HOOK_POINT(count)       do {                                                    \
                                                                PREPARE_RETURN_CPUEXC;          \
                                                                check_point(count);                     \
                                                        } while (false)
#else /* PREPARE_RETURN_CPUEXC */
#define HOOK_POINT(count)       check_finish(count)
#endif /* PREPARE_RETURN_CPUEXC */

/* DO NOT DELETE THIS LINE -- gentest depends on it. */

void
cpuexc_handler(void *p_excinf)
{
        ER_UINT ercd;

        check_point(3);
        check_state(true, false, false, true, false);

        check_assert(xsns_dpn(p_excinf) == true);

        HOOK_POINT(4);
        ercd = loc_cpu();
        check_ercd(ercd, E_OK);

        return;

        check_point(0);
}

void
task1(intptr_t exinf)
{
        ER_UINT ercd;

        test_start(__FILE__);

        check_point(1);
        check_state(false, false, false, false, false);

        check_ipm(TIPM_ENAALL);

        ercd = chg_ipm(TMAX_INTPRI);
        check_ercd(ercd, E_OK);

        check_point(2);
        check_state(false, false, false, true, false);

        check_ipm(TMAX_INTPRI);

        RAISE_CPU_EXCEPTION;

        check_point(5);
        check_state(false, false, false, true, false);

        check_ipm(TMAX_INTPRI);

        check_finish(6);
        check_point(0);
}