asp/test/test_cpuexc9.c

   1 /*
   2  *  TOPPERS Software
   3  *      Toyohashi Open Platform for Embedded Real-Time Systems
   4  *
   5  *  Copyright (C) 2007-2009 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_cpuexc9.c 1577 2009-05-31 14:30:51Z ertl-hiro $
  38  */
  39
  40 /*
  41  *              CPU例外処理のテスト(9)
  42  *
  43  * 【テストの目的】
  44  *
  45  *  割込み優先度マスク＝TMIN_INTPRI，ディスパッチ許可状態，タスク例外許
  46  *  可状態で発生したCPU例外におけるシステム状態のテスト．タスク例外によ
  47  *  りリカバリーできることもテストする．
  48  *
  49  * 【テスト項目】
  50  *
  51  *  いずれも，割込み優先度マスク＝TMIN_INTPRI，ディスパッチ許可状態，タ
  52  *  スク例外許可状態で発生したCPU例外において，
  53  *
  54  *      (A) CPU例外ハンドラ実行開始時にCPUロックフラグが変化しないこと
  55  *      (B) CPU例外ハンドラ実行開始時に割込み優先度マスクが変化しないこと
  56  *              ！CPU例外ハンドラ中で割込み優先度マスクを読めないため，テストで
  57  *              きない．
  58  *      (C) CPU例外ハンドラ実行開始時にディスパッチ禁止フラグが変化しないこと
  59  *      (D) CPU例外ハンドラ実行開始時にタスク例外処理禁止フラグが変化しないこと
  60  *      (E) CPU例外ハンドラリターン時にCPUロックフラグが元に戻ること
  61  *      (F) CPU例外ハンドラリターン時に割込み優先度マスクが元に戻ること
  62  *      (G) CPU例外ハンドラリターン時にディスパッチ禁止フラグが変化しないこと
  63  *      (H) CPU例外ハンドラリターン時にタスク例外処理禁止フラグが変化しないこと
  64  *      (I) xsns_xpnがfalseを返すこと．ただし，trueを返すことも許されている
  65  *      (J) xsns_dpnがtrueを返すこと
  66  *      (L) タスク例外によるリカバリーができること
  67  *
  68  * 【使用リソース】
  69  *
  70  *      TASK1: TA_ACT，中優先度，タスク例外処理ルーチン登録
  71  *      CPUEXC1: TA_NULL
  72  *
  73  * 【テストシーケンス】
  74  *
  75  *      == TASK1（中優先度，1回目）==
  76  *      1:      状態のチェック
  77  *              chg_ipm(TMIN_INTPRI)
  78  *              ena_tex()
  79  *      2:      状態のチェック
  80  *              RAISE_CPU_EXCEPTION
  81  *      == CPUEXC1 ==
  82  *      3:      状態のチェック                           ... (A),(C),(D)
  83  *              xsns_xpn() == false                     ... (I)
  84  *              ！trueであってもテストプログラムを続行する
  85  *              xsns_dpn() == true                      ... (J)
  86  *  4:  iras_tex(TASK1, 1U)
  87  *              iloc_cpu()
  88  *      リターン
  89  *      == TASK1のタスク例外処理ルーチン ==
  90  *      5:      状態のチェック                           ... (E),(F),(G),(H)
  91  *      6:      act_tsk(TASK1)                          ... (L)
  92  *      7:      ext_tsk()                                       ... (L)
  93  *      == TASK1（中優先度，2回目）==
  94  *      8:      状態のチェック                           ... (L)
  95  *      9:      テスト終了
  96  */
  97
  98 #include <kernel.h>
  99 #include <test_lib.h>
 100 #include <t_syslog.h>
 101 #include "kernel_cfg.h"
 102 #include "test_cpuexc.h"
 103
 104 int_t   task1_count = 0;
 105
 106 void
 107 task1(intptr_t exinf)
 108 {
 109         ER              ercd;
 110
 111         switch (++task1_count) {
 112         case 1:
 113                 check_point(1);
 114                 check_state(false, false, TIPM_ENAALL, false, false, true);
 115                 ercd = chg_ipm(TMAX_INTPRI);
 116                 check_ercd(ercd, E_OK);
 117                 ercd = ena_tex();
 118                 check_ercd(ercd, E_OK);
 119
 120                 check_point(2);
 121                 check_state(false, false, TMAX_INTPRI, false, true, false);
 122                 RAISE_CPU_EXCEPTION;
 123
 124                 check_point(0);
 125                 break;
 126
 127         case 2:
 128                 check_point(8);
 129                 check_state(false, false, TIPM_ENAALL, false, false, true);
 130
 131                 check_finish(9);
 132                 break;
 133
 134         default:
 135                 check_point(0);
 136                 break;
 137         }
 138 }
 139
 140 void
 141 tex_task1(TEXPTN texptn, intptr_t exinf)
 142 {
 143         ER              ercd;
 144
 145         check_point(5);
 146         check_state(false, false, TMAX_INTPRI, false, true, true);
 147
 148         check_point(6);
 149         ercd = act_tsk(TASK1);
 150         check_ercd(ercd, E_OK);
 151
 152         check_point(7);
 153         ercd = ext_tsk();
 154         check_ercd(ercd, E_OK);
 155
 156         check_point(0);
 157 }
 158
 159 void
 160 task2(intptr_t exinf)
 161 {
 162         check_point(0);
 163 }
 164
 165 void
 166 alarm1_handler(intptr_t exinf)
 167 {
 168         check_point(0);
 169 }
 170
 171 void
 172 cpuexc_handler(void *p_excinf)
 173 {
 174         ER              ercd;
 175
 176         check_point(3);
 177         check_state_i(true, false, false, true, false);
 178         if (xsns_xpn(p_excinf) == true) {
 179                 syslog_0(LOG_WARNING, "xsns_xpn returns true.");
 180         }
 181         check_assert(xsns_dpn(p_excinf) == true);
 182
 183         check_point(4);
 184         ercd = iras_tex(TASK1, 1U);
 185         check_ercd(ercd, E_OK);
 186         ercd = iloc_cpu();
 187         check_ercd(ercd, E_OK);
 188 }