Context Navigation

← Previous Revision
Latest Revision
Next Revision →
Blame
Revision Log

source: asp3_wo_tecs/trunk/test/test_mutex2.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_mutex2.c 310 2015-02-08 13:46:46Z 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, 10000U) -> E_TMOUT ... (D-1)
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
165	extern ER bit_mutex(void);
166
167	/* DO NOT DELETE THIS LINE -- gentest depends on it. */
168
169	void
170	task1(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 == TASK3);
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 == TASK3);
235
236	check_assert(rmtx.wtskid == TASK2);
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, 10000U);
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
260	void
261	task2(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(11);
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
294	void
295	task3(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(10);
308	ercd = ext_tsk();
309
310	check_point(0);
311	}

Note: See TracBrowser for help on using the repository browser.

Download in other formats: