source: asp3_wo_tecs/trunk/test/test_mutex3.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.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_mutex3.c 310 2015-02-08 13:46:46Z 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(10000U) -> E_TMOUT
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(10000U) -> E_TMOUT
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, 10000U) -> E_TMOUT ... (D-1)
168 * 17: wup_tsk(TASK2)
169 * == TASK2（続き）==
170 * 18: unl_mtx(MTX1) ... (B-2)
171 * 19: ext_tsk() -> noreturn
172 * == TASK1（続き）==
173 * 20: END
174 */
175
176#include <kernel.h>
177#include <t_syslog.h>
178#include "syssvc/test_svc.h"
179#include "kernel_cfg.h"
180#include "test_mutex.h"
181
182extern ER bit_mutex(void);
183
184/* DO NOT DELETE THIS LINE -- gentest depends on it. */
185
186void
187task1(intptr_t exinf)
188{
189 ER_UINT ercd;
190 T_RTSK rtsk;
191 T_RMTX rmtx;
192
193 test_start(__FILE__);
194
195 set_bit_func(bit_mutex);
196
197 check_point(1);
198 ercd = ref_mtx(MTX1, &rmtx);
199 check_ercd(ercd, E_OK);
200
201 check_assert(rmtx.htskid == TSK_NONE);
202
203 check_assert(rmtx.wtskid == TSK_NONE);
204
205 ercd = loc_mtx(MTX1);
206 check_ercd(ercd, E_OK);
207
208 check_point(2);
209 ercd = ref_tsk(TASK1, &rtsk);
210 check_ercd(ercd, E_OK);
211
212 check_assert(rtsk.tskpri == HIGH_PRIORITY);
213
214 check_assert(rtsk.tskbpri == LOW_PRIORITY);
215
216 ercd = loc_mtx(MTX1);
217 check_ercd(ercd, E_OBJ);
218
219 check_point(3);
220 ercd = ref_mtx(MTX1, &rmtx);
221 check_ercd(ercd, E_OK);
222
223 check_assert(rmtx.htskid == TASK1);
224
225 check_assert(rmtx.wtskid == TSK_NONE);
226
227 ercd = act_tsk(TASK2);
228 check_ercd(ercd, E_OK);
229
230 check_point(4);
231 ercd = tslp_tsk(10000U);
232 check_ercd(ercd, E_TMOUT);
233
234 check_point(6);
235 ercd = ref_mtx(MTX1, &rmtx);
236 check_ercd(ercd, E_OK);
237
238 check_assert(rmtx.htskid == TASK1);
239
240 check_assert(rmtx.wtskid == TASK2);
241
242 ercd = act_tsk(TASK3);
243 check_ercd(ercd, E_OK);
244
245 check_point(7);
246 ercd = tslp_tsk(10000U);
247 check_ercd(ercd, E_TMOUT);
248
249 check_point(10);
250 ercd = ref_mtx(MTX1, &rmtx);
251 check_ercd(ercd, E_OK);
252
253 check_assert(rmtx.htskid == TASK1);
254
255 check_assert(rmtx.wtskid == TASK3);
256
257 ercd = dis_dsp();
258 check_ercd(ercd, E_OK);
259
260 ercd = unl_mtx(MTX1);
261 check_ercd(ercd, E_OK);
262
263 check_point(11);
264 ercd = ref_tsk(TASK1, &rtsk);
265 check_ercd(ercd, E_OK);
266
267 check_assert(rtsk.tskpri == LOW_PRIORITY);
268
269 check_assert(rtsk.tskbpri == LOW_PRIORITY);
270
271 ercd = ref_mtx(MTX1, &rmtx);
272 check_ercd(ercd, E_OK);
273
274 check_assert(rmtx.htskid == TASK3);
275
276 check_assert(rmtx.wtskid == TASK2);
277
278 ercd = ena_dsp();
279 check_ercd(ercd, E_OK);
280
281 check_point(16);
282 ercd = ref_mtx(MTX1, &rmtx);
283 check_ercd(ercd, E_OK);
284
285 check_assert(rmtx.htskid == TASK2);
286
287 check_assert(rmtx.wtskid == TSK_NONE);
288
289 ercd = tloc_mtx(MTX1, 10000U);
290 check_ercd(ercd, E_TMOUT);
291
292 check_point(17);
293 ercd = wup_tsk(TASK2);
294 check_ercd(ercd, E_OK);
295
296 check_finish(20);
297 check_point(0);
298}
299
300void
301task2(intptr_t exinf)
302{
303 ER_UINT ercd;
304 T_RTSK rtsk;
305
306 check_point(5);
307 ercd = ploc_mtx(MTX1);
308 check_ercd(ercd, E_TMOUT);
309
310 ercd = loc_mtx(MTX1);
311 check_ercd(ercd, E_OK);
312
313 check_point(13);
314 ercd = ref_tsk(TASK2, &rtsk);
315 check_ercd(ercd, E_OK);
316
317 check_assert(rtsk.tskpri == HIGH_PRIORITY);
318
319 check_assert(rtsk.tskbpri == MID_PRIORITY);
320
321 ercd = unl_mtx(MTX1);
322 check_ercd(ercd, E_OK);
323
324 check_point(14);
325 ercd = loc_mtx(MTX1);
326 check_ercd(ercd, E_OK);
327
328 check_point(15);
329 ercd = slp_tsk();
330 check_ercd(ercd, E_OK);
331
332 check_point(18);
333 ercd = unl_mtx(MTX1);
334 check_ercd(ercd, E_OK);
335
336 check_point(19);
337 ercd = ext_tsk();
338
339 check_point(0);
340}
341
342void
343task3(intptr_t exinf)
344{
345 ER_UINT ercd;
346
347 check_point(8);
348 ercd = unl_mtx(MTX1);
349 check_ercd(ercd, E_OBJ);
350
351 check_point(9);
352 ercd = loc_mtx(MTX1);
353 check_ercd(ercd, E_OK);
354
355 check_point(12);
356 ercd = ext_tsk();
357
358 check_point(0);
359}
Note: See TracBrowser for help on using the repository browser.