source: azure_iot_hub_riscv/trunk/asp_baseplatform/test/test_cpuexc11.c@ 453

Last change on this file since 453 was 453, checked in by coas-nagasima, 4 years ago

ファイルを追加
  • Property svn:eol-style set to native
  • Property svn:mime-type set to text/x-csrc;charset=UTF-8
File size: 7.8 KB
Line 
1/*
2 * TOPPERS Software
3 * Toyohashi Open Platform for Embedded Real-Time Systems
4 *
5 * Copyright (C) 2007-2013 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$
38 */
39
40/*
41 * CPU例外処理のテスト(11)
42 *
43 * 【テストの目的】
44 *
45 * 割込み優先度マスク＝TIPM_ENAALL，ディスパッチ許可状態，タスク例外許
46 * 可状態で発生したCPU例外におけるシステム状態のテスト．タスク切換えに
47 * よりリカバリーできることもテストする．
48 *
49 * 【テスト項目】
50 *
51 * いずれも，割込み優先度マスク＝TIPM_ENAALL，ディスパッチ許可状態，タ
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を返すこと
65 * (J) xsns_dpnがfalseを返すこと
66 * (K) タスク切換えによるリカバリーができること
67 * (L) タスク例外によるリカバリーができること
68 *
69 * 【使用リソース】
70 *
71 * TASK1: TA_ACT，中優先度，タスク例外処理ルーチン登録
72 * TASK2: TA_NULL，高優先度
73 * CPUEXC1: TA_NULL
74 *
75 * 【テストシーケンス】
76 *
77 * == TASK1（中優先度，1回目）==
78 * 1: 状態のチェック
79 * ena_tex()
80 * 2: 状態のチェック
81 * RAISE_CPU_EXCEPTION
82 * == CPUEXC1（1回目）==
83 * 3: 状態のチェック ... (A)(C)(D)
84 * xsns_xpn() == false ... (I)
85 * xsns_dpn() == false ... (J)
86 * 4: iact_tsk(TASK2)
87 * iloc_cpu()
88 * リターン
89 * == TASK2（高優先度）==
90 * 5: 状態のチェック ... (E)(F)(G)(H)
91 * 6: ter_tsk(TASK1) ... (K)
92 * 7: act_tsk(TASK1) ... (K)
93 * 8: ext_tsk()
94 * == TASK1（中優先度，2回目）==
95 * 9: 状態のチェック ... (K)
96 * ena_tex()
97 * 10: 状態のチェック
98 * RAISE_CPU_EXCEPTION
99 * == CPUEXC1（2回目）==
100 * 11: 状態のチェック ... (A)(C)(D)
101 * xsns_xpn() == false ... (I)
102 * xsns_dpn() == false ... (J)
103 * 12: iras_tex(TASK1, 1U)
104 * iloc_cpu()
105 * リターン
106 * == TASK1のタスク例外処理ルーチン ==
107 * 13: 状態のチェック ... (E)(F)(G)(H)
108 * 14: act_tsk(TASK1) ... (L)
109 * 15: ext_tsk() ... (L)
110 * == TASK1（中優先度，3回目）==
111 * 16: 状態のチェック ... (L)
112 * 17: テスト終了
113 */
114
115#include <kernel.h>
116#include <test_lib.h>
117#include <t_syslog.h>
118#include "kernel_cfg.h"
119#include "test_cpuexc.h"
120
121int_t task1_count = 0;
122
123void
124task1(intptr_t exinf)
125{
126 ER ercd;
127
128 switch (++task1_count) {
129 case 1:
130 test_start(__FILE__);
131
132 check_point(1);
133 check_state(false, false, TIPM_ENAALL, false, false, true);
134 ercd = ena_tex();
135 check_ercd(ercd, E_OK);
136
137 check_point(2);
138 check_state(false, false, TIPM_ENAALL, false, false, false);
139 RAISE_CPU_EXCEPTION;
140
141 check_point(0);
142 break;
143
144 case 2:
145 check_point(9);
146 check_state(false, false, TIPM_ENAALL, false, false, true);
147 ercd = ena_tex();
148 check_ercd(ercd, E_OK);
149
150 check_point(10);
151 check_state(false, false, TIPM_ENAALL, false, false, false);
152 RAISE_CPU_EXCEPTION;
153
154 check_point(0);
155 break;
156
157 case 3:
158 check_point(16);
159 check_state(false, false, TIPM_ENAALL, false, false, true);
160
161 check_finish(17);
162 break;
163
164 default:
165 check_point(0);
166 break;
167 }
168}
169
170void
171tex_task1(TEXPTN texptn, intptr_t exinf)
172{
173 ER ercd;
174
175 check_point(13);
176 check_state(false, false, TIPM_ENAALL, false, false, true);
177
178 check_point(14);
179 ercd = act_tsk(TASK1);
180 check_ercd(ercd, E_OK);
181
182 check_point(15);
183 ercd = ext_tsk();
184 check_ercd(ercd, E_OK);
185
186 check_point(0);
187}
188
189void
190task2(intptr_t exinf)
191{
192 ER ercd;
193
194 check_point(5);
195 check_state(false, false, TIPM_ENAALL, false, false, true);
196
197 check_point(6);
198 ercd = ter_tsk(TASK1);
199 check_ercd(ercd, E_OK);
200
201 check_point(7);
202 ercd = act_tsk(TASK1);
203 check_ercd(ercd, E_OK);
204
205 check_point(8);
206 ercd = ext_tsk();
207 check_ercd(ercd, E_OK);
208
209 check_point(0);
210}
211
212void
213alarm1_handler(intptr_t exinf)
214{
215 check_point(0);
216}
217
218int_t cpuexc_count = 0;
219
220void
221cpuexc_handler(void *p_excinf)
222{
223 ER ercd;
224
225 switch (++cpuexc_count) {
226 case 1:
227 check_point(3);
228 check_state_i(true, false, false, true, false);
229 check_assert(xsns_xpn(p_excinf) == false);
230 check_assert(xsns_dpn(p_excinf) == false);
231
232 check_point(4);
233 ercd = iact_tsk(TASK2);
234 check_ercd(ercd, E_OK);
235 ercd = iloc_cpu();
236 check_ercd(ercd, E_OK);
237 break;
238
239 case 2:
240 check_point(11);
241 check_state_i(true, false, false, true, false);
242 check_assert(xsns_xpn(p_excinf) == false);
243 check_assert(xsns_dpn(p_excinf) == false);
244
245 check_point(12);
246 ercd = iras_tex(TASK1, 1U);
247 check_ercd(ercd, E_OK);
248 ercd = iloc_cpu();
249 check_ercd(ercd, E_OK);
250 break;
251
252 default:
253 check_point(0);
254 break;
255 }
256}
Note: See TracBrowser for help on using the repository browser.