Context Navigation

← Previous Revision
Latest Revision
Next Revision →
Blame
Revision Log

source: asp3_wo_tecs/trunk/test/test_sem2.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: 11.4 KB

Line
1	/*
2	* TOPPERS Software
3	* Toyohashi Open Platform for Embedded Real-Time Systems
4	*
5	* Copyright (C) 2008-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_sem2.c 310 2015-02-08 13:46:46Z ertl-hiro $
53	*/
54
55	/*
56	* ã»ããã©æ©è½ã®ãã¹ã(2)
57	*
58	* ããã¹ãã®ç®çã
59	*
60	* sig_semãï¼éã¿ã¹ã¯ã³ã³ããã¹ãããã®å¼ã³åºããå ´åã«ã¤ãã¦ï¼ã¿ã¹ã¯
61	* ã³ã³ããã¹ãããã®å¼ã³åºããå ´åã¨ã®éããä¸å¿ã«ãã¹ãããï¼
62	* pol_semï¼twai_semãï¼wai_semã¨ã®éããä¸å¿ã«ãã¹ãããï¼
63	*
64	* ããã¹ãé
65	ç®ã
66	*
67	* (A) sig_semï¼éã¿ã¹ã¯ã³ã³ããã¹ãããã®å¼åºãï¼ã®éçã¨ã©ã¼ã®ãã¹ã
68	* (A-1) CPUããã¯ç¶æ
69	ããã®å¼åºã
70	* (B) sig_semï¼éã¿ã¹ã¯ã³ã³ããã¹ãããã®å¼åºãï¼ã«ããã»ããã©å¾
71	ã¡ç¶
72	* æ
73	ã®ã¿ã¹ã¯ãå¾
74	ã¡è§£é¤ãããå ´åã®ãã¹ã
75	* (B-1) ã¢ã¤ãã«ç¶æ
76	ããï¼å¾
77	ã¡è§£é¤ãããã¿ã¹ã¯ã«åãæãã
78	* (B-2) å®è¡ç¶æ
79	ã®ã¿ã¹ã¯ããï¼å¾
80	ã¡è§£é¤ãããã¿ã¹ã¯ã«åãæãã
81	* (B-3) ãã£ã¹ãããä¿çç¶æ
82	ã§ï¼åãæãããªã
83	* (B-4) å¾
84	ã¡è§£é¤ãããã¿ã¹ã¯ãå¼·å¶å¾
85	ã¡ç¶æ
86	ã§ï¼åãæãããªã
87	* (B-5) å¾
88	ã¡è§£é¤ãããã¿ã¹ã¯ãåªå
89	åº¦ãä½ãï¼åãæãããªã
90	* (C) pol_semã®éçã¨ã©ã¼ã®ãã¹ã
91	* (C-1) éã¿ã¹ã¯ã³ã³ããã¹ãããã®å¼åºã
92	* (C-2) CPUããã¯ç¶æ
93	ããã®å¼åºã
94	* (C-3) ãã£ã¹ãããç¦æ¢ç¶æ
95	ããã®å¼åºãï¼E_CTXã¨ã©ã¼ã«ãªããªãï¼
96	* (C-4) å²è¾¼ã¿åªå
97	åº¦ãã¹ã¯å
98	¨è§£é¤ã§ãªãç¶æ
99	ããã®å¼åºãï¼E_CTXã¨ã©ã¼
100	* ã«ãªããªãï¼
101	* (D) pol_semã§ãã¼ãªã³ã°å¤±æãã
102	* (E) twai_semã®éçã¨ã©ã¼ã®ãã¹ã
103	* (E-1) éã¿ã¹ã¯ã³ã³ããã¹ãããã®å¼åºã
104	* (E-2) CPUããã¯ç¶æ
105	ããã®å¼åºã
106	* (E-3) ãã£ã¹ãããç¦æ¢ç¶æ
107	ããã®å¼åºã
108	* (E-4) å²è¾¼ã¿åªå
109	åº¦ãã¹ã¯å
110	¨è§£é¤ã§ãªãç¶æ
111	ããã®å¼åºã
112	* (E-5) tmoutãä¸æ£
113	* (F) twai_semã§tmout=TMO_POLã®æã«ãã¼ãªã³ã°å¤±æãã
114	* (G) twai_semã§tmout=TMO_FEVRã®æã«ã»ããã©å¾
115	ã¡ç¶æ
116	ã«ãªã
117	* (H) twai_semã§tmoutã«ã¿ã¤ã ã¢ã¦ããè¨å®ããæã«ï¼ã¿ã¤ã ã¢ã¦ãä»ãã®
118	* ã»ããã©å¾
119	ã¡ç¶æ
120	ã«ãªã
121	*
122	* ãä½¿ç¨ãªã½ã¼ã¹ã
123	*
124	* TASK1: ä¸åªå
125	åº¦ã¿ã¹ã¯ï¼TA_ACTå±æ§
126	* TASK2: é«åªå
127	åº¦ã¿ã¹ã¯
128	* TASK3: ä½åªå
129	åº¦ã¿ã¹ã¯
130	* TASK4: ä¸åªå
131	åº¦ã¿ã¹ã¯
132	* TASK5: ä¸åªå
133	åº¦ã¿ã¹ã¯
134	* ALM1: ã¢ã©ã¼ã ãã³ãã©
135	* SEM1: TA_NULLå±æ§ï¼åæè³æºæ°1ï¼æå¤§è³æºæ°1
136	*
137	* ããã¹ãã·ã¼ã±ã³ã¹ã
138	*
139	* == TASK1ï¼åªå
140	åº¦ï¼ä¸ï¼==
141	* 1: loc_cpu()
142	* pol_sem(SEM1) -> E_CTX ... (C-2)
143	* twai_sem(SEM1, TMO_POL) -> E_CTX ... (E-2)
144	* unl_cpu()
145	* 2: dis_dsp()
146	* pol_sem(SEM1) ... (C-3)
147	* twai_sem(SEM1, TMO_POL) -> E_CTX ... (E-3)
148	* ena_dsp()
149	* 3: chg_ipm(TMAX_INTPRI)
150	* pol_sem(SEM1) -> E_TMOUT ... (C-4)(D)
151	* twai_sem(SEM1, TMO_POL) -> E_CTX ... (E-4)
152	* chg_ipm(TIPM_ENAALL)
153	* 4: twai_sem(SEM1, TMO_NBLK) -> E_PAR ... (E-5)
154	* twai_sem(SEM1, TMO_POL) -> E_TMOUT ... (F)
155	* 5: sta_alm(ALM1, 10000U)
156	* 6: twai_sem(SEM1, TMO_FEVR) ... (G)
157	* == ALM1-1 ==
158	* 7: pol_sem(SEM1) -> E_CTX ... (C-1)
159	* twai_sem(SEM1, TMO_POL) -> E_CTX ... (E-1)
160	* 8: loc_cpu()
161	* sig_sem(SEM1) -> E_CTX ... (A-1)
162	* unl_cpu()
163	* 9: sig_sem(SEM1) ... (B-1)
164	* RETURN
165	* == TASK1ï¼ç¶ãï¼==
166	* 10: act_tsk(TASK3)
167	* 11: wai_sem(SEM1)
168	* == TASK3ï¼åªå
169	åº¦ï¼ä½ï¼==
170	* 12: sta_alm(ALM1, 10000U)
171	* call(wait_var())
172	* == ALM1-2 ==
173	* 13: sig_sem(SEM1) ... (B-2)
174	* call(signal_var())
175	* RETURN
176	* == TASK1ï¼ç¶ãï¼==
177	* 14: wai_sem(SEM1)
178	* == TASK3ï¼ç¶ãï¼==
179	* 15: sta_alm(ALM1, 10000U)
180	* dis_dsp()
181	* call(wait_var())
182	* == ALM1-3 ==
183	* 16: sig_sem(SEM1) ... (B-3)
184	* call(signal_var())
185	* RETURN
186	* == TASK3ï¼ç¶ãï¼==
187	* 17: ena_dsp()
188	* == TASK1ï¼ç¶ãï¼==
189	* 18: wai_sem(SEM1)
190	* == TASK3ï¼ç¶ãï¼==
191	* 19: sta_alm(ALM1, 10000U)
192	* sus_tsk(TASK1)
193	* call(wait_var())
194	* == ALM1-4 ==
195	* 20: sig_sem(SEM1) ... (B-4)
196	* call(signal_var())
197	* RETURN
198	* == TASK3ï¼ç¶ãï¼==
199	* 21: rsm_tsk(TASK1)
200	* == TASK1ï¼ç¶ãï¼==
201	* 22: act_tsk(TASK2)
202	* == TASK2ï¼åªå
203	åº¦ï¼é«ï¼==
204	* 23: tslp_tsk(10000U) -> E_TMOUT
205	* == TASK1ï¼ç¶ãï¼==
206	* 24: wai_sem(SEM1)
207	* == TASK3ï¼ç¶ãï¼==
208	* 25: ext_tsk() -> noreturn
209	* == TASK2ï¼ç¶ãï¼==
210	* 26: sta_alm(ALM1, 10000U)
211	* call(wait_var())
212	* == ALM1-5 ==
213	* 27: sig_sem(SEM1) ... (B-5)
214	* call(signal_var())
215	* RETURN
216	* == TASK2ï¼ç¶ãï¼==
217	* 28: ext_tsk() -> noreturn
218	* == TASK1ï¼ç¶ãï¼==
219	* 29: sta_alm(ALM1, 10000U)
220	* 30: twai_sem(SEM1, 100000U) -> E_RLWAI
221	* == ALM1-6 ==
222	* 31: rel_wai(TASK1)
223	* RETURN
224	* == TASK1ï¼ç¶ãï¼==
225	* 32: sta_alm(ALM1, 100000U)
226	* 33: twai_sem(SEM1, 10000U) -> E_TMOUT ... (H)
227	* 34: stp_alm(ALM1)
228	* 35: END
229	*/
230
231	#include <kernel.h>
232	#include <t_syslog.h>
233	#include "syssvc/test_svc.h"
234	#include "kernel_cfg.h"
235	#include "test_sem2.h"
236
237	static volatile bool_t flagvar;
238
239	static void
240	wait_var(void)
241	{
242	flagvar = false;
243	while (!flagvar);
244	}
245
246	static void
247	signal_var(void)
248	{
249	flagvar = true;
250	}
251
252	/* DO NOT DELETE THIS LINE -- gentest depends on it. */
253
254	static uint_t alarm1_count = 0;
255
256	void
257	alarm1_handler(intptr_t exinf)
258	{
259	ER_UINT ercd;
260
261	switch (++alarm1_count) {
262	case 1:
263	check_point(7);
264	ercd = pol_sem(SEM1);
265	check_ercd(ercd, E_CTX);
266
267	ercd = twai_sem(SEM1, TMO_POL);
268	check_ercd(ercd, E_CTX);
269
270	check_point(8);
271	ercd = loc_cpu();
272	check_ercd(ercd, E_OK);
273
274	ercd = sig_sem(SEM1);
275	check_ercd(ercd, E_CTX);
276
277	ercd = unl_cpu();
278	check_ercd(ercd, E_OK);
279
280	check_point(9);
281	ercd = sig_sem(SEM1);
282	check_ercd(ercd, E_OK);
283
284	return;
285
286	check_point(0);
287
288	case 2:
289	check_point(13);
290	ercd = sig_sem(SEM1);
291	check_ercd(ercd, E_OK);
292
293	signal_var();
294
295	return;
296
297	check_point(0);
298
299	case 3:
300	check_point(16);
301	ercd = sig_sem(SEM1);
302	check_ercd(ercd, E_OK);
303
304	signal_var();
305
306	return;
307
308	check_point(0);
309
310	case 4:
311	check_point(20);
312	ercd = sig_sem(SEM1);
313	check_ercd(ercd, E_OK);
314
315	signal_var();
316
317	return;
318
319	check_point(0);
320
321	case 5:
322	check_point(27);
323	ercd = sig_sem(SEM1);
324	check_ercd(ercd, E_OK);
325
326	signal_var();
327
328	return;
329
330	check_point(0);
331
332	case 6:
333	check_point(31);
334	ercd = rel_wai(TASK1);
335	check_ercd(ercd, E_OK);
336
337	return;
338
339	check_point(0);
340
341	default:
342	check_point(0);
343	}
344	check_point(0);
345	}
346
347	void
348	task1(intptr_t exinf)
349	{
350	ER_UINT ercd;
351
352	test_start(__FILE__);
353
354	check_point(1);
355	ercd = loc_cpu();
356	check_ercd(ercd, E_OK);
357
358	ercd = pol_sem(SEM1);
359	check_ercd(ercd, E_CTX);
360
361	ercd = twai_sem(SEM1, TMO_POL);
362	check_ercd(ercd, E_CTX);
363
364	ercd = unl_cpu();
365	check_ercd(ercd, E_OK);
366
367	check_point(2);
368	ercd = dis_dsp();
369	check_ercd(ercd, E_OK);
370
371	ercd = pol_sem(SEM1);
372	check_ercd(ercd, E_OK);
373
374	ercd = twai_sem(SEM1, TMO_POL);
375	check_ercd(ercd, E_CTX);
376
377	ercd = ena_dsp();
378	check_ercd(ercd, E_OK);
379
380	check_point(3);
381	ercd = chg_ipm(TMAX_INTPRI);
382	check_ercd(ercd, E_OK);
383
384	ercd = pol_sem(SEM1);
385	check_ercd(ercd, E_TMOUT);
386
387	ercd = twai_sem(SEM1, TMO_POL);
388	check_ercd(ercd, E_CTX);
389
390	ercd = chg_ipm(TIPM_ENAALL);
391	check_ercd(ercd, E_OK);
392
393	check_point(4);
394	ercd = twai_sem(SEM1, TMO_NBLK);
395	check_ercd(ercd, E_PAR);
396
397	ercd = twai_sem(SEM1, TMO_POL);
398	check_ercd(ercd, E_TMOUT);
399
400	check_point(5);
401	ercd = sta_alm(ALM1, 10000U);
402	check_ercd(ercd, E_OK);
403
404	check_point(6);
405	ercd = twai_sem(SEM1, TMO_FEVR);
406	check_ercd(ercd, E_OK);
407
408	check_point(10);
409	ercd = act_tsk(TASK3);
410	check_ercd(ercd, E_OK);
411
412	check_point(11);
413	ercd = wai_sem(SEM1);
414	check_ercd(ercd, E_OK);
415
416	check_point(14);
417	ercd = wai_sem(SEM1);
418	check_ercd(ercd, E_OK);
419
420	check_point(18);
421	ercd = wai_sem(SEM1);
422	check_ercd(ercd, E_OK);
423
424	check_point(22);
425	ercd = act_tsk(TASK2);
426	check_ercd(ercd, E_OK);
427
428	check_point(24);
429	ercd = wai_sem(SEM1);
430	check_ercd(ercd, E_OK);
431
432	check_point(29);
433	ercd = sta_alm(ALM1, 10000U);
434	check_ercd(ercd, E_OK);
435
436	check_point(30);
437	ercd = twai_sem(SEM1, 100000U);
438	check_ercd(ercd, E_RLWAI);
439
440	check_point(32);
441	ercd = sta_alm(ALM1, 100000U);
442	check_ercd(ercd, E_OK);
443
444	check_point(33);
445	ercd = twai_sem(SEM1, 10000U);
446	check_ercd(ercd, E_TMOUT);
447
448	check_point(34);
449	ercd = stp_alm(ALM1);
450	check_ercd(ercd, E_OK);
451
452	check_finish(35);
453	check_point(0);
454	}
455
456	void
457	task2(intptr_t exinf)
458	{
459	ER_UINT ercd;
460
461	check_point(23);
462	ercd = tslp_tsk(10000U);
463	check_ercd(ercd, E_TMOUT);
464
465	check_point(26);
466	ercd = sta_alm(ALM1, 10000U);
467	check_ercd(ercd, E_OK);
468
469	wait_var();
470
471	check_point(28);
472	ercd = ext_tsk();
473
474	check_point(0);
475	}
476
477	void
478	task3(intptr_t exinf)
479	{
480	ER_UINT ercd;
481
482	check_point(12);
483	ercd = sta_alm(ALM1, 10000U);
484	check_ercd(ercd, E_OK);
485
486	wait_var();
487
488	check_point(15);
489	ercd = sta_alm(ALM1, 10000U);
490	check_ercd(ercd, E_OK);
491
492	ercd = dis_dsp();
493	check_ercd(ercd, E_OK);
494
495	wait_var();
496
497	check_point(17);
498	ercd = ena_dsp();
499	check_ercd(ercd, E_OK);
500
501	check_point(19);
502	ercd = sta_alm(ALM1, 10000U);
503	check_ercd(ercd, E_OK);
504
505	ercd = sus_tsk(TASK1);
506	check_ercd(ercd, E_OK);
507
508	wait_var();
509
510	check_point(21);
511	ercd = rsm_tsk(TASK1);
512	check_ercd(ercd, E_OK);
513
514	check_point(25);
515	ercd = ext_tsk();
516
517	check_point(0);
518	}

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

Download in other formats: