asp/test/test_cpuexc10.c

   1 /*
   2  *  TOPPERS Software
   3  *      Toyohashi Open Platform for Embedded Real-Time Systems
   4  *
   5  *  Copyright (C) 2007-2010 by Embedded and Real-Time Systems Laboratory
   6  *              Graduate School of Information Science, Nagoya Univ., JAPAN
   7  *
   8  *  上記著作権者は，以下の(1)〜(4)の条件を満たす場合に限り，本ソフトウェ
   9  *  ア（本ソフトウェアを改変したものを含む．以下同じ）を使用・複製・改
  10  *  変・再配布（以下，利用と呼ぶ）することを無償で許諾する．
  11  *  (1) 本ソフトウェアをソースコードの形で利用する場合には，上記の著作
  12  *      権表示，この利用条件および下記の無保証規定が，そのままの形でソー
  13  *      スコード中に含まれていること．
  14  *  (2) 本ソフトウェアを，ライブラリ形式など，他のソフトウェア開発に使
  15  *      用できる形で再配布する場合には，再配布に伴うドキュメント（利用
  16  *      者マニュアルなど）に，上記の著作権表示，この利用条件および下記
  17  *      の無保証規定を掲載すること．
  18  *  (3) 本ソフトウェアを，機器に組み込むなど，他のソフトウェア開発に使
  19  *      用できない形で再配布する場合には，次のいずれかの条件を満たすこ
  20  *      と．
  21  *    (a) 再配布に伴うドキュメント（利用者マニュアルなど）に，上記の著
  22  *        作権表示，この利用条件および下記の無保証規定を掲載すること．
  23  *    (b) 再配布の形態を，別に定める方法によって，TOPPERSプロジェクトに
  24  *        報告すること．
  25  *  (4) 本ソフトウェアの利用により直接的または間接的に生じるいかなる損
  26  *      害からも，上記著作権者およびTOPPERSプロジェクトを免責すること．
  27  *      また，本ソフトウェアのユーザまたはエンドユーザからのいかなる理
  28  *      由に基づく請求からも，上記著作権者およびTOPPERSプロジェクトを
  29  *      免責すること．
  30  *
  31  *  本ソフトウェアは，無保証で提供されているものである．上記著作権者お
  32  *  よびTOPPERSプロジェクトは，本ソフトウェアに関して，特定の使用目的
  33  *  に対する適合性も含めて，いかなる保証も行わない．また，本ソフトウェ
  34  *  アの利用により直接的または間接的に生じたいかなる損害に関しても，そ
  35  *  の責任を負わない．
  36  *
  37  *  @(#) $Id: test_cpuexc10.c 2005 2010-12-31 04:20:08Z ertl-hiro $
  38  */
  39
  40 /*
  41  *              CPU例外処理のテスト(10)
  42  *
  43  * 【テストの目的】
  44  *
  45  *  割込み優先度マスク＝TMIN_INTPRI-1，ディスパッチ許可状態，タスク例外
  46  *  許可状態で発生したCPU例外におけるシステム状態のテスト．
  47  *
  48  *  このテストは，割込み優先度マスクをTMIN_INTPRI-1に設定できる場合のみ
  49  *  実施する．
  50  *
  51  * 【テスト項目】
  52  *
  53  *  いずれも，割込み優先度マスク＝TMIN_INTPRI-1，ディスパッチ許可状態，
  54  *  タスク例外許可状態で発生したCPU例外において，
  55  *
  56  *      (A) CPU例外ハンドラ実行開始時にCPUロックフラグが変化しないこと
  57  *      (B) CPU例外ハンドラ実行開始時に割込み優先度マスクが変化しないこと
  58  *              ！CPU例外ハンドラ中で割込み優先度マスクを読めないため，テストで
  59  *              きない．
  60  *      (C) CPU例外ハンドラ実行開始時にディスパッチ禁止フラグが変化しないこと
  61  *      (D) CPU例外ハンドラ実行開始時にタスク例外処理禁止フラグが変化しないこと
  62  *      (E) CPU例外ハンドラリターン時にCPUロックフラグが元に戻ること
  63  *              ！CPU例外ハンドラからリターンできる場合のみテストする．
  64  *      (F) CPU例外ハンドラリターン時に割込み優先度マスクが元に戻ること
  65  *              ！CPU例外ハンドラからリターンできる場合のみテストする．
  66  *      (G) CPU例外ハンドラリターン時にディスパッチ禁止フラグが変化しないこと
  67  *              ！CPU例外ハンドラからリターンできる場合のみテストする．
  68  *      (H) CPU例外ハンドラリターン時にタスク例外処理禁止フラグが変化しないこと
  69  *              ！CPU例外ハンドラからリターンできる場合のみテストする．
  70  *      (I) xsns_xpnがtrueを返すこと
  71  *      (J) xsns_dpnがtrueを返すこと
  72  *
  73  * 【使用リソース】
  74  *
  75  *      TASK1: TA_ACT，中優先度，タスク例外処理ルーチン登録
  76  *      CPUEXC1: TA_NULL
  77  *
  78  * 【テストシーケンス】
  79  *
  80  *      == TASK1（中優先度）==
  81  *      1:      状態のチェック
  82  *              chg_ipm(TMIN_INTPRI-1)
  83  *              ena_tex()
  84  *      2:      状態のチェック
  85  *              RAISE_CPU_EXCEPTION
  86  *      == CPUEXC1 ==
  87  *      3:      状態のチェック                           ... (A)(C)(D)
  88  *              xsns_xpn() == true                      ... (I)
  89  *              xsns_dpn() == true                      ... (J)
  90  *      4:      CPU例外ハンドラからリターンできない場合は，ここで終了
  91  *      4:      リターン
  92  *      == TASK1（続き）==
  93  *      5:      状態のチェック                           ... (E)(F)(G)(H)
  94  *      6:      テスト終了
  95  */
  96
  97 #include <kernel.h>
  98 #include <test_lib.h>
  99 #include <t_syslog.h>
 100 #include "kernel_cfg.h"
 101 #include "test_cpuexc.h"
 102
 103 void
 104 task1(intptr_t exinf)
 105 {
 106         ER              ercd;
 107
 108         check_point(1);
 109         check_state(false, false, TIPM_ENAALL, false, false, true);
 110         ercd = chg_ipm(TMAX_INTPRI - 1);
 111         if (ercd == E_PAR) {
 112                 syslog_0(LOG_NOTICE, "This test program is not necessary.");
 113                 ext_ker();
 114         }
 115         check_ercd(ercd, E_OK);
 116         ercd = ena_tex();
 117         check_ercd(ercd, E_OK);
 118
 119         check_point(2);
 120         check_state(false, false, TMAX_INTPRI - 1, false, true, false);
 121         RAISE_CPU_EXCEPTION;
 122
 123         check_point(5);
 124         check_state(false, false, TMAX_INTPRI - 1, false, true, false);
 125
 126         check_finish(6);
 127 }
 128
 129 void
 130 tex_task1(TEXPTN texptn, intptr_t exinf)
 131 {
 132         check_point(0);
 133 }
 134
 135 void
 136 task2(intptr_t exinf)
 137 {
 138         check_point(0);
 139 }
 140
 141 void
 142 alarm1_handler(intptr_t exinf)
 143 {
 144         check_point(0);
 145 }
 146
 147 void
 148 cpuexc_handler(void *p_excinf)
 149 {
 150         check_point(3);
 151         check_state_i(true, false, false, true, false);
 152         check_assert(xsns_xpn(p_excinf) == true);
 153         check_assert(xsns_dpn(p_excinf) == true);
 154
 155 #ifdef CANNOT_RETURN_CPUEXC
 156         check_finish(4);
 157 #endif /* CANNOT_RETURN_CPUEXC */
 158
 159         check_point(4);
 160 }