source: asp3_wo_tecs/trunk/extension/rstr_task/test/test_rstr1.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: 9.3 KB
Line 
1/*
2 * TOPPERS Software
3 * Toyohashi Open Platform for Embedded Real-Time Systems
4 *
5 * Copyright (C) 2010-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_rstr1.c 310 2015-02-08 13:46:46Z ertl-hiro $
53 */
54
55/*
56 * 制約タスクのテスト(1)
57 *
58 * 【テストの目的】
59 *
60 * 制約タスクの基本的な振舞いをテストする．
61 *
62 * 【テスト項
63目】
64 *
65 * (A) 制約タスクが，自タスクを待
66ち状æ…
67‹ã«ã™ã‚‹å¯èƒ½æ€§ã®ã‚るサービスコー
68 * ルを呼び出した場合，E_NOSPTエラーとなる
69 * (A-1) slp_tskï¼»NGKI1255ï¼½
70 * (A-2) tslp_tskï¼»NGKI1255ï¼½
71 * (A-3) dly_tskï¼»NGKI1350ï¼½
72 * (A-4) wai_semï¼»NGKI1516ï¼½
73 * (A-5) pol_semが正しく動作する
74 * (A-6) twai_semï¼»NGKI1516ï¼½
75 * ※ 他にもあるが，これだけに留める
76 * (B) 制約タスクを対象として，chg_pri，wup_tsk，can_wup，rel_wai，
77 * sus_tsk，rsm_tskを呼び出した場合，E_NOSPTエラーとなる
78 * (B-1) chg_priï¼»NGKI1186ï¼½
79 * (B-2) wup_tsk（タスクコンテキストから）［NGKI1266］
80 * (B-3) wup_tsk（非タスクコンテキストから）［NGKI1266］
81 * (B-4) can_wupï¼»NGKI1279ï¼½
82 * (B-5) rel_wai（タスクコンテキストから）［NGKI1291］
83 * (B-6) rel_wai（非タスクコンテキストから）［NGKI1291］
84 * (B-7) sus_tskï¼»NGKI1301ï¼½
85 * (B-8) rsm_tskï¼»NGKI1315ï¼½
86 * (C) rot_rdqは，対象優å…
87ˆåº¦ã‚’持つ実行できる状æ…
88‹ã®ã‚¿ã‚¹ã‚¯ã®ä¸­ã§æœ€ã‚‚優å…
89ˆ
90 * 順位が高いタスクが制約タスクである場合，E_NOSPTエラーとなる
91 * (C-1) rot_rdq（タスクコンテキストから）が正しく動作する
92 * (C-2) rot_rdq（タスクコンテキストから）がE_NOSPTを返す［NGKI2690］
93 * (C-3) rot_rdq（非タスクコンテキストから）が正しく動作する
94 * (C-4) rot_rdq（非タスクコンテキストから）がE_NOSPTを返す［NGKI2690］
95 *
96 * 【使用リソース】
97 *
98 * TASK1: 中優å…
99ˆåº¦ã‚¿ã‚¹ã‚¯ï¼Œãƒ¡ã‚¤ãƒ³ã‚¿ã‚¹ã‚¯ï¼Œæœ€åˆã‹ã‚‰èµ·å‹•
100 * TASK2: 高優å…
101ˆåº¦ã‚¿ã‚¹ã‚¯ï¼Œåˆ¶ç´„タスク
102 * TASK3: 中優å…
103ˆåº¦ã‚¿ã‚¹ã‚¯ï¼Œåˆ¶ç´„タスク
104 * TASK4: 中優å…
105ˆåº¦ã‚¿ã‚¹ã‚¯ï¼Œåˆ¶ç´„タスク
106 * SEM1: セマフォ
107 * ALM1: アラームハンドラ
108 *
109 * 【テストシーケンス】
110 *
111 * == TASK1（優å…
112ˆåº¦ï¼šä¸­ï¼‰==
113 * 1: act_tsk(TASK2)
114 * == TASK2-1（優å…
115ˆåº¦ï¼šé«˜ï¼‰==
116 * 2: slp_tsk() -> E_NOSPT ... (A-1)
117 * tslp_tsk(10000U) -> E_NOSPT ... (A-2)
118 * dly_tsk(10000U) -> E_NOSPT ... (A-3)
119 * wai_sem(SEM1) -> E_NOSPT ... (A-4)
120 * pol_sem(SEM1) ... (A-5)
121 * pol_sem(SEM1) -> E_TMOUT
122 * twai_sem(SEM1, 10000U) -> E_NOSPT ... (A-6)
123 * ext_tsk()
124 * == TASK1（続き）==
125 * 3: chg_pri(TASK3, HIGH_PRIORITY) -> E_NOSPT ... (B-1)
126 * wup_tsk(TASK3) -> E_NOSPT ... (B-2)
127 * can_wup(TASK3) -> E_NOSPT ... (B-4)
128 * rel_wai(TASK3) -> E_NOSPT ... (B-5)
129 * sus_tsk(TASK3) -> E_NOSPT ... (B-7)
130 * rsm_tsk(TASK3) -> E_NOSPT ... (B-8)
131 * sta_alm(ALM1, 10000U)
132 * slp_tsk()
133 * == ALM1 ==
134 * 4: wup_tsk(TASK3) -> E_NOSPT ... (B-3)
135 * rel_wai(TASK3) -> E_NOSPT ... (B-6)
136 * wup_tsk(TASK1)
137 * act_tsk(TASK3)
138 * act_tsk(TASK4)
139 * rot_rdq(MID_PRIORITY) ... (C-3)
140 * rot_rdq(MID_PRIORITY) -> E_NOSPT ... (C-4)
141 * RETURN
142 * == TASK3-1（優å…
143ˆåº¦ï¼šä¸­ï¼‰==
144 * 5: act_tsk(TASK2)
145 * == TASK2-2（優å…
146ˆåº¦ï¼šé«˜ï¼‰2回め ==
147 * 6: rot_rdq(MID_PRIORITY) -> E_NOSPT ... (C-2)
148 * ext_tsk()
149 * == TASK3-1（続き）==
150 * 7: ext_tsk()
151 * == TASK4-1（優å…
152ˆåº¦ï¼šä¸­ï¼‰1回め ==
153 * 8: ext_tsk()
154 * == TASK1（続き）==
155 * 9: act_tsk(TASK3)
156 * act_tsk(TASK4)
157 * act_tsk(TASK2)
158 * == TASK2-3（優å…
159ˆåº¦ï¼šé«˜ï¼‰3回め ==
160 * 10: rot_rdq(MID_PRIORITY) ... (C-1)
161 * ext_tsk()
162 * == TASK3-2（優å…
163ˆåº¦ï¼šä¸­ï¼‰2回め ==
164 * 11: ext_tsk()
165 * == TASK4-2（優å…
166ˆåº¦ï¼šä¸­ï¼‰2回め ==
167 * 12: ext_tsk()
168 * == TASK1（続き）==
169 * 13: END
170 */
171
172#include <kernel.h>
173#include <t_syslog.h>
174#include "syssvc/test_svc.h"
175#include "kernel_cfg.h"
176#include "test_rstr1.h"
177
178/* DO NOT DELETE THIS LINE -- gentest depends on it. */
179
180void
181alarm1_handler(intptr_t exinf)
182{
183 ER_UINT ercd;
184
185 check_point(4);
186 ercd = wup_tsk(TASK3);
187 check_ercd(ercd, E_NOSPT);
188
189 ercd = rel_wai(TASK3);
190 check_ercd(ercd, E_NOSPT);
191
192 ercd = wup_tsk(TASK1);
193 check_ercd(ercd, E_OK);
194
195 ercd = act_tsk(TASK3);
196 check_ercd(ercd, E_OK);
197
198 ercd = act_tsk(TASK4);
199 check_ercd(ercd, E_OK);
200
201 ercd = rot_rdq(MID_PRIORITY);
202 check_ercd(ercd, E_OK);
203
204 ercd = rot_rdq(MID_PRIORITY);
205 check_ercd(ercd, E_NOSPT);
206
207 return;
208
209 check_point(0);
210}
211
212void
213task1(intptr_t exinf)
214{
215 ER_UINT ercd;
216
217 test_start(__FILE__);
218
219 check_point(1);
220 ercd = act_tsk(TASK2);
221 check_ercd(ercd, E_OK);
222
223 check_point(3);
224 ercd = chg_pri(TASK3, HIGH_PRIORITY);
225 check_ercd(ercd, E_NOSPT);
226
227 ercd = wup_tsk(TASK3);
228 check_ercd(ercd, E_NOSPT);
229
230 ercd = can_wup(TASK3);
231 check_ercd(ercd, E_NOSPT);
232
233 ercd = rel_wai(TASK3);
234 check_ercd(ercd, E_NOSPT);
235
236 ercd = sus_tsk(TASK3);
237 check_ercd(ercd, E_NOSPT);
238
239 ercd = rsm_tsk(TASK3);
240 check_ercd(ercd, E_NOSPT);
241
242 ercd = sta_alm(ALM1, 10000U);
243 check_ercd(ercd, E_OK);
244
245 ercd = slp_tsk();
246 check_ercd(ercd, E_OK);
247
248 check_point(9);
249 ercd = act_tsk(TASK3);
250 check_ercd(ercd, E_OK);
251
252 ercd = act_tsk(TASK4);
253 check_ercd(ercd, E_OK);
254
255 ercd = act_tsk(TASK2);
256 check_ercd(ercd, E_OK);
257
258 check_finish(13);
259 check_point(0);
260}
261
262static uint_t task2_count = 0;
263
264void
265task2(intptr_t exinf)
266{
267 ER_UINT ercd;
268
269 switch (++task2_count) {
270 case 1:
271 check_point(2);
272 ercd = slp_tsk();
273 check_ercd(ercd, E_NOSPT);
274
275 ercd = tslp_tsk(10000U);
276 check_ercd(ercd, E_NOSPT);
277
278 ercd = dly_tsk(10000U);
279 check_ercd(ercd, E_NOSPT);
280
281 ercd = wai_sem(SEM1);
282 check_ercd(ercd, E_NOSPT);
283
284 ercd = pol_sem(SEM1);
285 check_ercd(ercd, E_OK);
286
287 ercd = pol_sem(SEM1);
288 check_ercd(ercd, E_TMOUT);
289
290 ercd = twai_sem(SEM1, 10000U);
291 check_ercd(ercd, E_NOSPT);
292
293 ercd = ext_tsk();
294 check_ercd(ercd, E_OK);
295
296 check_point(0);
297
298 case 2:
299 check_point(6);
300 ercd = rot_rdq(MID_PRIORITY);
301 check_ercd(ercd, E_NOSPT);
302
303 ercd = ext_tsk();
304 check_ercd(ercd, E_OK);
305
306 check_point(0);
307
308 case 3:
309 check_point(10);
310 ercd = rot_rdq(MID_PRIORITY);
311 check_ercd(ercd, E_OK);
312
313 ercd = ext_tsk();
314 check_ercd(ercd, E_OK);
315
316 check_point(0);
317
318 default:
319 check_point(0);
320 }
321 check_point(0);
322}
323
324static uint_t task3_count = 0;
325
326void
327task3(intptr_t exinf)
328{
329 ER_UINT ercd;
330
331 switch (++task3_count) {
332 case 1:
333 check_point(5);
334 ercd = act_tsk(TASK2);
335 check_ercd(ercd, E_OK);
336
337 check_point(7);
338 ercd = ext_tsk();
339 check_ercd(ercd, E_OK);
340
341 check_point(0);
342
343 case 2:
344 check_point(11);
345 ercd = ext_tsk();
346 check_ercd(ercd, E_OK);
347
348 check_point(0);
349
350 default:
351 check_point(0);
352 }
353 check_point(0);
354}
355
356static uint_t task4_count = 0;
357
358void
359task4(intptr_t exinf)
360{
361 ER_UINT ercd;
362
363 switch (++task4_count) {
364 case 1:
365 check_point(8);
366 ercd = ext_tsk();
367 check_ercd(ercd, E_OK);
368
369 check_point(0);
370
371 case 2:
372 check_point(12);
373 ercd = ext_tsk();
374 check_ercd(ercd, E_OK);
375
376 check_point(0);
377
378 default:
379 check_point(0);
380 }
381 check_point(0);
382}
Note: See TracBrowser for help on using the repository browser.