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

Last change on this file since 302 was 302, checked in by ertl-honda, 7 years ago

TECSレスのASP3の開発のため以下のtrunkからコピー
http://dev.toppers.jp/svn/asp3/branches/WO_TECS-3.C.0

File size: 6.2 KB
Line 
1/*
2 * TOPPERS Software
3 * Toyohashi Open Platform for Embedded Real-Time Systems
4 *
5 * Copyright (C) 2007-2015 by Embedded and Real-Time Systems Laboratory
6 * Graduate School of Information Science, Nagoya Univ., JAPAN
7 *
8 * 上記著作権者
9は,以下の(1)〜(4)の条件を満たす場合に限り,本ソフトウェ
10 * ア(本ソフトウェアを改変したものを含む.以下同じ)を使用・複製・改
11 * 変・再é…
12å¸ƒï¼ˆä»¥ä¸‹ï¼Œåˆ©ç”¨ã¨å‘¼ã¶ï¼‰ã™ã‚‹ã“とを無償で許諾する.
13 * (1) 本ソフトウェアをソースコードの形で利用する場合には,上記の著作
14 * 権表示,この利用条件および下記の無保証規定が,そのままの形でソー
15 * スコード中に含まれていること.
16 * (2) 本ソフトウェアを,ライブラリ形式など,他のソフトウェア開発に使
17 * 用できる形で再é…
18å¸ƒã™ã‚‹å ´åˆã«ã¯ï¼Œå†é…
19å¸ƒã«ä¼´ã†ãƒ‰ã‚­ãƒ¥ãƒ¡ãƒ³ãƒˆï¼ˆåˆ©ç”¨
20 * 者
21マニュアルなど)に,上記の著作権表示,この利用条件および下記
22 * の無保証規定を掲載すること.
23 * (3) 本ソフトウェアを,機器に組み込むなど,他のソフトウェア開発に使
24 * 用できない形で再é…
25å¸ƒã™ã‚‹å ´åˆã«ã¯ï¼Œæ¬¡ã®ã„ずれかの条件を満たすこ
26 * と.
27 * (a) 再é…
28å¸ƒã«ä¼´ã†ãƒ‰ã‚­ãƒ¥ãƒ¡ãƒ³ãƒˆï¼ˆåˆ©ç”¨è€…
29マニュアルなど)に,上記の著
30 * 作権表示,この利用条件および下記の無保証規定を掲載すること.
31 * (b) 再é…
32å¸ƒã®å½¢æ…
33‹ã‚’,別に定める方法によって,TOPPERSプロジェクトに
34 * 報告すること.
35 * (4) 本ソフトウェアの利用により直接的または間接的に生じるいかなる損
36 * 害からも,上記著作権者
37およびTOPPERSプロジェクトをå…
38è²¬ã™ã‚‹ã“と.
39 * また,本ソフトウェアのユーザまたはエンドユーザからのいかなる理
40 * 由に基づく請求からも,上記著作権者
41およびTOPPERSプロジェクトを
42 * å…
43è²¬ã™ã‚‹ã“と.
44 *
45 * 本ソフトウェアは,無保証で提供されているものである.上記著作権者
46お
47 * よびTOPPERSプロジェクトは,本ソフトウェアに関して,特定の使用目的
48 * に対する適合性も含めて,いかなる保証も行わない.また,本ソフトウェ
49 * アの利用により直接的または間接的に生じたいかなる損害に関しても,そ
50 * の責任を負わない.
51 *
52 * $Id: test_cpuexc6.c 310 2015-02-08 13:46:46Z ertl-hiro $
53 */
54
55/*
56 * CPU例外処理のテスト(6)
57 *
58 * 【テストの目的】
59 *
60 * タスクコンテキスト,割込ロック解除状æ…
61‹ï¼ŒCPUロック解除状æ…
62‹ï¼Œå‰²è¾¼ã¿å„ª
63 * å…
64ˆåº¦ãƒžã‚¹ã‚¯å…
65¨è§£é™¤çŠ¶æ…
66‹ï¼Œãƒ‡ã‚£ã‚¹ãƒ‘ッチ許可状æ…
67‹ã§ç™ºç”Ÿã—たCPU例外における
68 * システム状æ…
69‹ã®ãƒ†ã‚¹ãƒˆï¼Žã‚¿ã‚¹ã‚¯åˆ‡æ›ãˆã«ã‚ˆã‚Šãƒªã‚«ãƒãƒªã§ãã‚‹ã“ともテスト
70 * する.
71 *
72 * 【テスト項
73目】
74 *
75 * いずれも,タスクコンテキスト,割込ロック解除状æ…
76‹ï¼ŒCPUロック解除状æ…
77‹ï¼Œ
78 * 割込み優å…
79ˆåº¦ãƒžã‚¹ã‚¯å…
80¨è§£é™¤çŠ¶æ…
81‹ï¼Œãƒ‡ã‚£ã‚¹ãƒ‘ッチ許可状æ…
82‹ã§ç™ºç”Ÿã—たCPU例外
83 * において,
84 *
85 * (A) CPU例外ハンドラ実行開始時にCPUロックフラグが変化しないこと
86 * (B) CPU例外ハンドラ実行開始時に割込み優å…
87ˆåº¦ãƒžã‚¹ã‚¯ãŒå¤‰åŒ–しないこと
88 * !CPU例外ハンドラ中で割込み優å…
89ˆåº¦ãƒžã‚¹ã‚¯ã‚’読めないため,テストで
90 *  きない.
91 * (C) CPU例外ハンドラ実行開始時にディスパッチ禁止フラグが変化しないこと
92 * (D) CPU例外ハンドラリターン時にCPUロックフラグがå…
93ƒã«æˆ»ã‚‹ã“と
94 * (E) CPU例外ハンドラリターン時に割込み優å…
95ˆåº¦ãƒžã‚¹ã‚¯ãŒå…
96ƒã«æˆ»ã‚‹ã“と
97 * (F) CPU例外ハンドラリターン時にディスパッチ禁止フラグが変化しないこと
98 * (G) xsns_dpnがfalseを返すこと
99 * (H) タスク切換えによるリカバリができること
100 *
101 * 【使用リソース】
102 *
103 * TASK1: 中優å…
104ˆåº¦ã‚¿ã‚¹ã‚¯ï¼ŒTA_ACT属性
105 * TASK2: 高優å…
106ˆåº¦ã‚¿ã‚¹ã‚¯
107 * CPUEXC: CPU例外ハンドラ
108 *
109 * 【テストシーケンス】
110 *
111 * == TASK1-1(1回目)==
112 * 1: state(false, false, false, false, false)
113 * ipm(TIPM_ENAALL)
114 * DO(RAISE_CPU_EXCEPTION)
115 * == CPUEXC ==
116 * 2: state(true, false, false, true, false) ... (A)(C)
117 * assert(xsns_dpn(p_excinf) == false) ... (G)
118 * 3: act_tsk(TASK2)
119 * loc_cpu() ... あえてCPUロック状æ…
120‹ã«ã—てみる
121 * RETURN
122 * == TASK2 ==
123 * 4: state(false, false, false, false, false) ... (D)(E)(F)
124 * ipm(TIPM_ENAALL)
125 * 5: ter_tsk(TASK1) ... (H)
126 * 6: act_tsk(TASK1) ... (H)
127 * 7: ext_tsk()
128 * == TASK1-2(2回目)==
129 * 8: state(false, false, false, false, false) ... (H)
130 * ipm(TIPM_ENAALL)
131 * 9: END
132 */
133
134#include <kernel.h>
135#include <t_syslog.h>
136#include "syssvc/test_svc.h"
137#include "kernel_cfg.h"
138#include "test_cpuexc.h"
139
140void
141alarm1_handler(intptr_t exinf)
142{
143 check_point(0);
144}
145
146/* DO NOT DELETE THIS LINE -- gentest depends on it. */
147
148void
149cpuexc_handler(void *p_excinf)
150{
151 ER_UINT ercd;
152
153 check_point(2);
154 check_state(true, false, false, true, false);
155
156 check_assert(xsns_dpn(p_excinf) == false);
157
158 check_point(3);
159 ercd = act_tsk(TASK2);
160 check_ercd(ercd, E_OK);
161
162 ercd = loc_cpu();
163 check_ercd(ercd, E_OK);
164
165 return;
166
167 check_point(0);
168}
169
170static uint_t task1_count = 0;
171
172void
173task1(intptr_t exinf)
174{
175
176 switch (++task1_count) {
177 case 1:
178 test_start(__FILE__);
179
180 check_point(1);
181 check_state(false, false, false, false, false);
182
183 check_ipm(TIPM_ENAALL);
184
185 RAISE_CPU_EXCEPTION;
186
187 check_point(0);
188
189 case 2:
190 check_point(8);
191 check_state(false, false, false, false, false);
192
193 check_ipm(TIPM_ENAALL);
194
195 check_finish(9);
196 check_point(0);
197
198 default:
199 check_point(0);
200 }
201 check_point(0);
202}
203
204void
205task2(intptr_t exinf)
206{
207 ER_UINT ercd;
208
209 check_point(4);
210 check_state(false, false, false, false, false);
211
212 check_ipm(TIPM_ENAALL);
213
214 check_point(5);
215 ercd = ter_tsk(TASK1);
216 check_ercd(ercd, E_OK);
217
218 check_point(6);
219 ercd = act_tsk(TASK1);
220 check_ercd(ercd, E_OK);
221
222 check_point(7);
223 ercd = ext_tsk();
224 check_ercd(ercd, E_OK);
225
226 check_point(0);
227}
Note: See TracBrowser for help on using the repository browser.