asp/test/test_cpuexc4.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_cpuexc4.c 1577 2009-05-31 14:30:51Z ertl-hiro $
  38  */
  39
  40 /*
  41  *              CPU例外処理のテスト(4)
  42  *
  43  * 【テストの目的】
  44  *
  45  *  タスクコンテキスト，割込ロック状態で発生したCPU例外におけるシステム
  46  *  状態のテスト．割込み優先度マスク＝TIPM_ENAALL，ディスパッチ禁止状態，
  47  *  タスク例外許可状態でテストする．
  48  *
  49  * 【テスト項目】
  50  *
  51  *  いずれも，タスクコンテキスト，割込ロック状態で発生したCPU例外におい
  52  *  て，
  53  *
  54  *      (A) CPU例外ハンドラ実行開始時にCPUロックフラグが変化しないこと
  55  *              ！割込みロック状態で発生したCPU例外では，システム状態を正しく読
  56  *              めることが保証されないため，テストできない．
  57  *      (B) CPU例外ハンドラ実行開始時に割込み優先度マスクが変化しないこと
  58  *              ！割込みロック状態で発生したCPU例外では，システム状態を正しく読
  59  *              めることが保証されないため，テストできない．
  60  *      (C) CPU例外ハンドラ実行開始時にディスパッチ禁止フラグが変化しないこと
  61  *              ！割込みロック状態で発生したCPU例外では，システム状態を正しく読
  62  *              めることが保証されないため，テストできない．
  63  *      (D) CPU例外ハンドラ実行開始時にタスク例外処理禁止フラグが変化しないこと
  64  *              ！割込みロック状態で発生したCPU例外では，システム状態を正しく読
  65  *              めることが保証されないため，テストできない．
  66  *      (E) CPU例外ハンドラリターン時にCPUロックフラグが元に戻ること
  67  *              ！CPU例外ハンドラからリターンできる場合のみテストする．
  68  *      (F) CPU例外ハンドラリターン時に割込み優先度マスクが元に戻ること
  69  *              ！CPU例外ハンドラからリターンできる場合のみテストする．
  70  *      (G) CPU例外ハンドラリターン時にディスパッチ禁止フラグが変化しないこと
  71  *              ！CPU例外ハンドラからリターンできる場合のみテストする．
  72  *      (H) CPU例外ハンドラリターン時にタスク例外処理禁止フラグが変化しないこと
  73  *              ！CPU例外ハンドラからリターンできる場合のみテストする．
  74  *      (I) xsns_xpnがtrueを返すこと
  75  *      (J) xsns_dpnがtrueを返すこと
  76  *
  77  * 【使用リソース】
  78  *
  79  *      TASK1: TA_ACT，中優先度，タスク例外処理ルーチン登録
  80  *      CPUEXC1: TA_NULL
  81  *
  82  * 【テストシーケンス】
  83  *
  84  *      == TASK1（中優先度）==
  85  *      1:      状態のチェック
  86  *              dis_dsp()
  87  *              ena_tex()
  88  *      2:      状態のチェック
  89  *              SIL_LOC_INT()
  90  *              RAISE_CPU_EXCEPTION
  91  *      == CPUEXC1 ==
  92  *      3:      xsns_xpn() == true                      ... (I)
  93  *              xsns_dpn() == true                      ... (J)
  94  *      4:      CPU例外ハンドラからリターンできない場合は，ここで終了
  95  *      4:      リターン
  96  *      == TASK1（続き）==
  97  *      5:      SIL_UNL_LOC()
  98  *      6:      状態のチェック                           ... (E)(F)(G)(H)
  99  *      7:      テスト終了
 100  */
 101
 102 #include <sil.h>
 103 #include <kernel.h>
 104 #include <test_lib.h>
 105 #include <t_syslog.h>
 106 #include "kernel_cfg.h"
 107 #include "test_cpuexc.h"
 108
 109 void
 110 task1(intptr_t exinf)
 111 {
 112         ER              ercd;
 113         SIL_PRE_LOC;
 114
 115         check_point(1);
 116         check_state(false, false, TIPM_ENAALL, false, false, true);
 117         ercd = dis_dsp();
 118         check_ercd(ercd, E_OK);
 119         ercd = ena_tex();
 120         check_ercd(ercd, E_OK);
 121
 122         check_point(2);
 123         check_state(false, false, TIPM_ENAALL, true, true, false);
 124         SIL_LOC_INT();
 125         RAISE_CPU_EXCEPTION;
 126
 127         check_point(5);
 128         SIL_UNL_INT();
 129
 130         check_point(6);
 131         check_state(false, false, TIPM_ENAALL, true, true, false);
 132
 133         check_finish(7);
 134 }
 135
 136 void
 137 tex_task1(TEXPTN texptn, intptr_t exinf)
 138 {
 139         check_point(0);
 140 }
 141
 142 void
 143 task2(intptr_t exinf)
 144 {
 145         check_point(0);
 146 }
 147
 148 void
 149 alarm1_handler(intptr_t exinf)
 150 {
 151         check_point(0);
 152 }
 153
 154 void
 155 cpuexc_handler(void *p_excinf)
 156 {
 157         check_point(3);
 158         check_assert(xsns_xpn(p_excinf) == true);
 159         check_assert(xsns_dpn(p_excinf) == true);
 160
 161 #ifdef CANNOT_RETURN_CPUEXC
 162         check_finish(4);
 163 #endif /* CANNOT_RETURN_CPUEXC */
 164
 165         check_point(4);
 166 }