Context Navigation

← Previous Revision
Latest Revision
Next Revision →
Blame
Revision Log

test_mutex6.c@ 61

Last change on this file since 61 was 61, checked in by ertl-honda, 11 years ago
ASP for EWARM のコミット．
File size: 12.1 KB

Line
1	/*
2	* TOPPERS Software
3	* Toyohashi Open Platform for Embedded Real-Time Systems
4	*
5	* Copyright (C) 2007-2009 by Embedded and Real-Time Systems Laboratory
6	* Graduate School of Information Science, Nagoya Univ., JAPAN
7	*
8	* ãLì ÒÍCÈºÌ(1)`(4)Ìðð½·êÉÀèC{\tgEF
9	* Ai{\tgEFAðüÏµ½àÌðÜÞDÈº¯¶jðgpE¡»Eü
10	* ÏEÄzziÈºCpÆÄÔj·é±Æð³Åø·éD
11	* (1) {\tgEFAð\[XR[hÌ`Åp·éêÉÍCãLÌì
12	* \¦C±Ìpð¨æÑºLÌ³ÛØKèªC»ÌÜÜÌ`Å\[
13	* XR[hÉÜÜêÄ¢é±ÆD
14	* (2) {\tgEFAðCCu`®ÈÇC¼Ì\tgEFAJÉg
15	* pÅ«é`ÅÄzz·éêÉÍCÄzzÉº¤hL
16	gip
17	* Ò}j
18	AÈÇjÉCãLÌì \¦C±Ìpð¨æÑºL
19	* Ì³ÛØKèðfÚ·é±ÆD
20	* (3) {\tgEFAðC@íÉgÝÞÈÇC¼Ì\tgEFAJÉg
21	* pÅ«È¢`ÅÄzz·éêÉÍCÌ¢¸ê©Ìðð½·±
22	* ÆD
23	* (a) ÄzzÉº¤hL
24	gipÒ}j
25	AÈÇjÉCãLÌ
26	* ì \¦C±Ìpð¨æÑºLÌ³ÛØKèðfÚ·é±ÆD
27	* (b) ÄzzÌ`ÔðCÊÉèßéû@ÉæÁÄCTOPPERSvWFNgÉ
28	* ñ·é±ÆD
29	* (4) {\tgEFAÌpÉæè¼ÚIÜ½ÍÔÚIÉ¶¶é¢©Èé¹
30	* Q©çàCãLì Ò¨æÑTOPPERSvWFNgðÆÓ·é±ÆD
31	* Ü½C{\tgEFAÌ[UÜ½ÍGh[U©çÌ¢©Èé
32	* RÉîÃ¿©çàCãLì Ò¨æÑTOPPERSvWFNgð
33	* ÆÓ·é±ÆD
34	*
35	* {\tgEFAÍC³ÛØÅñ³êÄ¢éàÌÅ éDãLì Ò¨
36	* æÑTOPPERSvWFNgÍC{\tgEFAÉÖµÄCÁèÌgpÚI
37	* ÉÎ·éK«àÜßÄC¢©ÈéÛØàsíÈ¢DÜ½C{\tgEF
38	* AÌpÉæè¼ÚIÜ½ÍÔÚIÉ¶¶½¢©Èé¹QÉÖµÄàC»
39	* ÌÓCðíÈ¢D
40	*
41	* @(#) $Id: test_mutex6.c 1696 2010-01-01 16:01:25Z ertl-hiro $
42	*/
43
44	/*
45	* ~
46	[ebNXÌeXg(6)
47	*
48	* yeXgÌÚIz
49	*
50	* DæxãÀ~
51	[ebNXÉÎµÄC^XNÌI¹C^XNÌDæÊ
52	* Ìñ]Ì~
53	[ebNXÖAÌðÔ
54	IÉeXg·éD
55	*
56	* yeXgÚz
57	*
58	* (A) ^XNÌI¹iext_tskj
59	* (A-1) bNµÄ¢½~
60	[ebNXi1ÂjªbNð³êé±ÆD
61	* (A-2) bNµÄ¢½~
62	[ebNXi1ÂjªbNð³êCb
63	* NðÒÁÄ¢½^XNª»êðbNµCDæxªÏ»µCÒ
64	* ¿ð³êé±ÆD
65	* (A-3) bNµÄ¢½~
66	[ebNXi¡jª·×ÄbNð³
67	* êé±ÆD
68	* (A-4) bNµÄ¢½~
69	[ebNXi¡jªbNð³êCb
70	* NðÒÁÄ¢½^XNi¡jª»êðbNµCDæxªÏ
71	* »µCÒ¿ð³êé±ÆD»ÌÉCãÅ~
72	[ebNXð
73	* bNµ½^XNiæÉbNµÄ¢½~
74	[ebNXðÒÁ
75	* Ä¢½^XNjÌûªCDæÊªÈé±ÆD
76	* (B) ^XNÌDæÊÌñ]irot_rdqj
77	* (B-1) TPRI_SELFðwèµ½ÉC^XNÌx[XDæxÌDæÊª
78	* @@@ñ]·é±ÆD
79	* (B-2) TPRI_SELFðwèµ½ÉC^XNÌ»ÝDæxÌDæÊªñ
80	* @@@]µÈ¢±ÆD
81	*
82	* yeXgÚÌÀ»û@z
83	*
84	* (A-1)
85	* áDæx^XNiTASK2jÉ~
86	[ebNXiMTX1jðbN³¹C
87	* ext_tsk·éÆCbNªð³êé±ÆðmF·éD
88	* (A-2)
89	* áDæx^XNiTASK2jÉDæxãÀ~
90	[ebNXiMTX1jðb
91	* N³¹CÊÌáDæx^XNiTASK3jÉMTX1ðÒ½¹½óÔÅC
92	* TASK2 ªext_tsk·éÆCTASK3ªDæxÉÈÁÄÒ¿ð³êé±
93	* ÆðmF·éD
94	* (A-3)
95	* áDæx^XNiTASK2jÉ~
96	[ebNXð2ÂiMTX1CMTX2jb
97	* N³¹Cext_tsk·éÆC¼ûÌbNªð³êé±ÆðmF·éD
98	* (A-4)
99	* áDæx^XNiTASK2jÉDæxãÀ~
100	[ebNX2ÂiMTX1C
101	* MTX2jð±ÌÅbN³¹CÊÌáDæx^XN2ÂiTASK3C
102	* TASK4jÉ»ê¼êÌbNðÒ½¹½óÔÅCTASK2ðext_tsk·éÆC
103	* TASK3ÆTASK4ªDæxÉÈÁÄÒ¿ð³êé±ÆðmF·éDÜ
104	* ½CæÉbNµÄ¢½~
105	[ebNXiMTX1jðÒÁÄ¢½^XN
106	* iTASK3jªCTASK4æèàDæÊªÈé±ÆðmF·éD
107	* (B-1)
108	* áDæx^XNª3ÂiTASK2CTASK3CTASK4jªÀsÅ«éóÔÌ
109	* ÉC1ÂÌáDæx^XNiTASK2jÉDæxãÀ~
110	[ebNXð
111	* bN³¹Crot_rdq(TPRI_SELF)·éÆCcèÌ2ÂÌáDæx^XN
112	* ÌDæÊªñ]·é±ÆðmF·éD
113	* (B-2)
114	* ãÆ¯¶óµÅCDæx^XNÌDæÊªñ]µÈ¢±ÆðmF
115	* ·éD
116	*
117	* ygp\[Xz
118	*
119	* TASK1: áDæx^XNCC^XNCÅ©çN®
120	* TASK2: áDæx^XN
121	* TASK3: áDæx^XN
122	* TASK4: áDæx^XN
123	* MTX1: ~
124	[ebNXiTA_CEILING®«CãÀÍDæxj
125	* MTX2: ~
126	[ebNXiTA_CEILING®«CãÀÍDæxj
127	*
128	* yeXgV[PXz
129	*
130	* == TASK1iDæxFáj==
131	* call(set_bit_func(bit_mutex))
132	* 1: act_tsk(TASK2)
133	* 2: rot_rdq(TPRI_SELF)
134	* // áFTASK2¨TASK1
135	* == TASK2-1iDæxFáj1ñß ==
136	* 3: loc_mtx(MTX1)
137	* // FTASK2CáFTASK1CMTX1FTASK2
138	* 4: ext_tsk() -> noreturn ... (A-1)
139	* // áFTASK1
140	* == TASK1i±«j==
141	* 5: ref_mtx(MTX1, &rmtx)
142	* assert(rmtx.htskid == TSK_NONE)
143	* assert(rmtx.wtskid == TSK_NONE)
144	*
145	* 6: act_tsk(TASK2)
146	* act_tsk(TASK3)
147	* 7: rot_rdq(TPRI_SELF)
148	* // áFTASK2¨TASK3¨TASK1
149	* == TASK2-2iDæxFáj2ñß ==
150	* 8: loc_mtx(MTX1)
151	* // FTASK2CáFTASK3¨TASK1CMTX1FTASK2
152	* 9: slp_tsk()
153	* // áFTASK3¨TASK1CMTX1FTASK2
154	* == TASK3iDæxFáj==
155	* 10: loc_mtx(MTX1)
156	* // áFTASK1CMTX1FTASK2¨TASK3
157	* == TASK1i±«j==
158	* 11: wup_tsk(TASK2)
159	* // FTASK2CáFTASK1CMTX1FTASK2¨TASK3
160	* == TASK2-2i±«j==
161	* 12: ext_tsk() -> noreturn ... (A-2)
162	* // FTASK3CáFTASK1CMTX1FTASK3
163	* == TASK3i±«j==
164	* 13: ref_mtx(MTX1, &rmtx)
165	* assert(rmtx.htskid == TASK3)
166	* assert(rmtx.wtskid == TSK_NONE)
167	* get_pri(TPRI_SELF, &tskpri)
168	* assert(tskpri == HIGH_PRIORITY)
169	* unl_mtx(MTX1)
170	* slp_tsk()
171	* // áFTASK1
172	*
173	* == TASK1i±«j==
174	* 14: act_tsk(TASK2)
175	* 15: rot_rdq(TPRI_SELF)
176	* // áFTASK2¨TASK1
177	* == TASK2-3iDæxFáj3ñß ==
178	* 16: loc_mtx(MTX1)
179	* loc_mtx(MTX2)
180	* // FTASK2CáFTASK1CMTX1FTASK2CMTX2FTASK2
181	* 17: ext_tsk() -> noreturn ... (A-3)
182	* // áFTASK1
183	* == TASK1i±«j==
184	* 18: ref_mtx(MTX1, &rmtx)
185	* assert(rmtx.htskid == TSK_NONE)
186	* assert(rmtx.wtskid == TSK_NONE)
187	* ref_mtx(MTX2, &rmtx)
188	* assert(rmtx.htskid == TSK_NONE)
189	* assert(rmtx.wtskid == TSK_NONE)
190	*
191	* 19: act_tsk(TASK2)
192	* wup_tsk(TASK3)
193	* act_tsk(TASK4)
194	* 20: rot_rdq(TPRI_SELF)
195	* // áFTASK2¨TASK3¨TASK4¨TASK1
196	* == TASK2-4iDæxFáj4ñß ==
197	* 21: loc_mtx(MTX1)
198	* loc_mtx(MTX2)
199	* // FTASK2CáFTASK3¨TASK4¨TASK1CMTX1FTASK2CMTX2FTASK2
200	* 22: chg_pri(TASK1, HIGH_PRIORITY)
201	* // FTASK2¨TASK1CáFTASK3¨TASK4CMTX1FTASK2CMTX2FTASK2
202	* 23: rot_rdq(TPRI_SELF) ... (B-1)(B-2)
203	* // FTASK2¨TASK1CáFTASK4¨TASK3CMTX1FTASK2CMTX2FTASK2
204	* 24: slp_tsk()
205	* // FTASK1CáFTASK4¨TASK3CMTX1FTASK2CMTX2FTASK2
206	* == TASK1i±«j==
207	* 25: chg_pri(TSK_SELF, TPRI_INI)
208	* // áFTASK4¨TASK3¨TASK1CMTX1FTASK2CMTX2FTASK2
209	* == TASK4iDæxFáj==
210	* 26: loc_mtx(MTX2)
211	* // áFTASK3¨TASK1CMTX1FTASK2CMTX2FTASK2¨TASK4
212	* == TASK3i±«j==
213	* 27: loc_mtx(MTX1)
214	* // áFTASK1CMTX1FTASK2¨TASK3CMTX2FTASK2¨TASK4
215	* == TASK1i±«j==
216	* 28: wup_tsk(TASK2)
217	* // FTASK2CáFTASK1CMTX1FTASK2¨TASK3CMTX2FTASK2¨TASK4
218	* == TASK2-4i±«j==
219	* 29: ext_tsk() -> noreturn ... (A-4)
220	* // FTASK3¨TASK4CáFTASK1CMTX1FTASK3CMTX2FTASK4
221	* == TASK3i±«j==
222	* 30: ref_mtx(MTX1, &rmtx)
223	* assert(rmtx.htskid == TASK3)
224	* assert(rmtx.wtskid == TSK_NONE)
225	* ref_mtx(MTX2, &rmtx)
226	* assert(rmtx.htskid == TASK4)
227	* assert(rmtx.wtskid == TSK_NONE)
228	* get_pri(TPRI_SELF, &tskpri)
229	* assert(tskpri == HIGH_PRIORITY)
230	* ext_tsk() -> noreturn
231	* // FTASK4CáFTASK1CMTX2FTASK4
232	* == TASK4i±«j==
233	* 31: get_pri(TPRI_SELF, &tskpri)
234	* assert(tskpri == HIGH_PRIORITY)
235	* ext_tsk() -> noreturn
236	* // áFTASK1
237	* == TASK1i±«j==
238	* 32: END
239	*/
240
241	#include <kernel.h>
242	#include <t_syslog.h>
243	#include "syssvc/logtask.h"
244	#include "kernel_cfg.h"
245	#include "test_lib.h"
246	#include "test_mutex6.h"
247
248	extern ER bit_mutex(void);
249
250	void
251	task1(intptr_t exinf)
252	{
253	ER ercd;
254	T_RMTX rmtx;
255
256	set_bit_func(bit_mutex);
257
258	check_point(1);
259	ercd = act_tsk(TASK2);
260	check_ercd(ercd, E_OK);
261
262	check_point(2);
263	ercd = rot_rdq(TPRI_SELF);
264	check_ercd(ercd, E_OK);
265
266	check_point(5);
267	ercd = ref_mtx(MTX1, &rmtx);
268	check_ercd(ercd, E_OK);
269	check_assert(rmtx.htskid == TSK_NONE);
270	check_assert(rmtx.wtskid == TSK_NONE);
271
272	check_point(6);
273	ercd = act_tsk(TASK2);
274	check_ercd(ercd, E_OK);
275
276	ercd = act_tsk(TASK3);
277	check_ercd(ercd, E_OK);
278
279	check_point(7);
280	ercd = rot_rdq(TPRI_SELF);
281	check_ercd(ercd, E_OK);
282
283	check_point(11);
284	ercd = wup_tsk(TASK2);
285	check_ercd(ercd, E_OK);
286
287	check_point(14);
288	ercd = act_tsk(TASK2);
289	check_ercd(ercd, E_OK);
290
291	check_point(15);
292	ercd = rot_rdq(TPRI_SELF);
293	check_ercd(ercd, E_OK);
294
295	check_point(18);
296	ercd = ref_mtx(MTX1, &rmtx);
297	check_ercd(ercd, E_OK);
298	check_assert(rmtx.htskid == TSK_NONE);
299	check_assert(rmtx.wtskid == TSK_NONE);
300
301	ercd = ref_mtx(MTX2, &rmtx);
302	check_ercd(ercd, E_OK);
303	check_assert(rmtx.htskid == TSK_NONE);
304	check_assert(rmtx.wtskid == TSK_NONE);
305
306	check_point(19);
307	ercd = act_tsk(TASK2);
308	check_ercd(ercd, E_OK);
309
310	ercd = wup_tsk(TASK3);
311	check_ercd(ercd, E_OK);
312
313	ercd = act_tsk(TASK4);
314	check_ercd(ercd, E_OK);
315
316	check_point(20);
317	ercd = rot_rdq(TPRI_SELF);
318	check_ercd(ercd, E_OK);
319
320	check_point(25);
321	ercd = chg_pri(TSK_SELF, TPRI_INI);
322	check_ercd(ercd, E_OK);
323
324	check_point(28);
325	ercd = wup_tsk(TASK2);
326	check_ercd(ercd, E_OK);
327
328	check_finish(32);
329
330	check_point(0);
331	}
332
333	static uint_t task2_count = 0;
334
335	void
336	task2(intptr_t exinf)
337	{
338	ER ercd;
339
340	switch (++task2_count) {
341	case 1:
342	check_point(3);
343	ercd = loc_mtx(MTX1);
344	check_ercd(ercd, E_OK);
345
346	check_point(4);
347	ercd = ext_tsk();
348
349	check_point(0);
350
351	case 2:
352	check_point(8);
353	ercd = loc_mtx(MTX1);
354	check_ercd(ercd, E_OK);
355
356	check_point(9);
357	ercd = slp_tsk();
358	check_ercd(ercd, E_OK);
359
360	check_point(12);
361	ercd = ext_tsk();
362
363	check_point(0);
364
365	case 3:
366	check_point(16);
367	ercd = loc_mtx(MTX1);
368	check_ercd(ercd, E_OK);
369
370	ercd = loc_mtx(MTX2);
371	check_ercd(ercd, E_OK);
372
373	check_point(17);
374	ercd = ext_tsk();
375
376	check_point(0);
377
378	case 4:
379	check_point(21);
380	ercd = loc_mtx(MTX1);
381	check_ercd(ercd, E_OK);
382
383	ercd = loc_mtx(MTX2);
384	check_ercd(ercd, E_OK);
385
386	check_point(22);
387	ercd = chg_pri(TASK1, HIGH_PRIORITY);
388	check_ercd(ercd, E_OK);
389
390	check_point(23);
391	ercd = rot_rdq(TPRI_SELF);
392	check_ercd(ercd, E_OK);
393
394	check_point(24);
395	ercd = slp_tsk();
396	check_ercd(ercd, E_OK);
397
398	check_point(29);
399	ercd = ext_tsk();
400
401	check_point(0);
402	}
403	check_point(0);
404	}
405
406	void
407	task3(intptr_t exinf)
408	{
409	ER ercd;
410	PRI tskpri;
411	T_RMTX rmtx;
412
413	check_point(10);
414	ercd = loc_mtx(MTX1);
415	check_ercd(ercd, E_OK);
416
417	check_point(13);
418	ercd = ref_mtx(MTX1, &rmtx);
419	check_ercd(ercd, E_OK);
420	check_assert(rmtx.htskid == TASK3);
421	check_assert(rmtx.wtskid == TSK_NONE);
422
423	ercd = get_pri(TPRI_SELF, &tskpri);
424	check_ercd(ercd, E_OK);
425	check_assert(tskpri == HIGH_PRIORITY);
426
427	ercd = unl_mtx(MTX1);
428	check_ercd(ercd, E_OK);
429
430	ercd = slp_tsk();
431	check_ercd(ercd, E_OK);
432
433	check_point(27);
434	ercd = loc_mtx(MTX1);
435	check_ercd(ercd, E_OK);
436
437	check_point(30);
438	ercd = ref_mtx(MTX1, &rmtx);
439	check_ercd(ercd, E_OK);
440	check_assert(rmtx.htskid == TASK3);
441	check_assert(rmtx.wtskid == TSK_NONE);
442
443	ercd = ref_mtx(MTX2, &rmtx);
444	check_ercd(ercd, E_OK);
445	check_assert(rmtx.htskid == TASK4);
446	check_assert(rmtx.wtskid == TSK_NONE);
447
448	ercd = get_pri(TPRI_SELF, &tskpri);
449	check_ercd(ercd, E_OK);
450	check_assert(tskpri == HIGH_PRIORITY);
451
452	ercd = ext_tsk();
453
454	check_point(0);
455	}
456
457	void
458	task4(intptr_t exinf)
459	{
460	ER ercd;
461	PRI tskpri;
462
463	check_point(26);
464	ercd = loc_mtx(MTX2);
465	check_ercd(ercd, E_OK);
466
467	check_point(31);
468	ercd = get_pri(TPRI_SELF, &tskpri);
469	check_ercd(ercd, E_OK);
470	check_assert(tskpri == HIGH_PRIORITY);
471
472	ercd = ext_tsk();
473
474	check_point(0);
475	}

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

Context Navigation

source: asp_ewarm/asp-1.7.0/extension/mutex/test/test_mutex6.c@ 61

Download in other formats: