source: extension/mutex/test/test_mutex4.c

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

TOPPERS/ASP 1.9.1
ファイルサイズ: 19.1 KB
行 
1/*
2 *  TOPPERS Software
3 *      Toyohashi Open Platform for Embedded Real-Time Systems
4 *
5 *  Copyright (C) 2007-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 *              ¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹€Î¥Æ¥¹¥È(4)
42 *
43 * ¡Ú¥Æ¥¹¥È€ÎÌÜŪ¡Û
44 *
45 *  Í¥ÀèÅÙŸåžÂ¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹€ËÂЀ·€Æ¡€loc_mtx€Èunl_mtx€ËÈŒ€ŠÍ¥ÀèÅÙ€ÎÊÑ
46 *  ¹¹œèÍý€òÌÖÍåŪ€Ë¥Æ¥¹¥È€¹€ë¡¥€¿€À€·¡€change_priority€È
47 *  mutex_calc_priority€ÎÆâÍƀˀÏƧ€ß¹þ€Þ€Ê€€¡¥
48 *
49 * ¡Ú¥Æ¥¹¥È¹àÌÜ¡Û
50 *
51 *      (A) ¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹€Î¥í¥Ã¥¯œèÍý¡Êloc_mtx¡Ë€ËÈŒ€ŠÍ¥ÀèÅÙÊѹ¹
52 *              (A-1) ¥í¥Ã¥¯€·€¿¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹€ÎÍ¥ÀèÅÙŸåžÂ€¬Œ«¥¿¥¹¥¯€ÎžœºßÍ¥Àè
53 *                        ÅÙ€è€ê€â¹â€€Ÿì¹ç€Ë¡€Œ«¥¿¥¹¥¯€ÎÍ¥ÀèÅÙ€¬€œ€ÎÍ¥ÀèÅÙŸåžÂ€Þ€Ç
54 *                        Ÿå€¬€ë€³€È¡¥€Þ€¿¡€Æ±€žÍ¥ÀèÅÙÆâ€Ç€ÎÍ¥Àèœç°Ì€¬ºÇ¹â€Ë€Ê€ë€³
55 *                        €È
56 *              (A-2) ¥í¥Ã¥¯€·€¿¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹€ÎÍ¥ÀèÅÙŸåžÂ€¬Œ«¥¿¥¹¥¯€ÎžœºßÍ¥Àè
57 *                        ÅÙ€ÈƱ€žŸì¹ç€Ë¡€Œ«¥¿¥¹¥¯€ÎÍ¥ÀèÅÙ€¬ÊÑ€ï€é€Ê€€€³€È¡¥€Þ€¿¡€
58 *                        Ʊ€žÍ¥ÀèÅÙÆâ€Ç€ÎÍ¥Àèœç°Ì€¬ÊÑ€ï€é€Ê€€€³€È
59 *              (A-3) ¥í¥Ã¥¯€·€¿¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹€ÎÍ¥ÀèÅÙŸåžÂ€¬Œ«¥¿¥¹¥¯€ÎžœºßÍ¥Àè
60 *                        ÅÙ€è€ê€âÄ　Ÿì¹ç€Ë¡€Œ«¥¿¥¹¥¯€ÎÍ¥ÀèÅÙ€¬ÊÑ€ï€é€Ê€€€³€È¡¥€Þ
61 *                        €¿¡€Æ±€žÍ¥ÀèÅÙÆâ€Ç€ÎÍ¥Àèœç°Ì€¬ÊÑ€ï€é€Ê€€€³€È
62 *      (B) ¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹€Î¥í¥Ã¥¯²òœüœèÍý¡Êunl_mtx¡Ë€ËÈŒ€Š¥í¥Ã¥¯²òœü€·€¿
63 *              ¥¿¥¹¥¯€ÎÍ¥ÀèÅÙÊѹ¹
64 *              (B-1) ¥í¥Ã¥¯²òœü€·€¿¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹€ÎŸåžÂÍ¥ÀèÅÙ€¬Œ«¥¿¥¹¥¯€Îžœºß
65 *                        Í¥ÀèÅÙ€ÈƱ€ž€Ç¡€¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹€Î¥í¥Ã¥¯²òœü€ÇÍ¥ÀèÅÙ€¬²Œ€¬
66 *                        €ë€Ù€­Ÿì¹ç€Ë¡€Œ«¥¿¥¹¥¯€ÎÍ¥ÀèÅÙ€¬Å¬Àڀ˲Œ€²€é€ì€ë€³€È¡¥€Þ
67 *                        €¿¡€Æ±€žÍ¥ÀèÅÙÆâ€Ç€ÎÍ¥Àèœç°Ì€¬ºÇ¹â€Ë€Ê€ë€³€È
68 *              (B-2) ¥í¥Ã¥¯²òœü€·€¿¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹€ÎŸåžÂÍ¥ÀèÅÙ€¬Œ«¥¿¥¹¥¯€Îžœºß
69 *                        Í¥ÀèÅÙ€ÈƱ€ž€Ç¡€¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹€Î¥í¥Ã¥¯²òœü€ÇÍ¥ÀèÅÙ€¬ÊÑ€ï
70 *                        €ë€Ù€­€Ç€Ê€€Ÿì¹ç€Ë¡€Œ«¥¿¥¹¥¯€ÎÍ¥ÀèÅÙ€¬ÊÑ€ï€é€Ê€€€³€È¡¥€Þ
71 *                        €¿¡€Æ±€žÍ¥ÀèÅÙÆâ€Ç€ÎÍ¥Àèœç°Ì€¬ÊÑ€ï€é€Ê€€€³€È
72 *              (B-3) ¥í¥Ã¥¯²òœü€·€¿¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹€ÎŸåžÂÍ¥ÀèÅÙ€¬Œ«¥¿¥¹¥¯€Îžœºß
73 *                        Í¥ÀèÅÙ€è€ê€âÄ　Ÿì¹ç€Ë¡€Œ«¥¿¥¹¥¯€ÎÍ¥ÀèÅÙ€¬ÊÑ€ï€é€Ê€€€³€È¡¥
74 *                        €Þ€¿¡€Æ±€žÍ¥ÀèÅÙÆâ€Ç€ÎÍ¥Àèœç°Ì€¬ÊÑ€ï€é€Ê€€€³€È
75 *      (C) ¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹€Î¥í¥Ã¥¯²òœüœèÍý¡Êunl_mtx¡Ë€ËÈŒ€€¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹€ò
76 *              ¥í¥Ã¥¯€·€¿¥¿¥¹¥¯€ÎÍ¥ÀèÅÙÊѹ¹
77 *              (C-1) ¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹€ÎÍ¥ÀèÅÙŸåžÂ€¬¿·€¿€Ë¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹€ò¥í¥Ã¥¯
78 *                        €·€¿¥¿¥¹¥¯€ÎžœºßÍ¥ÀèÅÙ€è€ê€â¹â€€Ÿì¹ç€Ë¡€Åö³º¥¿¥¹¥¯€ÎÍ¥Àè
79 *                        ÅÙ€¬€œ€ÎÍ¥ÀèÅÙŸåžÂ€Þ€ÇŸå€¬€ë€³€È¡¥€Þ€¿¡€Æ±€žÍ¥ÀèÅÙÆâ€Ç€Î
80 *                        Í¥Àèœç°Ì€¬ºÇÄã€Ë€Ê€ë€³€È
81 *              (C-2) ¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹€ÎÍ¥ÀèÅÙŸåžÂ€¬¿·€¿€Ë¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹€ò¥í¥Ã¥¯
82 *                        €·€¿¥¿¥¹¥¯€ÎžœºßÍ¥ÀèÅÙ€ÈƱ€žŸì¹ç€Ë¡€Åö³º¥¿¥¹¥¯€ÎÍ¥ÀèÅÙ€¬
83 *                        ÊÑ€ï€é€Ê€€€³€È¡¥€Þ€¿¡€Æ±€žÍ¥ÀèÅÙÆâ€Ç€ÎÍ¥Àèœç°Ì€¬ºÇÄã€Ë€Ê
84 *                        €ë€³€È
85 *              (C-3) ¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹€ÎÍ¥ÀèÅÙŸåžÂ€¬¿·€¿€Ë¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹€ò¥í¥Ã¥¯
86 *                        €·€¿¥¿¥¹¥¯€ÎžœºßÍ¥ÀèÅÙ€è€ê€âÄ　Ÿì¹ç€Ë¡€Åö³º¥¿¥¹¥¯€ÎÍ¥Àè
87 *                        ÅÙ€¬ÊÑ€ï€é€Ê€€€³€È¡¥€Þ€¿¡€Æ±€žÍ¥ÀèÅÙÆâ€Ç€ÎÍ¥Àèœç°Ì€¬ºÇÄã
88 *                        €Ë€Ê€ë€³€È
89 *      (D) ¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹€Î¥í¥Ã¥¯œèÍý¡Êloc_mtx¡Ë€ÎE_ILUSE¥š¥é¡Œ
90 *              (D-1) Œ«¥¿¥¹¥¯€Î¥Ù¡Œ¥¹Í¥ÀèÅÙ€¬¡€¥í¥Ã¥¯€·€è€Š€È€·€¿¥ß¥å¡Œ¥Æ¥Ã¥¯
91 *                        ¥¹€ÎŸåžÂÍ¥ÀèÅÙ€è€ê€â¹â€€»þ¡€E_ILUSE¥š¥é¡Œ€Ë€Ê€ë€³€È
92 *              (D-2) Œ«¥¿¥¹¥¯€Î¥Ù¡Œ¥¹Í¥ÀèÅÙ€¬¡€¥í¥Ã¥¯€·€è€Š€È€·€¿¥ß¥å¡Œ¥Æ¥Ã¥¯
93 *                        ¥¹€ÎŸåžÂÍ¥ÀèÅÙ€ÈƱ€ž€«€œ€ì€è€êÄ〱€ì€Ð¡€Œ«¥¿¥¹¥¯€ÎžœºßÍ¥
94 *                        ÀèÅÙ€¬€œ€ì€è€ê¹â€¯€Æ€â¡€E_ILUSE¥š¥é¡Œ€Ë€Ê€é€Ê€€€³€È
95 *
96 * ¡Ú¥Æ¥¹¥È¹àÌ܀ΌžœÊýË¡¡Û
97 *
98 *      (A-1)
99 *              ÃæÍ¥ÀèÅÙ¥¿¥¹¥¯¡ÊTASK1¡Ë€Ë¡€¹âÍ¥ÀèÅÙŸåžÂ¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹¡ÊMTX2¡Ë€ò
100 *              ¥í¥Ã¥¯€µ€»¡€¹âÍ¥ÀèÅـˀʀ뀳€È€ò³Îǧ€¹€ë¡¥€Þ€¿¡€ŒÂ¹Ô²ÄÇœŸõÂÖ€Î
101 *              ¹âÍ¥ÀèÅÙ¥¿¥¹¥¯¡ÊTASK4¡Ë€è€ê€â¡€Í¥Àèœç°Ì€¬¹â€¯€Ê€ë€³€È€ò³Îǧ€¹€ë¡¥
102 *              ¥Ç¥£¥¹¥Ñ¥Ã¥Á¶Ø»ßŸõÂրnj»܀¹€ë¡¥
103 *      (A-2)
104 *              ÃæÍ¥ÀèÅÙ¥¿¥¹¥¯¡ÊTASK1¡Ë€Ë¡€ÃæÍ¥ÀèÅÙŸåžÂ¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹¡ÊMTX1¡Ë€ò
105 *              ¥í¥Ã¥¯€µ€»¡€Í¥ÀèÅÙ€¬ÊÑ€ï€é€Ê€€€³€È€ò³Îǧ€¹€ë¡¥€Þ€¿¡€ŒÂ¹Ô²ÄÇœŸõ
106 *              ÂÖ€ÎÃæÍ¥ÀèÅÙ¥¿¥¹¥¯€ò2€Ä¡ÊTASK2¡€TASK3¡Ë€òÍÑ°Õ€·€Æ€ª€­¡€Í¥Àèœç°Ì
107 *              €¬ÊÑ€ï€é€Ê€€€³€È€ò³Îǧ€¹€ë¡¥¥Ç¥£¥¹¥Ñ¥Ã¥Á¶Ø»ßŸõÂրnj»܀¹€ë¡¥
108 *      (A-3)
109 *              ÃæÍ¥ÀèÅÙ¥¿¥¹¥¯¡ÊTASK1¡Ë€¬¹âÍ¥ÀèÅÙŸåžÂ¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹¡ÊMTX2¡Ë€ò¥í¥Ã
110 *              ¥¯€·€Æ¹âÍ¥ÀèÅـˀʀÀƀ€€ëŸõÂրǡ€ÃæÍ¥ÀèÅÙŸåžÂ¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹
111 *              ¡ÊMTX1¡Ë€ò¥í¥Ã¥¯€µ€»¡€Í¥ÀèÅÙ€¬ÊÑ€ï€é€Ê€€€³€È€ò³Îǧ€¹€ë¡¥€Þ€¿¡€
112 *              ŒÂ¹Ô²ÄÇœŸõÂրιâÍ¥ÀèÅÙ¥¿¥¹¥¯€ò2€Ä¡ÊTASK4¡€TASK5¡Ë€òÍÑ°Õ€·€Æ€ª€­¡€
113 *              Í¥Àèœç°Ì€¬ÊÑ€ï€é€Ê€€€³€È€ò³Îǧ€¹€ë¡¥¥Ç¥£¥¹¥Ñ¥Ã¥Á¶Ø»ßŸõÂրnj»Ü
114 *              €¹€ë¡¥
115 *      (B-1)
116 *              ÃæÍ¥ÀèÅÙ¥¿¥¹¥¯¡ÊTASK1¡Ë€Ë¹âÍ¥ÀèÅÙŸåžÂ¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹¡ÊMTX2¡Ë€Î€ß
117 *              €ò¥í¥Ã¥¯€µ€»€Æ€€€ëŸõÂրǡ€€œ€ì€ò¥í¥Ã¥¯²òœü€µ€»¡€ÃæÍ¥ÀèÅـˀʀë
118 *              €³€È€ò³Îǧ€¹€ë¡¥€Þ€¿¡€ŒÂ¹Ô²ÄÇœŸõÂÖ€ÎÃæÍ¥ÀèÅÙ¥¿¥¹¥¯¡ÊTASK2¡Ë€è€ê
119 *              €â¡€Í¥Àèœç°Ì€¬¹â€¯€Ê€ë€³€È€ò³Îǧ€¹€ë¡¥
120 *      (B-2)
121 *              ÃæÍ¥ÀèÅÙ¥¿¥¹¥¯¡ÊTASK1¡Ë€ËÃæÍ¥ÀèÅÙŸåžÂ¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹¡ÊMTX1¡Ë€Î€ß
122 *              €ò¥í¥Ã¥¯€µ€»€Æ€€€ëŸõÂրǡ€€œ€ì€ò¥í¥Ã¥¯²òœü€µ€»¡€Í¥ÀèÅÙ€¬ÊÑ€ï€é
123 *              €Ê€€€³€È€ò³Îǧ€¹€ë¡¥€Þ€¿¡€ŒÂ¹Ô²ÄÇœŸõÂÖ€ÎÃæÍ¥ÀèÅÙ¥¿¥¹¥¯€ò2€Ä
124 *              ¡ÊTASK2¡€TASK3¡Ë€òÍÑ°Õ€·€Æ€ª€­¡€Í¥Àèœç°Ì€¬ÊÑ€ï€é€Ê€€€³€È€ò³Îǧ
125 *              €¹€ë¡¥¥Ç¥£¥¹¥Ñ¥Ã¥Á¶Ø»ßŸõÂրnj»܀¹€ë¡¥
126 *      (B-3)
127 *              ÃæÍ¥ÀèÅÙ¥¿¥¹¥¯¡ÊTASK1¡Ë€Ë¹âÍ¥ÀèÅÙŸåžÂ¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹¡ÊMTX2¡Ë€ÈÃæ
128 *              Í¥ÀèÅÙŸåžÂ¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹¡ÊMTX1¡Ë€ò¥í¥Ã¥¯€µ€»€Æ€€€ëŸõÂրǡ€ÃæÍ¥
129 *              ÀèÅÙŸåžÂ¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹¡ÊMTX1¡Ë€ò¥í¥Ã¥¯²òœü€µ€»¡€Í¥ÀèÅÙ€¬ÊÑ€ï€é
130 *              €Ê€€€³€È€ò³Îǧ€¹€ë¡¥€Þ€¿¡€ŒÂ¹Ô²ÄÇœŸõÂրιâÍ¥ÀèÅÙ¥¿¥¹¥¯€ò2€Ä
131 *              ¡ÊTASK4¡€TASK5¡Ë€òÍÑ°Õ€·€Æ€ª€­¡€Í¥Àèœç°Ì€¬ÊÑ€ï€é€Ê€€€³€È€ò³Îǧ
132 *              €¹€ë¡¥¥Ç¥£¥¹¥Ñ¥Ã¥Á¶Ø»ßŸõÂրnj»܀¹€ë¡¥
133 *      (C-1)
134 *              ÃæÍ¥ÀèÅÙ¥¿¥¹¥¯¡ÊTASK1¡Ë€Ë¹âÍ¥ÀèÅÙŸåžÂ¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹€ò2€Ä¡ÊMTX2¡€
135 *              MTX3¡Ë¥í¥Ã¥¯€µ€»¡€ÊÌ€ÎÃæÍ¥ÀèÅÙ¥¿¥¹¥¯¡ÊTASK2¡Ë€¬MTX2€òÂԀÀƀ€€ë
136 *              ŸõÂրǡ€TASK1€ËMTX2€ò¥í¥Ã¥¯²òœü€µ€»¡€TASK2€ÎÍ¥ÀèÅÙ€¬¹âÍ¥ÀèÅÙ€Ë
137 *              €Ê€ë€³€È€ò³Îǧ€¹€ë¡¥€Þ€¿¡€TASK2€ÎÍ¥Àèœç°Ì€¬¡€TASK1€è€ê€âÄ〯€Ê
138 *              €ë€³€È€ò³Îǧ€¹€ë¡¥
139 *      (C-2)
140 *              ÃæÍ¥ÀèÅÙ¥¿¥¹¥¯¡ÊTASK2¡Ë€ËÃæÍ¥ÀèÅÙŸåžÂ¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹¡ÊMTX1¡Ë€ò¥í¥Ã
141 *              ¥¯€µ€»¡€ÊÌ€ÎÃæÍ¥ÀèÅÙ¥¿¥¹¥¯¡ÊTASK1¡Ë€¬MTX1€òÂԀÀƀ€€ëŸõÂրǡ€
142 *              TASK2€ËMTX1€ò¥í¥Ã¥¯²òœü€µ€»¡€TASK1€ÎÍ¥ÀèÅÙ€¬ÃæÍ¥ÀèÅـ΀ހÞÊѲœ
143 *              €·€Ê€€€³€È€ò³Îǧ€¹€ë¡¥€Þ€¿¡€ŒÂ¹Ô²ÄÇœŸõÂÖ€ÎÃæÍ¥ÀèÅÙ¥¿¥¹¥¯€ò€â€Š
144 *              1€Ä¡ÊTASK3¡ËÍÑ°Õ€·€Æ€ª€­¡€TASK1€ÎÍ¥Àèœç°Ì€¬TASK3€è€ê€âÄ〯€Ê€ë
145 *              €³€È€ò³Îǧ€¹€ë¡¥
146 *      (C-3)
147 *              ÃæÍ¥ÀèÅÙ¥¿¥¹¥¯¡ÊTASK1¡Ë€ËÃæÍ¥ÀèÅÙŸåžÂ¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹¡ÊMTX1¡Ë€È¹â
148 *              Í¥ÀèÅÙŸåžÂ¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹¡ÊMTX3¡Ë€ò¥í¥Ã¥¯€µ€»¡€ÊÌ€ÎÃæÍ¥ÀèÅÙ¥¿¥¹
149 *              ¥¯¡ÊTASK2¡Ë€¬ỀιâÍ¥ÀèÅÙŸåžÂ¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹¡ÊMTX2¡Ë€ò¥í¥Ã¥¯€·€Æ
150 *              MTX1€òÂԀÀƀ€€ëŸõÂրǡ€TASK1€ËMTX1€ò¥í¥Ã¥¯²òœü€µ€»¡€TASK2€ÎÍ¥
151 *              ÀèÅÙ€¬¹âÍ¥ÀèÅـ΀ހÞÊѲœ€·€Ê€€€³€È€ò³Îǧ€¹€ë¡¥€Þ€¿¡€TASK2€ÎÍ¥Àè
152 *              œç°Ì€¬¡€TASK1€è€ê€âÄ〯€Ê€ë€³€È€ò³Îǧ€¹€ë¡¥
153 *      (D-1)
154 *              ¹âÍ¥ÀèÅÙ¥¿¥¹¥¯¡ÊTASK4¡Ë€Ë¡€ÃæÍ¥ÀèÅÙŸåžÂ¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹¡ÊMTX1¡Ë€ò
155 *              ¥í¥Ã¥¯€µ€»¡€E_ILUSE¥š¥é¡Œ€Ë€Ê€ë€³€È€ò³Îǧ€¹€ë¡¥
156 *      (D-2)
157 *              ÃæÍ¥ÀèÅÙ¥¿¥¹¥¯¡ÊTASK1¡Ë€¬¹âÍ¥ÀèÅÙŸåžÂ¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹¡ÊMTX2¡Ë€ò¥í¥Ã
158 *              ¥¯€·€Æ¹âÍ¥ÀèÅـˀʀÀƀ€€ëŸõÂրǡ€ÃæÍ¥ÀèÅÙŸåžÂ¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹
159 *              ¡ÊMTX1¡Ë€ò¥í¥Ã¥¯€µ€»¡€E_ILUSE¥š¥é¡Œ€Ë€Ê€ë€Ê€€€³€È€ò³Îǧ€¹€ë¡¥
160 *
161 * ¡Ú»ÈÍѥ꥜¡Œ¥¹¡Û
162 *
163 *      TASK1: ÃæÍ¥ÀèÅÙ¥¿¥¹¥¯¡€¥á¥€¥ó¥¿¥¹¥¯¡€ºÇœé€«€éµ¯Æ°
164 *      TASK2: ÃæÍ¥ÀèÅÙ¥¿¥¹¥¯
165 *      TASK3: ÃæÍ¥ÀèÅÙ¥¿¥¹¥¯
166 *      TASK4: ¹âÍ¥ÀèÅÙ¥¿¥¹¥¯
167 *      TASK5: ¹âÍ¥ÀèÅÙ¥¿¥¹¥¯
168 *      MTX1: ¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹¡ÊTA_CEILING°À­¡€ŸåžÂ€ÏÃæÍ¥ÀèÅÙ¡Ë
169 *      MTX2: ¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹¡ÊTA_CEILING°À­¡€ŸåžÂ€Ï¹âÍ¥ÀèÅÙ¡Ë
170 *      MTX3: ¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹¡ÊTA_CEILING°À­¡€ŸåžÂ€Ï¹âÍ¥ÀèÅÙ¡Ë
171 *
172 * ¡Ú¥Æ¥¹¥È¥·¡Œ¥±¥ó¥¹¡Û
173 *
174 *      == TASK1¡ÊÍ¥ÀèÅÙ¡§Ãæ¡Ë==
175 *              call(set_bit_func(bit_mutex))
176 *      1:      dis_dsp()
177 *      2:      act_tsk(TASK2)
178 *              act_tsk(TASK4)
179 *      //              ¹â¡§TASK4¡€Ã桧TASK1¢ªTASK2
180 *      3:      ploc_mtx(MTX2)                                                          ... (A-1)
181 *      //              ¹â¡§TASK1¢ªTASK4¡€Ã桧TASK2¡€MTX2¡§TASK1
182 *              get_pri(TSK_SELF, &tskpri)
183 *              assert(tskpri == HIGH_PRIORITY)
184 *      4:      ena_dsp()
185 *      5:      unl_mtx(MTX2)                                                           ... (B-1)
186 *      //              ¹â¡§TASK4¡€Ã桧TASK1¢ªTASK2
187 *      == TASK4¡ÊÍ¥ÀèÅÙ¡§¹â¡Ë==
188 *      6:      loc_mtx(MTX1) -> E_ILUSE                                        ... (D-1)
189 *      7:      slp_tsk()
190 *      //              Ã桧TASK1¢ªTASK2
191 *      == TASK1¡Ê³€­¡Ë==
192 *      8:      get_pri(TSK_SELF, &tskpri)
193 *              assert(tskpri == MID_PRIORITY)
194 *
195 *      9:      dis_dsp()
196 *      10:     rot_rdq(MID_PRIORITY)
197 *      //              Ã桧TASK2¢ªTASK1
198 *      11:     act_tsk(TASK3)
199 *      //              Ã桧TASK2¢ªTASK1¢ªTASK3
200 *      12:     ploc_mtx(MTX1)                                                          ... (A-2)
201 *      //              Ã桧TASK2¢ªTASK1¢ªTASK3¡€MTX1¡§TASK1
202 *              get_pri(TSK_SELF, &tskpri)
203 *              assert(tskpri == MID_PRIORITY)
204 *      13:     ena_dsp()
205 *      == TASK2¡ÊÍ¥ÀèÅÙ¡§Ãæ¡Ë==
206 *      14:     slp_tsk()
207 *      //              Ã桧TASK1¢ªTASK3¡€MTX1¡§TASK1
208 *      == TASK1¡Ê³€­¡Ë==
209 *      15:     slp_tsk()
210 *      //              Ã桧TASK3¡€MTX1¡§TASK1
211 *      == TASK3¡ÊÍ¥ÀèÅÙ¡§Ãæ¡Ë==
212 *      16:     wup_tsk(TASK1)
213 *      //              Ã桧TASK3¢ªTASK1¡€MTX1¡§TASK1
214 *      17:     slp_tsk()
215 *      //              Ã桧TASK1¡€MTX1¡§TASK1
216 *
217 *      == TASK1¡Ê³€­¡Ë==
218 *      18:     wup_tsk(TASK2)
219 *      //              Ã桧TASK1¢ªTASK2¡€MTX1¡§TASK1
220 *      19:     dis_dsp()
221 *      20:     rot_rdq(MID_PRIORITY)
222 *      //              Ã桧TASK2¢ªTASK1¡€MTX1¡§TASK1
223 *      21:     wup_tsk(TASK3)
224 *      //              Ã桧TASK2¢ªTASK1¢ªTASK3¡€MTX1¡§TASK1
225 *      22:     unl_mtx(MTX1)                                                           ... (B-2)
226 *      //              Ã桧TASK2¢ªTASK1¢ªTASK3
227 *              get_pri(TSK_SELF, &tskpri)
228 *              assert(tskpri == MID_PRIORITY)
229 *      23:     ena_dsp()
230 *      == TASK2¡ÊÍ¥ÀèÅÙ¡§Ãæ¡Ë==
231 *      24:     slp_tsk()
232 *      //              Ã桧TASK1¢ªTASK3
233 *      == TASK1¡Ê³€­¡Ë==
234 *      25:     slp_tsk()
235 *      //              Ã桧TASK3
236 *      == TASK3¡ÊÍ¥ÀèÅÙ¡§Ãæ¡Ë==
237 *      26:     wup_tsk(TASK1)
238 *      //              Ã桧TASK3¢ªTASK1
239 *      27:     slp_tsk()
240 *      //              Ã桧TASK1
241 *
242 *      == TASK1¡Ê³€­¡Ë==
243 *      28:     dis_dsp()
244 *      29:     wup_tsk(TASK4)
245 *      //              ¹â¡§TASK4¡€Ã桧TASK1
246 *      30:     ploc_mtx(MTX2)
247 *      //              ¹â¡§TASK1¢ªTASK4¡€MTX2¡§TASK1
248 *      31:     rot_rdq(HIGH_PRIORITY)
249 *      //              ¹â¡§TASK4¢ªTASK1¡€MTX2¡§TASK1
250 *      32:     act_tsk(TASK5)
251 *      //              ¹â¡§TASK4¢ªTASK1¢ªTASK5¡€MTX2¡§TASK1
252 *      33:     ploc_mtx(MTX1)                                                          ... (A-3)(D-2)
253 *      //              ¹â¡§TASK4¢ªTASK1¢ªTASK5¡€MTX2¡§TASK1¡€MTX1¡§TASK1
254 *              get_pri(TSK_SELF, &tskpri)
255 *              assert(tskpri == HIGH_PRIORITY)
256 *      34:     ena_dsp()
257 *      == TASK4¡Ê³€­¡Ë==
258 *      35:     slp_tsk()
259 *      //              ¹â¡§TASK1¢ªTASK5¡€MTX2¡§TASK1¡€MTX1¡§TASK1
260 *      == TASK1¡Ê³€­¡Ë==
261 *      36:     slp_tsk()
262 *      //              ¹â¡§TASK5¡€MTX2¡§TASK1¡€MTX1¡§TASK1
263 *      == TASK5¡ÊÍ¥ÀèÅÙ¡§¹â¡Ë==
264 *      37:     wup_tsk(TASK1)
265 *      //              ¹â¡§TASK5¢ªTASK1¡€MTX2¡§TASK1¡€MTX1¡§TASK1
266 *      38:     slp_tsk()
267 *      //              ¹â¡§TASK1¡€MTX2¡§TASK1¡€MTX1¡§TASK1
268 *
269 *      == TASK1¡Ê³€­¡Ë==
270 *      39:     dis_dsp()
271 *      40:     wup_tsk(TASK4)
272 *      //              ¹â¡§TASK1¢ªTASK4¡€MTX2¡§TASK1¡€MTX1¡§TASK1
273 *      41:     rot_rdq(HIGH_PRIORITY)
274 *      //              ¹â¡§TASK4¢ªTASK1¡€MTX2¡§TASK1¡€MTX1¡§TASK1
275 *      42:     wup_tsk(TASK5)
276 *      //              ¹â¡§TASK4¢ªTASK1¢ªTASK5¡€MTX2¡§TASK1¡€MTX1¡§TASK1
277 *      43:     unl_mtx(MTX1)                                                           ... (B-3)
278 *      //              ¹â¡§TASK4¢ªTASK1¢ªTASK5¡€MTX2¡§TASK1
279 *              get_pri(TSK_SELF, &tskpri)
280 *              assert(tskpri == HIGH_PRIORITY)
281 *      44:     ena_dsp()
282 *      == TASK4¡Ê³€­¡Ë==
283 *      45:     slp_tsk()
284 *      //              ¹â¡§TASK1¢ªTASK5¡€MTX2¡§TASK1
285 *      == TASK1¡Ê³€­¡Ë==
286 *      46:     slp_tsk()
287 *      //              ¹â¡§TASK5¡€MTX2¡§TASK1
288 *      == TASK5¡Ê³€­¡Ë==
289 *      47:     wup_tsk(TASK1)
290 *      //              ¹â¡§TASK5¢ªTASK1¡€MTX2¡§TASK1
291 *      48:     slp_tsk()
292 *      //              ¹â¡§TASK1¡€MTX2¡§TASK1
293 *
294 *      == TASK1¡Ê³€­¡Ë==
295 *      49:     wup_tsk(TASK2)
296 *              wup_tsk(TASK3)
297 *              slp_tsk()
298 *      //              Ã桧TASK2¢ªTASK3¡€MTX2¡§TASK1
299 *      == TASK2¡Ê³€­¡Ë==
300 *      50:     loc_mtx(MTX2)
301 *      //              Ã桧TASK3¡€MTX2¡§TASK1¢ªTASK2
302 *      == TASK3¡Ê³€­¡Ë==
303 *      51:     wup_tsk(TASK1)
304 *      //              ¹â¡§TASK1¡€Ã桧TASK3¡€MTX2¡§TASK1¢ªTASK2
305 *      == TASK1¡Ê³€­¡Ë==
306 *      52:     loc_mtx(MTX3)
307 *      //              ¹â¡§TASK1¡€Ã桧TASK3¡€MTX2¡§TASK1¢ªTASK2¡€MTX3¡§TASK1
308 *      53:     unl_mtx(MTX2)                                                           ... (C-1)
309 *      //              ¹â¡§TASK1¢ªTASK2¡€Ã桧TASK3¡€MTX2¡§TASK2¡€MTX3¡§TASK1
310 *              get_pri(TASK2, &tskpri)
311 *              assert(tskpri == HIGH_PRIORITY)
312 *      54:     loc_mtx(MTX1)
313 *      //              ¹â¡§TASK1¢ªTASK2¡€Ã桧TASK3¡€MTX1¡§TASK1¡€MTX2¡§TASK2¡€MTX3¡§TASK1
314 *      55:     slp_tsk()
315 *      //              ¹â¡§TASK2¡€Ã桧TASK3¡€MTX1¡§TASK1¡€MTX2¡§TASK2¡€MTX3¡§TASK1
316 *
317 *      == TASK2¡Ê³€­¡Ë==
318 *      56:     wup_tsk(TASK1)
319 *      //              ¹â¡§TASK2¢ªTASK1¡€Ã桧TASK3¡€MTX1¡§TASK1¡€MTX2¡§TASK2¡€MTX3¡§TASK1
320 *      57:     loc_mtx(MTX1)
321 *      //              ¹â¡§TASK1¡€Ã桧TASK3¡€MTX1¡§TASK1¢ªTASK2¡€MTX2¡§TASK2¡€MTX3¡§TASK1
322 *      == TASK1¡Ê³€­¡Ë==
323 *      58:     unl_mtx(MTX1)                                                           ... (C-3)
324 *      //              ¹â¡§TASK1¢ªTASK2¡€Ã桧TASK3¡€MTX1¡§TASK2¡€MTX2¡§TASK2¡€MTX3¡§TASK1
325 *              get_pri(TASK2, &tskpri)
326 *              assert(tskpri == HIGH_PRIORITY)
327 *      59:     unl_mtx(MTX3)
328 *      //              ¹â¡§TASK2¡€Ã桧TASK1¢ªTASK3¡€MTX1¡§TASK2¡€MTX2¡§TASK2
329 *      == TASK2¡Ê³€­¡Ë==
330 *      60:     unl_mtx(MTX2)
331 *      //              Ã桧TASK2¢ªTASK1¢ªTASK3¡€MTX1¡§TASK2
332 *
333 *      61:     rot_rdq(MID_PRIORITY)
334 *      //              Ã桧TASK1¢ªTASK3¢ªTASK2¡€MTX1¡§TASK2
335 *      == TASK1¡Ê³€­¡Ë==
336 *      62:     loc_mtx(MTX1)
337 *      //              Ã桧TASK3¢ªTASK2¡€MTX1¡§TASK2¢ªTASK1
338 *      == TASK3¡Ê³€­¡Ë==
339 *      63:     rot_rdq(MID_PRIORITY)
340 *      //              Ã桧TASK2¢ªTASK3¡€MTX1¡§TASK2¢ªTASK1
341 *      == TASK2¡Ê³€­¡Ë==
342 *      64:     unl_mtx(MTX1)                                                           ... (C-2)
343 *      //              Ã桧TASK2¢ªTASK3¢ªTASK1¡€MTX1¡§TASK1
344 *              get_pri(TASK1, &tskpri)
345 *              assert(tskpri == MID_PRIORITY)
346 *      == TASK2¡Ê³€­¡Ë==
347 *      65:     ext_tsk() -> noreturn
348 *      //              Ã桧TASK3¢ªTASK1¡€MTX1¡§TASK1
349 *      == TASK3¡Ê³€­¡Ë==
350 *      66:     ext_tsk() -> noreturn
351 *      //              Ã桧TASK1¡€MTX1¡§TASK1
352 *      == TASK1¡Ê³€­¡Ë==
353 *      67:     END
354 */
355
356#include <kernel.h>
357#include <t_syslog.h>
358#include "kernel_cfg.h"
359#include "test_lib.h"
360#include "test_mutex4.h"
361
362extern ER       bit_mutex(void);
363
364/* DO NOT DELETE THIS LINE -- gentest depends on it. */
365
366void
367task1(intptr_t exinf)
368{
369        ER_UINT ercd;
370        PRI             tskpri;
371
372        test_start(__FILE__);
373
374        set_bit_func(bit_mutex);
375
376        check_point(1);
377        ercd = dis_dsp();
378        check_ercd(ercd, E_OK);
379
380        check_point(2);
381        ercd = act_tsk(TASK2);
382        check_ercd(ercd, E_OK);
383
384        ercd = act_tsk(TASK4);
385        check_ercd(ercd, E_OK);
386
387        check_point(3);
388        ercd = ploc_mtx(MTX2);
389        check_ercd(ercd, E_OK);
390
391        ercd = get_pri(TSK_SELF, &tskpri);
392        check_ercd(ercd, E_OK);
393
394        check_assert(tskpri == HIGH_PRIORITY);
395
396        check_point(4);
397        ercd = ena_dsp();
398        check_ercd(ercd, E_OK);
399
400        check_point(5);
401        ercd = unl_mtx(MTX2);
402        check_ercd(ercd, E_OK);
403
404        check_point(8);
405        ercd = get_pri(TSK_SELF, &tskpri);
406        check_ercd(ercd, E_OK);
407
408        check_assert(tskpri == MID_PRIORITY);
409
410        check_point(9);
411        ercd = dis_dsp();
412        check_ercd(ercd, E_OK);
413
414        check_point(10);
415        ercd = rot_rdq(MID_PRIORITY);
416        check_ercd(ercd, E_OK);
417
418        check_point(11);
419        ercd = act_tsk(TASK3);
420        check_ercd(ercd, E_OK);
421
422        check_point(12);
423        ercd = ploc_mtx(MTX1);
424        check_ercd(ercd, E_OK);
425
426        ercd = get_pri(TSK_SELF, &tskpri);
427        check_ercd(ercd, E_OK);
428
429        check_assert(tskpri == MID_PRIORITY);
430
431        check_point(13);
432        ercd = ena_dsp();
433        check_ercd(ercd, E_OK);
434
435        check_point(15);
436        ercd = slp_tsk();
437        check_ercd(ercd, E_OK);
438
439        check_point(18);
440        ercd = wup_tsk(TASK2);
441        check_ercd(ercd, E_OK);
442
443        check_point(19);
444        ercd = dis_dsp();
445        check_ercd(ercd, E_OK);
446
447        check_point(20);
448        ercd = rot_rdq(MID_PRIORITY);
449        check_ercd(ercd, E_OK);
450
451        check_point(21);
452        ercd = wup_tsk(TASK3);
453        check_ercd(ercd, E_OK);
454
455        check_point(22);
456        ercd = unl_mtx(MTX1);
457        check_ercd(ercd, E_OK);
458
459        ercd = get_pri(TSK_SELF, &tskpri);
460        check_ercd(ercd, E_OK);
461
462        check_assert(tskpri == MID_PRIORITY);
463
464        check_point(23);
465        ercd = ena_dsp();
466        check_ercd(ercd, E_OK);
467
468        check_point(25);
469        ercd = slp_tsk();
470        check_ercd(ercd, E_OK);
471
472        check_point(28);
473        ercd = dis_dsp();
474        check_ercd(ercd, E_OK);
475
476        check_point(29);
477        ercd = wup_tsk(TASK4);
478        check_ercd(ercd, E_OK);
479
480        check_point(30);
481        ercd = ploc_mtx(MTX2);
482        check_ercd(ercd, E_OK);
483
484        check_point(31);
485        ercd = rot_rdq(HIGH_PRIORITY);
486        check_ercd(ercd, E_OK);
487
488        check_point(32);
489        ercd = act_tsk(TASK5);
490        check_ercd(ercd, E_OK);
491
492        check_point(33);
493        ercd = ploc_mtx(MTX1);
494        check_ercd(ercd, E_OK);
495
496        ercd = get_pri(TSK_SELF, &tskpri);
497        check_ercd(ercd, E_OK);
498
499        check_assert(tskpri == HIGH_PRIORITY);
500
501        check_point(34);
502        ercd = ena_dsp();
503        check_ercd(ercd, E_OK);
504
505        check_point(36);
506        ercd = slp_tsk();
507        check_ercd(ercd, E_OK);
508
509        check_point(39);
510        ercd = dis_dsp();
511        check_ercd(ercd, E_OK);
512
513        check_point(40);
514        ercd = wup_tsk(TASK4);
515        check_ercd(ercd, E_OK);
516
517        check_point(41);
518        ercd = rot_rdq(HIGH_PRIORITY);
519        check_ercd(ercd, E_OK);
520
521        check_point(42);
522        ercd = wup_tsk(TASK5);
523        check_ercd(ercd, E_OK);
524
525        check_point(43);
526        ercd = unl_mtx(MTX1);
527        check_ercd(ercd, E_OK);
528
529        ercd = get_pri(TSK_SELF, &tskpri);
530        check_ercd(ercd, E_OK);
531
532        check_assert(tskpri == HIGH_PRIORITY);
533
534        check_point(44);
535        ercd = ena_dsp();
536        check_ercd(ercd, E_OK);
537
538        check_point(46);
539        ercd = slp_tsk();
540        check_ercd(ercd, E_OK);
541
542        check_point(49);
543        ercd = wup_tsk(TASK2);
544        check_ercd(ercd, E_OK);
545
546        ercd = wup_tsk(TASK3);
547        check_ercd(ercd, E_OK);
548
549        ercd = slp_tsk();
550        check_ercd(ercd, E_OK);
551
552        check_point(52);
553        ercd = loc_mtx(MTX3);
554        check_ercd(ercd, E_OK);
555
556        check_point(53);
557        ercd = unl_mtx(MTX2);
558        check_ercd(ercd, E_OK);
559
560        ercd = get_pri(TASK2, &tskpri);
561        check_ercd(ercd, E_OK);
562
563        check_assert(tskpri == HIGH_PRIORITY);
564
565        check_point(54);
566        ercd = loc_mtx(MTX1);
567        check_ercd(ercd, E_OK);
568
569        check_point(55);
570        ercd = slp_tsk();
571        check_ercd(ercd, E_OK);
572
573        check_point(58);
574        ercd = unl_mtx(MTX1);
575        check_ercd(ercd, E_OK);
576
577        ercd = get_pri(TASK2, &tskpri);
578        check_ercd(ercd, E_OK);
579
580        check_assert(tskpri == HIGH_PRIORITY);
581
582        check_point(59);
583        ercd = unl_mtx(MTX3);
584        check_ercd(ercd, E_OK);
585
586        check_point(62);
587        ercd = loc_mtx(MTX1);
588        check_ercd(ercd, E_OK);
589
590        check_finish(67);
591        check_point(0);
592}
593
594void
595task2(intptr_t exinf)
596{
597        ER_UINT ercd;
598        PRI             tskpri;
599
600        check_point(14);
601        ercd = slp_tsk();
602        check_ercd(ercd, E_OK);
603
604        check_point(24);
605        ercd = slp_tsk();
606        check_ercd(ercd, E_OK);
607
608        check_point(50);
609        ercd = loc_mtx(MTX2);
610        check_ercd(ercd, E_OK);
611
612        check_point(56);
613        ercd = wup_tsk(TASK1);
614        check_ercd(ercd, E_OK);
615
616        check_point(57);
617        ercd = loc_mtx(MTX1);
618        check_ercd(ercd, E_OK);
619
620        check_point(60);
621        ercd = unl_mtx(MTX2);
622        check_ercd(ercd, E_OK);
623
624        check_point(61);
625        ercd = rot_rdq(MID_PRIORITY);
626        check_ercd(ercd, E_OK);
627
628        check_point(64);
629        ercd = unl_mtx(MTX1);
630        check_ercd(ercd, E_OK);
631
632        ercd = get_pri(TASK1, &tskpri);
633        check_ercd(ercd, E_OK);
634
635        check_assert(tskpri == MID_PRIORITY);
636
637        check_point(65);
638        ercd = ext_tsk();
639
640        check_point(0);
641}
642
643void
644task3(intptr_t exinf)
645{
646        ER_UINT ercd;
647
648        check_point(16);
649        ercd = wup_tsk(TASK1);
650        check_ercd(ercd, E_OK);
651
652        check_point(17);
653        ercd = slp_tsk();
654        check_ercd(ercd, E_OK);
655
656        check_point(26);
657        ercd = wup_tsk(TASK1);
658        check_ercd(ercd, E_OK);
659
660        check_point(27);
661        ercd = slp_tsk();
662        check_ercd(ercd, E_OK);
663
664        check_point(51);
665        ercd = wup_tsk(TASK1);
666        check_ercd(ercd, E_OK);
667
668        check_point(63);
669        ercd = rot_rdq(MID_PRIORITY);
670        check_ercd(ercd, E_OK);
671
672        check_point(66);
673        ercd = ext_tsk();
674
675        check_point(0);
676}
677
678void
679task4(intptr_t exinf)
680{
681        ER_UINT ercd;
682
683        check_point(6);
684        ercd = loc_mtx(MTX1);
685        check_ercd(ercd, E_ILUSE);
686
687        check_point(7);
688        ercd = slp_tsk();
689        check_ercd(ercd, E_OK);
690
691        check_point(35);
692        ercd = slp_tsk();
693        check_ercd(ercd, E_OK);
694
695        check_point(45);
696        ercd = slp_tsk();
697        check_ercd(ercd, E_OK);
698
699        check_point(0);
700}
701
702void
703task5(intptr_t exinf)
704{
705        ER_UINT ercd;
706
707        check_point(37);
708        ercd = wup_tsk(TASK1);
709        check_ercd(ercd, E_OK);
710
711        check_point(38);
712        ercd = slp_tsk();
713        check_ercd(ercd, E_OK);
714
715        check_point(47);
716        ercd = wup_tsk(TASK1);
717        check_ercd(ercd, E_OK);
718
719        check_point(48);
720        ercd = slp_tsk();
721        check_ercd(ercd, E_OK);
722
723        check_point(0);
724}
※ 詳しい使い方は TracBrowser を参照してください。