source: asp3_wo_tecs/trunk/test/test_mutex3.c@ 306

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

3.1.0を反映
File size: 9.4 KB
Line 
1/*
2 * TOPPERS Software
3 * Toyohashi Open Platform for Embedded Real-Time Systems
4 *
5 * Copyright (C) 2007-2016 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_mutex3.c 738 2016-04-05 14:19:24Z ertl-hiro $
53 */
54
55/*
56 * ミューテックスのテスト(3)
57 *
58 * 【テストの目的】
59 *
60 * 優å…
61ˆåº¦ä¸Šé™ãƒŸãƒ¥ãƒ¼ãƒ†ãƒƒã‚¯ã‚¹ã‚’，ロックする処理とロック解除する処理を一
62 * 通りテストする．ref_tskによるベース優å…
63ˆåº¦ã¨ç¾åœ¨å„ªå…
64ˆåº¦ã®å‚ç…
65§å‡¦ç†ã®ãƒ†
66 * ストもå…
67¼ã­ã¦ã„る．
68 *
69 * 【テスト項
70目】
71 *
72 * (A) ミューテックスのロック処理（loc_mtx）
73 * (A-1) ロックされていない場合には，すぐにロックできること
74 * (A-2) 多重にロックしようとすると，E_OBJエラーになること
75 * (A-3) ロックされている場合には，優å…
76ˆåº¦é †ã§å¾…
77ち状æ…
78‹ã«ãªã‚‹ã“と
79 * (B) ミューテックスのロック解除処理（unl_mtx）
80 * (B-1) 他タスクがロックしているミューテックスを解放しようとすると
81 * 　　　E_OBJエラーになること
82 * (B-2) 待
83ちタスクがないと，単にロック解除すること
84 * (B-3) 待
85ちタスクにロックを渡すこと
86 * (B-4) 待
87ちタスクにロックを渡して，ディスパッチが起こること
88 * (C) ミューテックスのロック処理（ploc_mtx）
89 * (C-1) ロックされている場合には，すぐにE_TMOUTエラーになること
90 * (D) ミューテックスのロック処理（tloc_mtx）
91 * (D-1) ロックされている場合には，タイムアウト付きの待
92ち状æ…
93‹ã«ãª
94 * 　　　ること
95 * (E) おまけ
96 * (E-1) タスクを終了すると，ミューテックスをロック解除すること
97 *
98 * 【使用リソース】
99 *
100 * TASK1: 低優å…
101ˆåº¦ã‚¿ã‚¹ã‚¯ï¼Œãƒ¡ã‚¤ãƒ³ã‚¿ã‚¹ã‚¯ï¼Œæœ€åˆã‹ã‚‰èµ·å‹•
102 * TASK2: 中優å…
103ˆåº¦ã‚¿ã‚¹ã‚¯
104 * TASK3: 高優å…
105ˆåº¦ã‚¿ã‚¹ã‚¯
106 * MTX1: ミューテックス（TA_CEILING属性，上限は高優å…
107ˆåº¦ï¼‰
108 *
109 * 【テストシーケンス】
110 *
111 * == TASK1（優å…
112ˆåº¦ï¼šä½Žï¼‰==
113 * call(set_bit_func(bit_mutex))
114 * 1: ref_mtx(MTX1, &rmtx)
115 * assert(rmtx.htskid == TSK_NONE)
116 * assert(rmtx.wtskid == TSK_NONE)
117 * loc_mtx(MTX1) ... (A-1)
118 * 2: ref_tsk(TASK1, &rtsk)
119 * assert(rtsk.tskpri == HIGH_PRIORITY)
120 * assert(rtsk.tskbpri == LOW_PRIORITY)
121 * loc_mtx(MTX1) -> E_OBJ ... (A-2)
122 * 3: ref_mtx(MTX1, &rmtx)
123 * assert(rmtx.htskid == TASK1)
124 * assert(rmtx.wtskid == TSK_NONE)
125 * act_tsk(TASK2)
126 * 4: tslp_tsk(TEST_TIME_CP) -> E_TMOUT ... TASK1が実行再開するまで
127 * == TASK2（優å…
128ˆåº¦ï¼šä¸­ï¼‰==
129 * 5: ploc_mtx(MTX1) -> E_TMOUT ... (C-1)
130 * loc_mtx(MTX1) ... (A-3)
131 * == TASK1（続き）==
132 * 6: ref_mtx(MTX1, &rmtx)
133 * assert(rmtx.htskid == TASK1)
134 * assert(rmtx.wtskid == TASK2)
135 * act_tsk(TASK3)
136 * 7: tslp_tsk(2 * TEST_TIME_CP) -> E_TMOUT ... TASK1が実行再開するまで
137 * == TASK3（優å…
138ˆåº¦ï¼šé«˜ï¼‰==
139 * 8: unl_mtx(MTX1) -> E_OBJ ... (B-1)
140 * 9: loc_mtx(MTX1) ... (A-3)
141 * == TASK1（続き）==
142 * 10: ref_mtx(MTX1, &rmtx)
143 * assert(rmtx.htskid == TASK1)
144 * assert(rmtx.wtskid == TASK3)
145 * dis_dsp()
146 * unl_mtx(MTX1) ... (B-3)
147 * 11: ref_tsk(TASK1, &rtsk)
148 * assert(rtsk.tskpri == LOW_PRIORITY)
149 * assert(rtsk.tskbpri == LOW_PRIORITY)
150 * ref_mtx(MTX1, &rmtx)
151 * assert(rmtx.htskid == TASK3)
152 * assert(rmtx.wtskid == TASK2)
153 * ena_dsp()
154 * == TASK3（続き）==
155 * 12: ext_tsk() -> noreturn ... (E-1)
156 * == TASK2（続き）==
157 * 13: ref_tsk(TASK2, &rtsk)
158 * assert(rtsk.tskpri == HIGH_PRIORITY)
159 * assert(rtsk.tskbpri == MID_PRIORITY)
160 * unl_mtx(MTX1) ... (B-4)
161 * 14: loc_mtx(MTX1)
162 * 15: slp_tsk()
163 * == TASK1（続き）==
164 * 16: ref_mtx(MTX1, &rmtx)
165 * assert(rmtx.htskid == TASK2)
166 * assert(rmtx.wtskid == TSK_NONE)
167 * tloc_mtx(MTX1, 3 * TEST_TIME_CP) -> E_TMOUT ... (D-1)
168 * ... TASK1が実行再開するまで
169 * 17: wup_tsk(TASK2)
170 * == TASK2（続き）==
171 * 18: unl_mtx(MTX1) ... (B-2)
172 * 19: ext_tsk() -> noreturn
173 * == TASK1（続き）==
174 * 20: END
175 */
176
177#include <kernel.h>
178#include <t_syslog.h>
179#include "syssvc/test_svc.h"
180#include "kernel_cfg.h"
181#include "test_mutex.h"
182
183extern ER bit_mutex(void);
184
185/* DO NOT DELETE THIS LINE -- gentest depends on it. */
186
187void
188task1(intptr_t exinf)
189{
190 ER_UINT ercd;
191 T_RTSK rtsk;
192 T_RMTX rmtx;
193
194 test_start(__FILE__);
195
196 set_bit_func(bit_mutex);
197
198 check_point(1);
199 ercd = ref_mtx(MTX1, &rmtx);
200 check_ercd(ercd, E_OK);
201
202 check_assert(rmtx.htskid == TSK_NONE);
203
204 check_assert(rmtx.wtskid == TSK_NONE);
205
206 ercd = loc_mtx(MTX1);
207 check_ercd(ercd, E_OK);
208
209 check_point(2);
210 ercd = ref_tsk(TASK1, &rtsk);
211 check_ercd(ercd, E_OK);
212
213 check_assert(rtsk.tskpri == HIGH_PRIORITY);
214
215 check_assert(rtsk.tskbpri == LOW_PRIORITY);
216
217 ercd = loc_mtx(MTX1);
218 check_ercd(ercd, E_OBJ);
219
220 check_point(3);
221 ercd = ref_mtx(MTX1, &rmtx);
222 check_ercd(ercd, E_OK);
223
224 check_assert(rmtx.htskid == TASK1);
225
226 check_assert(rmtx.wtskid == TSK_NONE);
227
228 ercd = act_tsk(TASK2);
229 check_ercd(ercd, E_OK);
230
231 check_point(4);
232 ercd = tslp_tsk(TEST_TIME_CP);
233 check_ercd(ercd, E_TMOUT);
234
235 check_point(6);
236 ercd = ref_mtx(MTX1, &rmtx);
237 check_ercd(ercd, E_OK);
238
239 check_assert(rmtx.htskid == TASK1);
240
241 check_assert(rmtx.wtskid == TASK2);
242
243 ercd = act_tsk(TASK3);
244 check_ercd(ercd, E_OK);
245
246 check_point(7);
247 ercd = tslp_tsk(2 * TEST_TIME_CP);
248 check_ercd(ercd, E_TMOUT);
249
250 check_point(10);
251 ercd = ref_mtx(MTX1, &rmtx);
252 check_ercd(ercd, E_OK);
253
254 check_assert(rmtx.htskid == TASK1);
255
256 check_assert(rmtx.wtskid == TASK3);
257
258 ercd = dis_dsp();
259 check_ercd(ercd, E_OK);
260
261 ercd = unl_mtx(MTX1);
262 check_ercd(ercd, E_OK);
263
264 check_point(11);
265 ercd = ref_tsk(TASK1, &rtsk);
266 check_ercd(ercd, E_OK);
267
268 check_assert(rtsk.tskpri == LOW_PRIORITY);
269
270 check_assert(rtsk.tskbpri == LOW_PRIORITY);
271
272 ercd = ref_mtx(MTX1, &rmtx);
273 check_ercd(ercd, E_OK);
274
275 check_assert(rmtx.htskid == TASK3);
276
277 check_assert(rmtx.wtskid == TASK2);
278
279 ercd = ena_dsp();
280 check_ercd(ercd, E_OK);
281
282 check_point(16);
283 ercd = ref_mtx(MTX1, &rmtx);
284 check_ercd(ercd, E_OK);
285
286 check_assert(rmtx.htskid == TASK2);
287
288 check_assert(rmtx.wtskid == TSK_NONE);
289
290 ercd = tloc_mtx(MTX1, 3 * TEST_TIME_CP);
291 check_ercd(ercd, E_TMOUT);
292
293 check_point(17);
294 ercd = wup_tsk(TASK2);
295 check_ercd(ercd, E_OK);
296
297 check_finish(20);
298 check_point(0);
299}
300
301void
302task2(intptr_t exinf)
303{
304 ER_UINT ercd;
305 T_RTSK rtsk;
306
307 check_point(5);
308 ercd = ploc_mtx(MTX1);
309 check_ercd(ercd, E_TMOUT);
310
311 ercd = loc_mtx(MTX1);
312 check_ercd(ercd, E_OK);
313
314 check_point(13);
315 ercd = ref_tsk(TASK2, &rtsk);
316 check_ercd(ercd, E_OK);
317
318 check_assert(rtsk.tskpri == HIGH_PRIORITY);
319
320 check_assert(rtsk.tskbpri == MID_PRIORITY);
321
322 ercd = unl_mtx(MTX1);
323 check_ercd(ercd, E_OK);
324
325 check_point(14);
326 ercd = loc_mtx(MTX1);
327 check_ercd(ercd, E_OK);
328
329 check_point(15);
330 ercd = slp_tsk();
331 check_ercd(ercd, E_OK);
332
333 check_point(18);
334 ercd = unl_mtx(MTX1);
335 check_ercd(ercd, E_OK);
336
337 check_point(19);
338 ercd = ext_tsk();
339
340 check_point(0);
341}
342
343void
344task3(intptr_t exinf)
345{
346 ER_UINT ercd;
347
348 check_point(8);
349 ercd = unl_mtx(MTX1);
350 check_ercd(ercd, E_OBJ);
351
352 check_point(9);
353 ercd = loc_mtx(MTX1);
354 check_ercd(ercd, E_OK);
355
356 check_point(12);
357 ercd = ext_tsk();
358
359 check_point(0);
360}
Note: See TracBrowser for help on using the repository browser.