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