source: asp3_wo_tecs/trunk/test/test_mutex1.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: 8.1 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_mutex1.c 310 2015-02-08 13:46:46Z 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, 10000U) -> E_TMOUT ... (D-1)
150 * 15: wup_tsk(TASK2)
151 * == TASK2（続き）==
152 * 16: unl_mtx(MTX1) ... (B-2)
153 * 17: ext_tsk() -> noreturn
154 * == TASK1（続き）==
155 * 18: END
156 */
157
158#include <kernel.h>
159#include <t_syslog.h>
160#include "syssvc/test_svc.h"
161#include "kernel_cfg.h"
162#include "test_mutex.h"
163
164extern ER bit_mutex(void);
165
166/* DO NOT DELETE THIS LINE -- gentest depends on it. */
167
168void
169task1(intptr_t exinf)
170{
171 ER_UINT ercd;
172 T_RMTX rmtx;
173
174 test_start(__FILE__);
175
176 set_bit_func(bit_mutex);
177
178 check_point(1);
179 ercd = ref_mtx(MTX1, &rmtx);
180 check_ercd(ercd, E_OK);
181
182 check_assert(rmtx.htskid == TSK_NONE);
183
184 check_assert(rmtx.wtskid == TSK_NONE);
185
186 ercd = loc_mtx(MTX1);
187 check_ercd(ercd, E_OK);
188
189 check_point(2);
190 ercd = loc_mtx(MTX1);
191 check_ercd(ercd, E_OBJ);
192
193 check_point(3);
194 ercd = ref_mtx(MTX1, &rmtx);
195 check_ercd(ercd, E_OK);
196
197 check_assert(rmtx.htskid == TASK1);
198
199 check_assert(rmtx.wtskid == TSK_NONE);
200
201 ercd = act_tsk(TASK2);
202 check_ercd(ercd, E_OK);
203
204 check_point(5);
205 ercd = ref_mtx(MTX1, &rmtx);
206 check_ercd(ercd, E_OK);
207
208 check_assert(rmtx.htskid == TASK1);
209
210 check_assert(rmtx.wtskid == TASK2);
211
212 ercd = act_tsk(TASK3);
213 check_ercd(ercd, E_OK);
214
215 check_point(8);
216 ercd = ref_mtx(MTX1, &rmtx);
217 check_ercd(ercd, E_OK);
218
219 check_assert(rmtx.htskid == TASK1);
220
221 check_assert(rmtx.wtskid == TASK2);
222
223 ercd = dis_dsp();
224 check_ercd(ercd, E_OK);
225
226 ercd = unl_mtx(MTX1);
227 check_ercd(ercd, E_OK);
228
229 check_point(9);
230 ercd = ref_mtx(MTX1, &rmtx);
231 check_ercd(ercd, E_OK);
232
233 check_assert(rmtx.htskid == TASK2);
234
235 check_assert(rmtx.wtskid == TASK3);
236
237 ercd = ena_dsp();
238 check_ercd(ercd, E_OK);
239
240 check_point(14);
241 ercd = ref_mtx(MTX1, &rmtx);
242 check_ercd(ercd, E_OK);
243
244 check_assert(rmtx.htskid == TASK2);
245
246 check_assert(rmtx.wtskid == TSK_NONE);
247
248 ercd = tloc_mtx(MTX1, 10000U);
249 check_ercd(ercd, E_TMOUT);
250
251 check_point(15);
252 ercd = wup_tsk(TASK2);
253 check_ercd(ercd, E_OK);
254
255 check_finish(18);
256 check_point(0);
257}
258
259void
260task2(intptr_t exinf)
261{
262 ER_UINT ercd;
263
264 check_point(4);
265 ercd = ploc_mtx(MTX1);
266 check_ercd(ercd, E_TMOUT);
267
268 ercd = loc_mtx(MTX1);
269 check_ercd(ercd, E_OK);
270
271 check_point(10);
272 ercd = unl_mtx(MTX1);
273 check_ercd(ercd, E_OK);
274
275 check_point(12);
276 ercd = loc_mtx(MTX1);
277 check_ercd(ercd, E_OK);
278
279 check_point(13);
280 ercd = slp_tsk();
281 check_ercd(ercd, E_OK);
282
283 check_point(16);
284 ercd = unl_mtx(MTX1);
285 check_ercd(ercd, E_OK);
286
287 check_point(17);
288 ercd = ext_tsk();
289
290 check_point(0);
291}
292
293void
294task3(intptr_t exinf)
295{
296 ER_UINT ercd;
297
298 check_point(6);
299 ercd = unl_mtx(MTX1);
300 check_ercd(ercd, E_OBJ);
301
302 check_point(7);
303 ercd = loc_mtx(MTX1);
304 check_ercd(ercd, E_OK);
305
306 check_point(11);
307 ercd = ext_tsk();
308
309 check_point(0);
310}
Note: See TracBrowser for help on using the repository browser.