Context Navigation

← Previous Revision
Latest Revision
Next Revision →
Blame
Revision Log

source: asp3_wo_tecs/trunk/extension/subprio/test/test_subprio1.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: 10.5 KB

Line
1	/*
2	* TOPPERS Software
3	* Toyohashi Open Platform for Embedded Real-Time Systems
4	*
5	* Copyright (C) 2014-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_subprio1.c 310 2015-02-08 13:46:46Z ertl-hiro $
53	*/
54
55	/*
56	* ãµãåªå
57	åº¦æ©è½ã®ãã¹ã(1)
58	*
59	* ããã¹ãã®ç®çã
60	*
61	* ãµãåªå
62	åº¦ãç¨ããã¹ã±ã¸ã¥ã¼ãªã³ã°ã«é¢ãã¦ç¶²ç¾
63	çã«ãã¹ãããï¼
64	*
65	* ããã¹ãé
66	ç®ã
67	*
68	* (A) ãµãåªå
69	åº¦ã®åæå
70	* (A-1) ã¿ã¹ã¯ã®çææã«UINT_MAXã«åæåããããã¨ï¼»NGKI3681ï¼½
71	* (A-2) ã¿ã¹ã¯ã®èµ·åæã«ã¯å¤æ´ãããªããã¨
72	* (B) ãµãåªå
73	åº¦ãç¨ããåªå
74	é ä½ã®æ±ºå®
75	* (B-1) ãµãåªå
76	åº¦ãé«ãã¿ã¹ã¯ãé«ãåªå
77	é ä½ãæã¤ãã¨ï¼»NGKI0560ï¼½
78	* (B-2) ãµãåªå
79	åº¦ãåä¸ã®ã¿ã¹ã¯ã®éã§ã¯FCFSã«ãªããã¨ï¼»NGKI0561ï¼½
80	* (C) chg_sprã«ãããµãåªå
81	åº¦ã®å¤æ´ï¼»NGKI3672ï¼½
82	* (C-1) å®è¡ç¶æ
83	ã®ã¿ã¹ã¯ã«å¯¾ããchg_sprï¼ã¿ã¹ã¯åæããªãï¼
84	* (C-2) å®è¡ç¶æ
85	ã®ã¿ã¹ã¯ã«å¯¾ããchg_sprï¼ã¿ã¹ã¯åæãããï¼
86	* (C-3) å®è¡å¯è½ç¶æ
87	ã®ã¿ã¹ã¯ã«å¯¾ããchg_sprï¼ã¿ã¹ã¯åæããªãï¼
88	* (C-4) å®è¡å¯è½ç¶æ
89	ã®ã¿ã¹ã¯ã«å¯¾ããchg_sprï¼ã¿ã¹ã¯åæãããï¼
90	* (C-5) ä¼æ¢ç¶æ
91	ã®ã¿ã¹ã¯ã«å¯¾ããchg_spr
92	* (C-6) åããµãåªå
93	åº¦ã®ã¿ã¹ã¯ã®ä¸ã§æä½åªå
94	é ä½ã«ãªããã¨ï¼»NGKI3673ï¼½
95	* (D) ãµãåªå
96	åº¦ã®åç
97	§
98	* (D-1) ref_tskã«ããï¼ãµãåªå
99	åº¦ãåç
100	§ã§ãããã¨ï¼»NGKINGKI3662ï¼½
101	* (E) chg_priã«ããåªå
102	é ä½ã®å¤æ´
103	* (E-1) åªå
104	åº¦ä¸éãã¥ã¼ããã¯ã¹ãããã¯ãã¦ããªãæ
105	* (E-2) åªå
106	åº¦ä¸éãã¥ã¼ããã¯ã¹ãããã¯ãã¦ããæ â¦ å®æ½ããªã
107	* â»ï¼»NGKI3682ï¼½ã«ããï¼ãµãåªå
108	åº¦æ©è½ã¨çµ¡ããã¨ããªã
109	* (F) ãã¥ã¼ããã¯ã¹ã«ããç¾å¨åªå
110	åº¦ã®å¤æ´
111	* (F-1) ãµã¼ãã¹ã³ã¼ã«ã®åå¾ã¨ãå®è¡ã§ããç¶æ
112	ã®æ
113	* (F-2) ãµã¼ãã¹ã³ã¼ã«ã«ããå®è¡ã§ããç¶æ
114	ã«ãªã£ãæ â¦ å®æ½ããªã
115	* â»ï¼»NGKI3682ï¼½ã«ããï¼ãµãåªå
116	åº¦æ©è½ã¨çµ¡ããã¨ããªã
117	* (G) ãµãåªå
118	åº¦ãç¨ããï¼ç¨ããªãåªå
119	åº¦ãå¯¾è±¡ã¨ããrot_rdq
120	* (G-1) rot_rdqãE_ILUSEã¨ã©ã¼ã«ãªããã¨ï¼»NGKI3663ï¼½
121	* (G-2) ãµãåªå
122	åº¦ãç¨ããªãåªå
123	åº¦ãå¯¾è±¡ã«ããæ
124	* (H) ãµãåªå
125	åº¦ãç¨ããåªå
126	åº¦ãENA_SPRã«ããè¨å®ã§ãããã¨ï¼»NGKI3675ï¼½
127	*
128	* ãä½¿ç¨ãªã½ã¼ã¹ã
129	*
130	* TASK1: é«åªå
131	åº¦ã¿ã¹ã¯ï¼ã¡ã¤ã³ã¿ã¹ã¯ï¼æåããèµ·å
132	* TASK2: ä¸åªå
133	åº¦ã¿ã¹ã¯
134	* TASK3: ä¸åªå
135	åº¦ã¿ã¹ã¯
136	* TASK4: ä¸åªå
137	åº¦ã¿ã¹ã¯
138	* TASK5: ä¸åªå
139	åº¦ã¿ã¹ã¯
140	* ä¸åªå
141	åº¦ãï¼ãµãåªå
142	åº¦ãä½¿ã£ã¦åªå
143	é ä½ãæ±ºããããã«è¨å®
144	* MTX1: ãã¥ã¼ããã¯ã¹ï¼TA_CEILINGå±æ§ï¼ä¸éã¯ä¸åªå
145	åº¦ï¼
146	*
147	* ããã¹ãã·ã¼ã±ã³ã¹ã
148	*
149	* == TASK1ï¼åªå
150	åº¦ï¼é«ï¼==
151	* 1: act_tsk(TASK2)
152	* ref_tsk(TASK2, &rtsk) ... (A-1)(D-1)
153	* assert(rtsk.subpri == UINT_MAX)
154	* act_tsk(TASK3)
155	* act_tsk(TASK4)
156	* act_tsk(TASK5)
157	* slp_tsk()
158	* == TASK2-1ï¼åªå
159	åº¦ï¼ä¸ï¼1åãï¼==
160	* 2: rot_rdq(MID_PRIORITY) -> E_ILUSE ... (G-1)
161	* rot_rdq(LOW_PRIORITY) ... (G-2)
162	* chg_pri(TSK_SELF, TPRI_INI)
163	* == TASK3-1ï¼åªå
164	åº¦ï¼ä¸ï¼1åãï¼== ... (B-2)
165	* 3: chg_pri(TSK_SELF, TPRI_INI) ... (E-1)
166	* == TASK4-1ï¼åªå
167	åº¦ï¼ä¸ï¼1åãï¼==
168	* 4: chg_pri(TSK_SELF, TPRI_INI)
169	* == TASK5ï¼åªå
170	åº¦ï¼ä¸ï¼==
171	* 5: chg_pri(TSK_SELF, TPRI_INI)
172	* == TASK2-1ï¼ç¶ãï¼==
173	* 6: wup_tsk(TASK1)
174	* == TASK1ï¼ç¶ãï¼==
175	* 7: chg_spr(TASK2, 10)
176	* ref_tsk(TASK2, &rtsk)
177	* assert(rtsk.subpri == 10)
178	* chg_spr(TASK3, 5)
179	* chg_spr(TASK4, 5) ... (C-6)
180	* slp_tsk()
181	* == TASK3-1ï¼ç¶ãï¼== ... (B-1)
182	* 8: ext_tsk()
183	* == TASK4-1ï¼ç¶ãï¼==
184	* 9: chg_spr(TSK_SELF, 5) ... (C-1)
185	* 10: chg_spr(TSK_SELF, 10) ... (C-2)
186	* == TASK2-1ï¼ç¶ãï¼==
187	* 11: chg_spr(TASK4, 10) ... (C-3)
188	* 12: chg_spr(TASK4, 5) ... (C-4)
189	* == TASK4-1ï¼ç¶ãï¼==
190	* 13: ext_tsk()
191	* == TASK2-1ï¼ç¶ãï¼==
192	* 14: ext_tsk()
193	* == TASK5ï¼ç¶ãï¼==
194	* 15: wup_tsk(TASK1)
195	* == TASK1ï¼ç¶ãï¼==
196	* 16: act_tsk(TASK4)
197	* chg_spr(TASK3, 10) ... (C-5)
198	* act_tsk(TASK3)
199	* ref_tsk(TASK3, &rtsk)
200	* assert(rtsk.subpri == 10)
201	* act_tsk(TASK2)
202	* ref_tsk(TASK2, &rtsk) ... (A-2)
203	* assert(rtsk.subpri == 10)
204	* slp_tsk()
205	* == TASK4-2ï¼2åãï¼==
206	* 17: ext_tsk()
207	* == TASK3-2ï¼2åãï¼==
208	* 18: loc_mtx(MTX1)
209	* unl_mtx(MTX1) ... (F-1)
210	* ext_tsk()
211	* == TASK2-2ï¼2åãï¼==
212	* 19: ext_tsk()
213	* == TASK5ï¼ç¶ãï¼==
214	* 20: wup_tsk(TASK1)
215	* == TASK1ï¼ç¶ãï¼==
216	* 21: END
217	*/
218
219	#include <kernel.h>
220	#include <t_syslog.h>
221	#include "syssvc/test_svc.h"
222	#include "kernel_cfg.h"
223	#include "test_subprio1.h"
224
225	/* DO NOT DELETE THIS LINE -- gentest depends on it. */
226
227	void
228	task1(intptr_t exinf)
229	{
230	ER_UINT ercd;
231	T_RTSK rtsk;
232
233	test_start(__FILE__);
234
235	check_point(1);
236	ercd = act_tsk(TASK2);
237	check_ercd(ercd, E_OK);
238
239	ercd = ref_tsk(TASK2, &rtsk);
240	check_ercd(ercd, E_OK);
241
242	check_assert(rtsk.subpri == UINT_MAX);
243
244	ercd = act_tsk(TASK3);
245	check_ercd(ercd, E_OK);
246
247	ercd = act_tsk(TASK4);
248	check_ercd(ercd, E_OK);
249
250	ercd = act_tsk(TASK5);
251	check_ercd(ercd, E_OK);
252
253	ercd = slp_tsk();
254	check_ercd(ercd, E_OK);
255
256	check_point(7);
257	ercd = chg_spr(TASK2, 10);
258	check_ercd(ercd, E_OK);
259
260	ercd = ref_tsk(TASK2, &rtsk);
261	check_ercd(ercd, E_OK);
262
263	check_assert(rtsk.subpri == 10);
264
265	ercd = chg_spr(TASK3, 5);
266	check_ercd(ercd, E_OK);
267
268	ercd = chg_spr(TASK4, 5);
269	check_ercd(ercd, E_OK);
270
271	ercd = slp_tsk();
272	check_ercd(ercd, E_OK);
273
274	check_point(16);
275	ercd = act_tsk(TASK4);
276	check_ercd(ercd, E_OK);
277
278	ercd = chg_spr(TASK3, 10);
279	check_ercd(ercd, E_OK);
280
281	ercd = act_tsk(TASK3);
282	check_ercd(ercd, E_OK);
283
284	ercd = ref_tsk(TASK3, &rtsk);
285	check_ercd(ercd, E_OK);
286
287	check_assert(rtsk.subpri == 10);
288
289	ercd = act_tsk(TASK2);
290	check_ercd(ercd, E_OK);
291
292	ercd = ref_tsk(TASK2, &rtsk);
293	check_ercd(ercd, E_OK);
294
295	check_assert(rtsk.subpri == 10);
296
297	ercd = slp_tsk();
298	check_ercd(ercd, E_OK);
299
300	check_finish(21);
301	check_point(0);
302	}
303
304	static uint_t task2_count = 0;
305
306	void
307	task2(intptr_t exinf)
308	{
309	ER_UINT ercd;
310
311	switch (++task2_count) {
312	case 1:
313	check_point(2);
314	ercd = rot_rdq(MID_PRIORITY);
315	check_ercd(ercd, E_ILUSE);
316
317	ercd = rot_rdq(LOW_PRIORITY);
318	check_ercd(ercd, E_OK);
319
320	ercd = chg_pri(TSK_SELF, TPRI_INI);
321	check_ercd(ercd, E_OK);
322
323	check_point(6);
324	ercd = wup_tsk(TASK1);
325	check_ercd(ercd, E_OK);
326
327	check_point(11);
328	ercd = chg_spr(TASK4, 10);
329	check_ercd(ercd, E_OK);
330
331	check_point(12);
332	ercd = chg_spr(TASK4, 5);
333	check_ercd(ercd, E_OK);
334
335	check_point(14);
336	ercd = ext_tsk();
337	check_ercd(ercd, E_OK);
338
339	check_point(0);
340
341	case 2:
342	check_point(19);
343	ercd = ext_tsk();
344	check_ercd(ercd, E_OK);
345
346	check_point(0);
347
348	default:
349	check_point(0);
350	}
351	check_point(0);
352	}
353
354	static uint_t task3_count = 0;
355
356	void
357	task3(intptr_t exinf)
358	{
359	ER_UINT ercd;
360
361	switch (++task3_count) {
362	case 1:
363	check_point(3);
364	ercd = chg_pri(TSK_SELF, TPRI_INI);
365	check_ercd(ercd, E_OK);
366
367	check_point(8);
368	ercd = ext_tsk();
369	check_ercd(ercd, E_OK);
370
371	check_point(0);
372
373	case 2:
374	check_point(18);
375	ercd = loc_mtx(MTX1);
376	check_ercd(ercd, E_OK);
377
378	ercd = unl_mtx(MTX1);
379	check_ercd(ercd, E_OK);
380
381	ercd = ext_tsk();
382	check_ercd(ercd, E_OK);
383
384	check_point(0);
385
386	default:
387	check_point(0);
388	}
389	check_point(0);
390	}
391
392	static uint_t task4_count = 0;
393
394	void
395	task4(intptr_t exinf)
396	{
397	ER_UINT ercd;
398
399	switch (++task4_count) {
400	case 1:
401	check_point(4);
402	ercd = chg_pri(TSK_SELF, TPRI_INI);
403	check_ercd(ercd, E_OK);
404
405	check_point(9);
406	ercd = chg_spr(TSK_SELF, 5);
407	check_ercd(ercd, E_OK);
408
409	check_point(10);
410	ercd = chg_spr(TSK_SELF, 10);
411	check_ercd(ercd, E_OK);
412
413	check_point(13);
414	ercd = ext_tsk();
415	check_ercd(ercd, E_OK);
416
417	check_point(0);
418
419	case 2:
420	check_point(17);
421	ercd = ext_tsk();
422	check_ercd(ercd, E_OK);
423
424	check_point(0);
425
426	default:
427	check_point(0);
428	}
429	check_point(0);
430	}
431
432	void
433	task5(intptr_t exinf)
434	{
435	ER_UINT ercd;
436
437	check_point(5);
438	ercd = chg_pri(TSK_SELF, TPRI_INI);
439	check_ercd(ercd, E_OK);
440
441	check_point(15);
442	ercd = wup_tsk(TASK1);
443	check_ercd(ercd, E_OK);
444
445	check_point(20);
446	ercd = wup_tsk(TASK1);
447	check_ercd(ercd, E_OK);
448
449	check_point(0);
450	}

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

Download in other formats: