Context Navigation

← Previous Revision
Latest Revision
Next Revision →
Blame
Revision Log

test_sem2.c@ 136

Last change on this file since 136 was 136, checked in by ertl-honda, 8 years ago
ライブラリとOS及びベーシックなサンプルの追加．
File size: 11.2 KB

Line
1	/*
2	* TOPPERS Software
3	* Toyohashi Open Platform for Embedded Real-Time Systems
4	*
5	* Copyright (C) 2008-2013 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 2534 2013-10-13 12:27:37Z ertl-hiro $
53	*/
54
55	/*
56	* ã»ããã©æ©è½ã®ãã¹ã(2)
57	*
58	* ããã¹ãã®ç®çã
59	*
60	* isig_semãï¼sig_semã¨ã®éããä¸å¿ã«ãã¹ãããï¼
61	* pol_semï¼twai_semãï¼wai_semã¨ã®éããä¸å¿ã«ãã¹ãããï¼
62	*
63	* ããã¹ãé
64	ç®ã
65	*
66	* (A) isig_semã®éçã¨ã©ã¼ã®ãã¹ã
67	* (A-1) ã¿ã¹ã¯ã³ã³ããã¹ãããã®å¼åºã
68	* (A-2) CPUããã¯ç¶æ
69	ããã®å¼åºã
70	* (B) isig_semã«ããã»ããã©å¾
71	ã¡ç¶æ
72	ã®ã¿ã¹ã¯ãå¾
73	ã¡è§£é¤ããã
74	* (B-1) ã¢ã¤ãã«ç¶æ
75	ããï¼å¾
76	ã¡è§£é¤ãããã¿ã¹ã¯ã«åãæãã
77	* (B-2) å®è¡ç¶æ
78	ã®ã¿ã¹ã¯ããï¼å¾
79	ã¡è§£é¤ãããã¿ã¹ã¯ã«åãæãã
80	* (B-3) ãã£ã¹ãããä¿çç¶æ
81	ã§ï¼åãæãããªã
82	* (B-4) å¾
83	ã¡è§£é¤ãããã¿ã¹ã¯ãå¼·å¶å¾
84	ã¡ç¶æ
85	ã§ï¼åãæãããªã
86	* (B-5) å¾
87	ã¡è§£é¤ãããã¿ã¹ã¯ãåªå
88	åº¦ãä½ãï¼åãæãããªã
89	* (C) pol_semã®éçã¨ã©ã¼ã®ãã¹ã
90	* (C-1) éã¿ã¹ã¯ã³ã³ããã¹ãããã®å¼åºã
91	* (C-2) CPUããã¯ç¶æ
92	ããã®å¼åºã
93	* (C-3) ãã£ã¹ãããç¦æ¢ç¶æ
94	ããã®å¼åºãï¼E_CTXã¨ã©ã¼ã«ãªããªãï¼
95	* (C-4) å²è¾¼ã¿åªå
96	åº¦ãã¹ã¯å
97	¨è§£é¤ã§ãªãç¶æ
98	ããã®å¼åºãï¼E_CTXã¨ã©ã¼
99	* ã«ãªããªãï¼
100	* (D) pol_semã§ãã¼ãªã³ã°å¤±æãã
101	* (E) twai_semã®éçã¨ã©ã¼ã®ãã¹ã
102	* (E-1) éã¿ã¹ã¯ã³ã³ããã¹ãããã®å¼åºã
103	* (E-2) CPUããã¯ç¶æ
104	ããã®å¼åºã
105	* (E-3) ãã£ã¹ãããç¦æ¢ç¶æ
106	ããã®å¼åºã
107	* (E-4) å²è¾¼ã¿åªå
108	åº¦ãã¹ã¯å
109	¨è§£é¤ã§ãªãç¶æ
110	ããã®å¼åºã
111	* (E-5) tmoutãä¸æ£
112	* (F) twai_semã§tmout=TMO_POLã®æã«ãã¼ãªã³ã°å¤±æãã
113	* (G) twai_semã§tmout=TMO_FEVRã®æã«ã»ããã©å¾
114	ã¡ç¶æ
115	ã«ãªã
116	* (H) twai_semã§tmoutã«ã¿ã¤ã ã¢ã¦ããè¨å®ããæã«ï¼ã¿ã¤ã ã¢ã¦ãä»ãã®
117	* ã»ããã©å¾
118	ã¡ç¶æ
119	ã«ãªã
120	*
121	* ãä½¿ç¨ãªã½ã¼ã¹ã
122	*
123	* TASK1: ä¸åªå
124	åº¦ã¿ã¹ã¯ï¼TA_ACTå±æ§
125	* TASK2: é«åªå
126	åº¦ã¿ã¹ã¯
127	* TASK3: ä½åªå
128	åº¦ã¿ã¹ã¯
129	* TASK4: ä¸åªå
130	åº¦ã¿ã¹ã¯
131	* TASK5: ä¸åªå
132	åº¦ã¿ã¹ã¯
133	* ALM1: ã¢ã©ã¼ã ãã³ãã©
134	* SEM1: TA_NULLå±æ§ï¼åæè³æºæ°1ï¼æå¤§è³æºæ°1
135	*
136	* ããã¹ãã·ã¼ã±ã³ã¹ã
137	*
138	* == TASK1ï¼åªå
139	åº¦ï¼ä¸ï¼==
140	* 1: isig_sem(SEM1) -> E_CTX ... (A-1)
141	* 2: loc_cpu()
142	* pol_sem(SEM1) -> E_CTX ... (C-2)
143	* twai_sem(SEM1, TMO_POL) -> E_CTX ... (E-2)
144	* unl_cpu()
145	* 3: dis_dsp()
146	* pol_sem(SEM1) ... (C-3)
147	* twai_sem(SEM1, TMO_POL) -> E_CTX ... (E-3)
148	* ena_dsp()
149	* 4: 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	* 5: twai_sem(SEM1, -2) -> E_PAR ... (E-5)
154	* twai_sem(SEM1, TMO_POL) -> E_TMOUT ... (F)
155	* 6: sta_alm(ALM1, 10)
156	* 7: twai_sem(SEM1, TMO_FEVR) ... (G)
157	* == ALM1-1 ==
158	* 8: pol_sem(SEM1) -> E_CTX ... (C-1)
159	* twai_sem(SEM1, TMO_POL) -> E_CTX ... (E-1)
160	* 9: iloc_cpu()
161	* isig_sem(SEM1) -> E_CTX ... (A-2)
162	* iunl_cpu()
163	* 10: isig_sem(SEM1) ... (B-1)
164	* RETURN
165	* == TASK1ï¼ç¶ãï¼==
166	* 11: act_tsk(TASK3)
167	* 12: wai_sem(SEM1)
168	* == TASK3ï¼åªå
169	åº¦ï¼ä½ï¼==
170	* 13: sta_alm(ALM1, 10)
171	* call(wait_var())
172	* == ALM1-2 ==
173	* 14: isig_sem(SEM1) ... (B-2)
174	* call(signal_var())
175	* RETURN
176	* == TASK1ï¼ç¶ãï¼==
177	* 15: wai_sem(SEM1)
178	* == TASK3ï¼ç¶ãï¼==
179	* 16: sta_alm(ALM1, 10)
180	* dis_dsp()
181	* call(wait_var())
182	* == ALM1-3 ==
183	* 17: isig_sem(SEM1) ... (B-3)
184	* call(signal_var())
185	* RETURN
186	* == TASK3ï¼ç¶ãï¼==
187	* 18: ena_dsp()
188	* == TASK1ï¼ç¶ãï¼==
189	* 19: wai_sem(SEM1)
190	* == TASK3ï¼ç¶ãï¼==
191	* 20: sta_alm(ALM1, 10)
192	* sus_tsk(TASK1)
193	* call(wait_var())
194	* == ALM1-4 ==
195	* 21: isig_sem(SEM1) ... (B-4)
196	* call(signal_var())
197	* RETURN
198	* == TASK3ï¼ç¶ãï¼==
199	* 22: rsm_tsk(TASK1)
200	* == TASK1ï¼ç¶ãï¼==
201	* 23: act_tsk(TASK2)
202	* == TASK2ï¼åªå
203	åº¦ï¼é«ï¼==
204	* 24: tslp_tsk(10) -> E_TMOUT
205	* == TASK1ï¼ç¶ãï¼==
206	* 25: wai_sem(SEM1)
207	* == TASK3ï¼ç¶ãï¼==
208	* 26: ext_tsk() -> noreturn
209	* == TASK2ï¼ç¶ãï¼==
210	* 27: sta_alm(ALM1, 10)
211	* call(wait_var())
212	* == ALM1-5 ==
213	* 28: isig_sem(SEM1) ... (B-5)
214	* call(signal_var())
215	* RETURN
216	* == TASK2ï¼ç¶ãï¼==
217	* 29: ext_tsk() -> noreturn
218	* == TASK1ï¼ç¶ãï¼==
219	* 30: sta_alm(ALM1, 10)
220	* 31: twai_sem(SEM1, 100) -> E_RLWAI
221	* == ALM1-6 ==
222	* 32: irel_wai(TASK1)
223	* RETURN
224	* == TASK1ï¼ç¶ãï¼==
225	* 33: sta_alm(ALM1, 100)
226	* 34: twai_sem(SEM1, 10) -> E_TMOUT ... (H)
227	* 35: stp_alm(ALM1)
228	* 36: END
229	*/
230
231	#include <kernel.h>
232	#include <test_lib.h>
233	#include <t_syslog.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(8);
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(9);
271	ercd = iloc_cpu();
272	check_ercd(ercd, E_OK);
273
274	ercd = isig_sem(SEM1);
275	check_ercd(ercd, E_CTX);
276
277	ercd = iunl_cpu();
278	check_ercd(ercd, E_OK);
279
280	check_point(10);
281	ercd = isig_sem(SEM1);
282	check_ercd(ercd, E_OK);
283
284	return;
285
286	check_point(0);
287
288	case 2:
289	check_point(14);
290	ercd = isig_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(17);
301	ercd = isig_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(21);
312	ercd = isig_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(28);
323	ercd = isig_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(32);
334	ercd = irel_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 = isig_sem(SEM1);
356	check_ercd(ercd, E_CTX);
357
358	check_point(2);
359	ercd = loc_cpu();
360	check_ercd(ercd, E_OK);
361
362	ercd = pol_sem(SEM1);
363	check_ercd(ercd, E_CTX);
364
365	ercd = twai_sem(SEM1, TMO_POL);
366	check_ercd(ercd, E_CTX);
367
368	ercd = unl_cpu();
369	check_ercd(ercd, E_OK);
370
371	check_point(3);
372	ercd = dis_dsp();
373	check_ercd(ercd, E_OK);
374
375	ercd = pol_sem(SEM1);
376	check_ercd(ercd, E_OK);
377
378	ercd = twai_sem(SEM1, TMO_POL);
379	check_ercd(ercd, E_CTX);
380
381	ercd = ena_dsp();
382	check_ercd(ercd, E_OK);
383
384	check_point(4);
385	ercd = chg_ipm(TMAX_INTPRI);
386	check_ercd(ercd, E_OK);
387
388	ercd = pol_sem(SEM1);
389	check_ercd(ercd, E_TMOUT);
390
391	ercd = twai_sem(SEM1, TMO_POL);
392	check_ercd(ercd, E_CTX);
393
394	ercd = chg_ipm(TIPM_ENAALL);
395	check_ercd(ercd, E_OK);
396
397	check_point(5);
398	ercd = twai_sem(SEM1, -2);
399	check_ercd(ercd, E_PAR);
400
401	ercd = twai_sem(SEM1, TMO_POL);
402	check_ercd(ercd, E_TMOUT);
403
404	check_point(6);
405	ercd = sta_alm(ALM1, 10);
406	check_ercd(ercd, E_OK);
407
408	check_point(7);
409	ercd = twai_sem(SEM1, TMO_FEVR);
410	check_ercd(ercd, E_OK);
411
412	check_point(11);
413	ercd = act_tsk(TASK3);
414	check_ercd(ercd, E_OK);
415
416	check_point(12);
417	ercd = wai_sem(SEM1);
418	check_ercd(ercd, E_OK);
419
420	check_point(15);
421	ercd = wai_sem(SEM1);
422	check_ercd(ercd, E_OK);
423
424	check_point(19);
425	ercd = wai_sem(SEM1);
426	check_ercd(ercd, E_OK);
427
428	check_point(23);
429	ercd = act_tsk(TASK2);
430	check_ercd(ercd, E_OK);
431
432	check_point(25);
433	ercd = wai_sem(SEM1);
434	check_ercd(ercd, E_OK);
435
436	check_point(30);
437	ercd = sta_alm(ALM1, 10);
438	check_ercd(ercd, E_OK);
439
440	check_point(31);
441	ercd = twai_sem(SEM1, 100);
442	check_ercd(ercd, E_RLWAI);
443
444	check_point(33);
445	ercd = sta_alm(ALM1, 100);
446	check_ercd(ercd, E_OK);
447
448	check_point(34);
449	ercd = twai_sem(SEM1, 10);
450	check_ercd(ercd, E_TMOUT);
451
452	check_point(35);
453	ercd = stp_alm(ALM1);
454	check_ercd(ercd, E_OK);
455
456	check_finish(36);
457	check_point(0);
458	}
459
460	void
461	task2(intptr_t exinf)
462	{
463	ER_UINT ercd;
464
465	check_point(24);
466	ercd = tslp_tsk(10);
467	check_ercd(ercd, E_TMOUT);
468
469	check_point(27);
470	ercd = sta_alm(ALM1, 10);
471	check_ercd(ercd, E_OK);
472
473	wait_var();
474
475	check_point(29);
476	ercd = ext_tsk();
477
478	check_point(0);
479	}
480
481	void
482	task3(intptr_t exinf)
483	{
484	ER_UINT ercd;
485
486	check_point(13);
487	ercd = sta_alm(ALM1, 10);
488	check_ercd(ercd, E_OK);
489
490	wait_var();
491
492	check_point(16);
493	ercd = sta_alm(ALM1, 10);
494	check_ercd(ercd, E_OK);
495
496	ercd = dis_dsp();
497	check_ercd(ercd, E_OK);
498
499	wait_var();
500
501	check_point(18);
502	ercd = ena_dsp();
503	check_ercd(ercd, E_OK);
504
505	check_point(20);
506	ercd = sta_alm(ALM1, 10);
507	check_ercd(ercd, E_OK);
508
509	ercd = sus_tsk(TASK1);
510	check_ercd(ercd, E_OK);
511
512	wait_var();
513
514	check_point(22);
515	ercd = rsm_tsk(TASK1);
516	check_ercd(ercd, E_OK);
517
518	check_point(26);
519	ercd = ext_tsk();
520
521	check_point(0);
522	}

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

Context Navigation

source: rtos_arduino/trunk/asp_1.9.2/test/test_sem2.c@ 136

Download in other formats: