source: test/test_sem2.c

このファイルの最終更新内容7 で kominami が 2015/09/12 9:22:12 に更新しました

TOPPERS/ASP 1.9.1

ファイルサイズ: 9.9 KB
Rev 
[7]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 *  Ÿåµ­Ãøºîž¢ŒÔ€Ï¡€°Ê²Œ€Î(1)¡Á(4)€ÎŸò·ï€òËþ€¿€¹Ÿì¹ç€ËžÂ€ê¡€ËÜ¥œ¥Õ¥È¥Š¥§
9 *  ¥¢¡ÊËÜ¥œ¥Õ¥È¥Š¥§¥¢€ò²þÊÑ€·€¿€â€Î€òŽÞ€à¡¥°Ê²ŒÆ±€ž¡Ë€ò»ÈÍÑ¡ŠÊ£Àœ¡Š²þ
10 *  ÊÑ¡ŠºÆÇÛÉۡʰʲŒ¡€ÍøÍрȞƀ֡ˀ¹€ë€³€È€ò̵œþ€ÇµöÂú€¹€ë¡¥
11 *  (1) ËÜ¥œ¥Õ¥È¥Š¥§¥¢€ò¥œ¡Œ¥¹¥³¡Œ¥É€Î·Á€ÇÍøÍÑ€¹€ëŸì¹ç€Ë€Ï¡€Ÿåµ­€ÎÃøºî
12 *      ž¢ÉœŒš¡€€³€ÎÍøÍÑŸò·ï€ª€è€Ó²Œµ­€Î̵ÊÝŸÚµ¬Äꀬ¡€€œ€Î€Þ€Þ€Î·Á€Ç¥œ¡Œ
13 *      ¥¹¥³¡Œ¥ÉÃæ€ËŽÞ€Þ€ì€Æ€€€ë€³€È¡¥
14 *  (2) ËÜ¥œ¥Õ¥È¥Š¥§¥¢€ò¡€¥é¥€¥Ö¥é¥ê·ÁŒ°€Ê€É¡€ÂŸ€Î¥œ¥Õ¥È¥Š¥§¥¢³«È¯€Ë»È
15 *      Íрǀ­€ë·Á€ÇºÆÇÛÉÛ€¹€ëŸì¹ç€Ë€Ï¡€ºÆÇÛÉÛ€ËÈŒ€Š¥É¥­¥å¥á¥ó¥È¡ÊÍøÍÑ
16 *      ŒÔ¥Þ¥Ë¥å¥¢¥ë€Ê€É¡Ë€Ë¡€Ÿåµ­€ÎÃøºîž¢ÉœŒš¡€€³€ÎÍøÍÑŸò·ï€ª€è€Ó²Œµ­
17 *      €Î̵ÊÝŸÚµ¬Äê€ò·ÇºÜ€¹€ë€³€È¡¥
18 *  (3) ËÜ¥œ¥Õ¥È¥Š¥§¥¢€ò¡€µ¡Žï€ËÁȀ߹þ€à€Ê€É¡€ÂŸ€Î¥œ¥Õ¥È¥Š¥§¥¢³«È¯€Ë»È
19 *      Íрǀ­€Ê€€·Á€ÇºÆÇÛÉÛ€¹€ëŸì¹ç€Ë€Ï¡€Œ¡€Î€€€º€ì€«€ÎŸò·ï€òËþ€¿€¹€³
20 *      €È¡¥
21 *    (a) ºÆÇÛÉÛ€ËÈŒ€Š¥É¥­¥å¥á¥ó¥È¡ÊÍøÍьԥޥ˥奢¥ë€Ê€É¡Ë€Ë¡€Ÿåµ­€ÎÃø
22 *        ºîž¢ÉœŒš¡€€³€ÎÍøÍÑŸò·ï€ª€è€Ó²Œµ­€Î̵ÊÝŸÚµ¬Äê€ò·ÇºÜ€¹€ë€³€È¡¥
23 *    (b) ºÆÇÛÉۀηÁÂÖ€ò¡€ÊÌ€ËÄê€á€ëÊýË¡€Ë€è€Ã€Æ¡€TOPPERS¥×¥í¥ž¥§¥¯¥È€Ë
24 *        Êó¹ð€¹€ë€³€È¡¥
25 *  (4) ËÜ¥œ¥Õ¥È¥Š¥§¥¢€ÎÍøÍрˀè€êÄŸÀÜŪ€Þ€¿€ÏŽÖÀÜŪ€ËÀž€ž€ë€€€«€Ê€ë»
26 *      ³²€«€é€â¡€Ÿåµ­Ãøºîž¢ŒÔ€ª€è€ÓTOPPERS¥×¥í¥ž¥§¥¯¥È€òÌÈÀÕ€¹€ë€³€È¡¥
27 *      €Þ€¿¡€ËÜ¥œ¥Õ¥È¥Š¥§¥¢€Î¥æ¡Œ¥¶€Þ€¿€Ï¥š¥ó¥É¥æ¡Œ¥¶€«€é€Î€€€«€Ê€ëÍý
28 *      ͳ€ËŽð€Å€¯ÀÁµá€«€é€â¡€Ÿåµ­Ãøºîž¢ŒÔ€ª€è€ÓTOPPERS¥×¥í¥ž¥§¥¯¥È€ò
29 *      ÌÈÀÕ€¹€ë€³€È¡¥
30 *
31 *  ËÜ¥œ¥Õ¥È¥Š¥§¥¢€Ï¡€ÌµÊÝŸÚ€ÇÄó¶¡€µ€ì€Æ€€€ë€â€Î€Ç€¢€ë¡¥Ÿåµ­Ãøºîž¢ŒÔ€ª
32 *  €è€ÓTOPPERS¥×¥í¥ž¥§¥¯¥È€Ï¡€ËÜ¥œ¥Õ¥È¥Š¥§¥¢€ËŽØ€·€Æ¡€ÆÃÄê€Î»ÈÍÑÌÜŪ
33 *  €ËÂЀ¹€ëŬ¹çÀ­€âŽÞ€á€Æ¡€€€€«€Ê€ëÊÝŸÚ€â¹Ô€ï€Ê€€¡¥€Þ€¿¡€ËÜ¥œ¥Õ¥È¥Š¥§
34 *  ¥¢€ÎÍøÍрˀè€êÄŸÀÜŪ€Þ€¿€ÏŽÖÀÜŪ€ËÀž€ž€¿€€€«€Ê€ë»³²€ËŽØ€·€Æ€â¡€€œ
35 *  €ÎÀÕÇ€€òÉé€ï€Ê€€¡¥
36 *
37 *  $Id$
38 */
39
40/*
41 *              ¥»¥Þ¥Õ¥©µ¡Çœ€Î¥Æ¥¹¥È(2)
42 *
43 * ¡Ú¥Æ¥¹¥È€ÎÌÜŪ¡Û
44 *
45 *  isig_sem€ò¡€sig_sem€È€Î°ã€€€òÃæ¿Ž€Ë¥Æ¥¹¥È€¹€ë¡¥
46 *  pol_sem¡€twai_sem€ò¡€wai_sem€È€Î°ã€€€òÃæ¿Ž€Ë¥Æ¥¹¥È€¹€ë¡¥
47 *
48 * ¡Ú¥Æ¥¹¥È¹àÌÜ¡Û
49 *
50 *      (A) isig_sem€ÎÀÅŪ¥š¥é¡Œ€Î¥Æ¥¹¥È
51 *              (A-1) ¥¿¥¹¥¯¥³¥ó¥Æ¥­¥¹¥È€«€é€ÎžÆœÐ€·
52 *              (A-2) CPU¥í¥Ã¥¯ŸõÂÖ€«€é€ÎžÆœÐ€·
53 *      (B) isig_sem€Ë€è€ê¥»¥Þ¥Õ¥©ÂÔ€ÁŸõÂրΥ¿¥¹¥¯€¬ÂÔ€Á²òœü€µ€ì€ë
54 *              (B-1) ¥¢¥€¥É¥ëŸõÂÖ€«€é¡€ÂÔ€Á²òœü€µ€ì€¿¥¿¥¹¥¯€ËÀڀꎹ€ï€ë
55 *              (B-2) ŒÂ¹ÔŸõÂրΥ¿¥¹¥¯€«€é¡€ÂÔ€Á²òœü€µ€ì€¿¥¿¥¹¥¯€ËÀڀꎹ€ï€ë
56 *              (B-3) ¥Ç¥£¥¹¥Ñ¥Ã¥ÁÊÝαŸõÂրǡ€Àڀꎹ€ï€é€Ê€€
57 *              (B-4) ÂÔ€Á²òœü€µ€ì€¿¥¿¥¹¥¯€¬¶¯À©ÂÔ€ÁŸõÂրǡ€Àڀꎹ€ï€é€Ê€€
58 *              (B-5) ÂÔ€Á²òœü€µ€ì€¿¥¿¥¹¥¯€¬Í¥ÀèÅÙ€¬Ä〯¡€Àڀꎹ€ï€é€Ê€€
59 *      (C) pol_sem€ÎÀÅŪ¥š¥é¡Œ€Î¥Æ¥¹¥È
60 *              (C-1) È󥿥¹¥¯¥³¥ó¥Æ¥­¥¹¥È€«€é€ÎžÆœÐ€·
61 *              (C-2) CPU¥í¥Ã¥¯ŸõÂÖ€«€é€ÎžÆœÐ€·
62 *              (C-3) ¥Ç¥£¥¹¥Ñ¥Ã¥Á¶Ø»ßŸõÂÖ€«€é€ÎžÆœÐ€·¡ÊE_CTX¥š¥é¡Œ€Ë€Ê€é€Ê€€¡Ë
63 *              (C-4) ³ä¹þ€ßÍ¥ÀèÅÙ¥Þ¥¹¥¯Á޲òœü€Ç€Ê€€ŸõÂÖ€«€é€ÎžÆœÐ€·¡ÊE_CTX¥š¥é¡Œ
64 *                    €Ë€Ê€é€Ê€€¡Ë
65 *      (D) pol_sem€Ç¥Ý¡Œ¥ê¥ó¥°ŒºÇÔ€¹€ë
66 *      (E) twai_sem€ÎÀÅŪ¥š¥é¡Œ€Î¥Æ¥¹¥È
67 *              (E-1) È󥿥¹¥¯¥³¥ó¥Æ¥­¥¹¥È€«€é€ÎžÆœÐ€·
68 *              (E-2) CPU¥í¥Ã¥¯ŸõÂÖ€«€é€ÎžÆœÐ€·
69 *              (E-3) ¥Ç¥£¥¹¥Ñ¥Ã¥Á¶Ø»ßŸõÂÖ€«€é€ÎžÆœÐ€·
70 *              (E-4) ³ä¹þ€ßÍ¥ÀèÅÙ¥Þ¥¹¥¯Á޲òœü€Ç€Ê€€ŸõÂÖ€«€é€ÎžÆœÐ€·
71 *              (E-5) tmout€¬ÉÔÀµ
72 *      (F) twai_sem€Çtmout=TMO_POL€Î»þ€Ë¥Ý¡Œ¥ê¥ó¥°ŒºÇÔ€¹€ë
73 *      (G) twai_sem€Çtmout=TMO_FEVR€Î»þ€Ë¥»¥Þ¥Õ¥©ÂÔ€ÁŸõÂրˀʀë
74 *      (H) twai_sem€Çtmout€Ë¥¿¥€¥à¥¢¥Š¥È€òÀßÄꀷ€¿»þ€Ë¡€¥¿¥€¥à¥¢¥Š¥ÈÉÕ€­€Î
75 *              ¥»¥Þ¥Õ¥©ÂÔ€ÁŸõÂրˀʀë
76 *
77 * ¡Ú»ÈÍѥ꥜¡Œ¥¹¡Û
78 *
79 *      TASK1: ÃæÍ¥ÀèÅÙ¥¿¥¹¥¯¡€TA_ACT°À­
80 *      TASK2: ¹âÍ¥ÀèÅÙ¥¿¥¹¥¯
81 *      TASK3: ÄãÍ¥ÀèÅÙ¥¿¥¹¥¯
82 *      TASK4: ÃæÍ¥ÀèÅÙ¥¿¥¹¥¯
83 *      TASK5: ÃæÍ¥ÀèÅÙ¥¿¥¹¥¯
84 *      ALM1:  ¥¢¥é¡Œ¥à¥Ï¥ó¥É¥é
85 *  SEM1:  TA_NULL°À­¡€œéŽü»ñž»¿ô1¡€ºÇÂç»ñž»¿ô1
86 *
87 * ¡Ú¥Æ¥¹¥È¥·¡Œ¥±¥ó¥¹¡Û
88 *
89 *      == TASK1¡ÊÍ¥ÀèÅÙ¡§Ãæ¡Ë==
90 *  1:  isig_sem(SEM1) -> E_CTX                         ... (A-1)
91 *      2:      loc_cpu()
92 *              pol_sem(SEM1) -> E_CTX                          ... (C-2)
93 *              twai_sem(SEM1, TMO_POL) -> E_CTX        ... (E-2)
94 *              unl_cpu()
95 *      3:      dis_dsp()
96 *              pol_sem(SEM1)                                           ... (C-3)
97 *              twai_sem(SEM1, TMO_POL) -> E_CTX        ... (E-3)
98 *              ena_dsp()
99 *      4:      chg_ipm(TMAX_INTPRI)
100 *              pol_sem(SEM1) -> E_TMOUT                        ... (C-4)(D)
101 *              twai_sem(SEM1, TMO_POL) -> E_CTX        ... (E-4)
102 *              chg_ipm(TIPM_ENAALL)
103 *      5:      twai_sem(SEM1, -2) -> E_PAR                     ... (E-5)
104 *              twai_sem(SEM1, TMO_POL) -> E_TMOUT      ... (F)
105 *      6:      sta_alm(ALM1, 10)
106 *      7:      twai_sem(SEM1, TMO_FEVR)                        ... (G)
107 *      == ALM1-1 ==
108 *      8:      pol_sem(SEM1) -> E_CTX                          ... (C-1)
109 *              twai_sem(SEM1, TMO_POL) -> E_CTX        ... (E-1)
110 *      9:      iloc_cpu()
111 *              isig_sem(SEM1) -> E_CTX                         ... (A-2)
112 *              iunl_cpu()
113 *      10:     isig_sem(SEM1)                                          ... (B-1)
114 *              RETURN
115 *      == TASK1¡Ê³€­¡Ë==
116 *      11:     act_tsk(TASK3)
117 *      12:     wai_sem(SEM1)
118 *      == TASK3¡ÊÍ¥ÀèÅÙ¡§Äã¡Ë==
119 *      13:     sta_alm(ALM1, 10)
120 *              call(wait_var())
121 *      == ALM1-2 ==
122 *      14:     isig_sem(SEM1)                                          ... (B-2)
123 *              call(signal_var())
124 *              RETURN
125 *      == TASK1¡Ê³€­¡Ë==
126 *      15:     wai_sem(SEM1)
127 *      == TASK3¡Ê³€­¡Ë==
128 *      16:     sta_alm(ALM1, 10)
129 *              dis_dsp()
130 *              call(wait_var())
131 *      == ALM1-3 ==
132 *      17:     isig_sem(SEM1)                                          ... (B-3)
133 *              call(signal_var())
134 *              RETURN
135 *      == TASK3¡Ê³€­¡Ë==
136 *      18:     ena_dsp()
137 *      == TASK1¡Ê³€­¡Ë==
138 *      19:     wai_sem(SEM1)
139 *      == TASK3¡Ê³€­¡Ë==
140 *      20:     sta_alm(ALM1, 10)
141 *              sus_tsk(TASK1)
142 *              call(wait_var())
143 *      == ALM1-4 ==
144 *      21:     isig_sem(SEM1)                                          ... (B-4)
145 *              call(signal_var())
146 *              RETURN
147 *      == TASK3¡Ê³€­¡Ë==
148 *      22:     rsm_tsk(TASK1)
149 *      == TASK1¡Ê³€­¡Ë==
150 *      23:     act_tsk(TASK2)
151 *      == TASK2¡ÊÍ¥ÀèÅÙ¡§¹â¡Ë==
152 *      24:     tslp_tsk(10) -> E_TMOUT
153 *      == TASK1¡Ê³€­¡Ë==
154 *      25:     wai_sem(SEM1)
155 *      == TASK3¡Ê³€­¡Ë==
156 *      26:     ext_tsk() -> noreturn
157 *      == TASK2¡Ê³€­¡Ë==
158 *      27:     sta_alm(ALM1, 10)
159 *              call(wait_var())
160 *      == ALM1-5 ==
161 *      28:     isig_sem(SEM1)                                          ... (B-5)
162 *              call(signal_var())
163 *              RETURN
164 *      == TASK2¡Ê³€­¡Ë==
165 *      29:     ext_tsk() -> noreturn
166 *      == TASK1¡Ê³€­¡Ë==
167 *      30:     sta_alm(ALM1, 10)
168 *      31:     twai_sem(SEM1, 100) -> E_RLWAI
169 *      == ALM1-6 ==
170 *      32:     irel_wai(TASK1)
171 *              RETURN
172 *      == TASK1¡Ê³€­¡Ë==
173 *      33:     sta_alm(ALM1, 100)
174 *      34:     twai_sem(SEM1, 10) -> E_TMOUT           ... (H)
175 *      35:     stp_alm(ALM1)
176 *      36:     END
177 */
178
179#include <kernel.h>
180#include <test_lib.h>
181#include <t_syslog.h>
182#include "kernel_cfg.h"
183#include "test_sem2.h"
184
185static volatile bool_t  flagvar;
186
187static void
188wait_var(void)
189{
190        flagvar = false;
191        while (!flagvar);
192}
193
194static void
195signal_var(void)
196{
197        flagvar = true;
198}
199
200/* DO NOT DELETE THIS LINE -- gentest depends on it. */
201
202static uint_t   alarm1_count = 0;
203
204void
205alarm1_handler(intptr_t exinf)
206{
207        ER_UINT ercd;
208
209        switch (++alarm1_count) {
210        case 1:
211                check_point(8);
212                ercd = pol_sem(SEM1);
213                check_ercd(ercd, E_CTX);
214
215                ercd = twai_sem(SEM1, TMO_POL);
216                check_ercd(ercd, E_CTX);
217
218                check_point(9);
219                ercd = iloc_cpu();
220                check_ercd(ercd, E_OK);
221
222                ercd = isig_sem(SEM1);
223                check_ercd(ercd, E_CTX);
224
225                ercd = iunl_cpu();
226                check_ercd(ercd, E_OK);
227
228                check_point(10);
229                ercd = isig_sem(SEM1);
230                check_ercd(ercd, E_OK);
231
232                return;
233
234                check_point(0);
235
236        case 2:
237                check_point(14);
238                ercd = isig_sem(SEM1);
239                check_ercd(ercd, E_OK);
240
241                signal_var();
242
243                return;
244
245                check_point(0);
246
247        case 3:
248                check_point(17);
249                ercd = isig_sem(SEM1);
250                check_ercd(ercd, E_OK);
251
252                signal_var();
253
254                return;
255
256                check_point(0);
257
258        case 4:
259                check_point(21);
260                ercd = isig_sem(SEM1);
261                check_ercd(ercd, E_OK);
262
263                signal_var();
264
265                return;
266
267                check_point(0);
268
269        case 5:
270                check_point(28);
271                ercd = isig_sem(SEM1);
272                check_ercd(ercd, E_OK);
273
274                signal_var();
275
276                return;
277
278                check_point(0);
279
280        case 6:
281                check_point(32);
282                ercd = irel_wai(TASK1);
283                check_ercd(ercd, E_OK);
284
285                return;
286
287                check_point(0);
288
289        default:
290                check_point(0);
291        }
292        check_point(0);
293}
294
295void
296task1(intptr_t exinf)
297{
298        ER_UINT ercd;
299
300        test_start(__FILE__);
301
302        check_point(1);
303        ercd = isig_sem(SEM1);
304        check_ercd(ercd, E_CTX);
305
306        check_point(2);
307        ercd = loc_cpu();
308        check_ercd(ercd, E_OK);
309
310        ercd = pol_sem(SEM1);
311        check_ercd(ercd, E_CTX);
312
313        ercd = twai_sem(SEM1, TMO_POL);
314        check_ercd(ercd, E_CTX);
315
316        ercd = unl_cpu();
317        check_ercd(ercd, E_OK);
318
319        check_point(3);
320        ercd = dis_dsp();
321        check_ercd(ercd, E_OK);
322
323        ercd = pol_sem(SEM1);
324        check_ercd(ercd, E_OK);
325
326        ercd = twai_sem(SEM1, TMO_POL);
327        check_ercd(ercd, E_CTX);
328
329        ercd = ena_dsp();
330        check_ercd(ercd, E_OK);
331
332        check_point(4);
333        ercd = chg_ipm(TMAX_INTPRI);
334        check_ercd(ercd, E_OK);
335
336        ercd = pol_sem(SEM1);
337        check_ercd(ercd, E_TMOUT);
338
339        ercd = twai_sem(SEM1, TMO_POL);
340        check_ercd(ercd, E_CTX);
341
342        ercd = chg_ipm(TIPM_ENAALL);
343        check_ercd(ercd, E_OK);
344
345        check_point(5);
346        ercd = twai_sem(SEM1, -2);
347        check_ercd(ercd, E_PAR);
348
349        ercd = twai_sem(SEM1, TMO_POL);
350        check_ercd(ercd, E_TMOUT);
351
352        check_point(6);
353        ercd = sta_alm(ALM1, 10);
354        check_ercd(ercd, E_OK);
355
356        check_point(7);
357        ercd = twai_sem(SEM1, TMO_FEVR);
358        check_ercd(ercd, E_OK);
359
360        check_point(11);
361        ercd = act_tsk(TASK3);
362        check_ercd(ercd, E_OK);
363
364        check_point(12);
365        ercd = wai_sem(SEM1);
366        check_ercd(ercd, E_OK);
367
368        check_point(15);
369        ercd = wai_sem(SEM1);
370        check_ercd(ercd, E_OK);
371
372        check_point(19);
373        ercd = wai_sem(SEM1);
374        check_ercd(ercd, E_OK);
375
376        check_point(23);
377        ercd = act_tsk(TASK2);
378        check_ercd(ercd, E_OK);
379
380        check_point(25);
381        ercd = wai_sem(SEM1);
382        check_ercd(ercd, E_OK);
383
384        check_point(30);
385        ercd = sta_alm(ALM1, 10);
386        check_ercd(ercd, E_OK);
387
388        check_point(31);
389        ercd = twai_sem(SEM1, 100);
390        check_ercd(ercd, E_RLWAI);
391
392        check_point(33);
393        ercd = sta_alm(ALM1, 100);
394        check_ercd(ercd, E_OK);
395
396        check_point(34);
397        ercd = twai_sem(SEM1, 10);
398        check_ercd(ercd, E_TMOUT);
399
400        check_point(35);
401        ercd = stp_alm(ALM1);
402        check_ercd(ercd, E_OK);
403
404        check_finish(36);
405        check_point(0);
406}
407
408void
409task2(intptr_t exinf)
410{
411        ER_UINT ercd;
412
413        check_point(24);
414        ercd = tslp_tsk(10);
415        check_ercd(ercd, E_TMOUT);
416
417        check_point(27);
418        ercd = sta_alm(ALM1, 10);
419        check_ercd(ercd, E_OK);
420
421        wait_var();
422
423        check_point(29);
424        ercd = ext_tsk();
425
426        check_point(0);
427}
428
429void
430task3(intptr_t exinf)
431{
432        ER_UINT ercd;
433
434        check_point(13);
435        ercd = sta_alm(ALM1, 10);
436        check_ercd(ercd, E_OK);
437
438        wait_var();
439
440        check_point(16);
441        ercd = sta_alm(ALM1, 10);
442        check_ercd(ercd, E_OK);
443
444        ercd = dis_dsp();
445        check_ercd(ercd, E_OK);
446
447        wait_var();
448
449        check_point(18);
450        ercd = ena_dsp();
451        check_ercd(ercd, E_OK);
452
453        check_point(20);
454        ercd = sta_alm(ALM1, 10);
455        check_ercd(ercd, E_OK);
456
457        ercd = sus_tsk(TASK1);
458        check_ercd(ercd, E_OK);
459
460        wait_var();
461
462        check_point(22);
463        ercd = rsm_tsk(TASK1);
464        check_ercd(ercd, E_OK);
465
466        check_point(26);
467        ercd = ext_tsk();
468
469        check_point(0);
470}
詳しい使い方は TracBrowser を参照してください。