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

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

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