[101] | 1 | /*
|
---|
| 2 | * TOPPERS/SSP Kernel
|
---|
| 3 | * Smallest Set Profile Kernel
|
---|
| 4 | *
|
---|
| 5 | * Copyright (C) 2000-2003 by Embedded and Real-Time Systems Laboratory
|
---|
| 6 | * Toyohashi Univ. of Technology, JAPAN
|
---|
| 7 | * Copyright (C) 2005-2009 by Embedded and Real-Time Systems Laboratory
|
---|
| 8 | * Graduate School of Information Science, Nagoya Univ., JAPAN
|
---|
| 9 | * Copyright (C) 2010 by Naoki Saito
|
---|
| 10 | * Nagoya Municipal Industrial Research Institute, JAPAN
|
---|
| 11 | * Copyright (C) 2011 by Meika Sugimoto
|
---|
| 12 | *
|
---|
| 13 | * ãLì ÒÍCÈºÌ (1)`(4) Ìðð½·êÉÀèC{\tgEF
|
---|
| 14 | * Ai{\tgEFAðüϵ½àÌðÜÞDȺ¯¶jðgpE¡»EüÏE
|
---|
| 15 | * ÄzziȺCpÆÄÔj·é±Æð³Åø·éD
|
---|
| 16 | * (1) {\tgEFAð\[XR[hÌ`Åp·éêÉÍCãLÌì
|
---|
| 17 | * \¦C±Ìpð¨æѺL̳ÛØKèªC»ÌÜÜÌ`Å\[X
|
---|
| 18 | * R[hÉÜÜêÄ¢é±ÆD
|
---|
| 19 | * (2) {\tgEFAðCCu`®ÈÇC¼Ì\tgEFAJÉgp
|
---|
| 20 | * Å«é`ÅÄzz·éêÉÍCÄzzɺ¤hL
|
---|
| 21 | gipÒ}
|
---|
| 22 | * j
|
---|
| 23 | AÈÇjÉCãLÌì \¦C±Ìpð¨æѺL̳Û
|
---|
| 24 | * ØKèðfÚ·é±ÆD
|
---|
| 25 | * (3) {\tgEFAðC@íÉgÝÞÈÇC¼Ì\tgEFAJÉgp
|
---|
| 26 | * Å«È¢`ÅÄzz·éêÉÍCÌ¢¸ê©Ìðð½·±ÆD
|
---|
| 27 | * (a) Äzzɺ¤hL
|
---|
| 28 | gipÒ}j
|
---|
| 29 | AÈÇjÉCãLÌì
|
---|
| 30 | * \¦C±Ìpð¨æѺL̳ÛØKèðfÚ·é±ÆD
|
---|
| 31 | * (b) ÄzzÌ`ÔðCÊÉèßéû@ÉæÁÄCTOPPERSvWFNgÉñ
|
---|
| 32 | * ·é±ÆD
|
---|
| 33 | * (4) {\tgEFAÌpÉæè¼ÚIܽÍÔÚIɶ¶é¢©Èé¹Q
|
---|
| 34 | * ©çàCãLì Ò¨æÑTOPPERSvWFNgðÆÓ·é±ÆDܽC
|
---|
| 35 | * {\tgEFAÌ[UܽÍGh[U©çÌ¢©ÈéRÉîÃ
|
---|
| 36 | * ¿©çàCãLì Ò¨æÑTOPPERSvWFNgðÆÓ·é±ÆD
|
---|
| 37 | *
|
---|
| 38 | * {\tgEFAÍC³ÛØÅñ³êÄ¢éàÌÅ éDãLì Ò¨æ
|
---|
| 39 | * ÑTOPPERSvWFNgÍC{\tgEFAÉÖµÄCÁèÌgpÚIÉη
|
---|
| 40 | * éK«àÜßÄC¢©ÈéÛØàsíÈ¢DܽC{\tgEFAÌp
|
---|
| 41 | * Éæè¼ÚIܽÍÔÚIɶ¶½¢©Èé¹QÉÖµÄàC»ÌÓCð
|
---|
| 42 | * íÈ¢D
|
---|
| 43 | *
|
---|
| 44 | */
|
---|
| 45 |
|
---|
| 46 | #ifndef TOPPERS_TASK_H
|
---|
| 47 | #define TOPPERS_TASK_H
|
---|
| 48 |
|
---|
| 49 | #include "kernel_impl.h"
|
---|
| 50 |
|
---|
| 51 |
|
---|
| 52 | /*
|
---|
| 53 | * ^XNDæxÌà\»EO\»Ï·}N
|
---|
| 54 | */
|
---|
| 55 | #define INT_PRIORITY(x) ((uint_t)((x) - TMIN_TPRI))
|
---|
| 56 |
|
---|
| 57 | /*
|
---|
| 58 | * ^XNIDÌÅålikernel_cfg.cj
|
---|
| 59 | */
|
---|
| 60 | extern const ID tmax_tskid;
|
---|
| 61 |
|
---|
| 62 | /*
|
---|
| 63 | * ^XNÌ
|
---|
| 64 | */
|
---|
| 65 | #define tnum_tsk ((uint_t)(tmax_tskid - TMIN_TSKID + 1))
|
---|
| 66 |
|
---|
| 67 | /*
|
---|
| 68 | * ÀsÂ\óÔÌ^XNªÈ¢ÉÀs^XNÌ»ÝDæxÉÝè·él
|
---|
| 69 | */
|
---|
| 70 | #define TSKPRI_NULL (UINT_MAX)
|
---|
| 71 |
|
---|
| 72 |
|
---|
| 73 | /*
|
---|
| 74 | * fBL
|
---|
| 75 | [T[`̽ßÌrbg}bv
|
---|
| 76 | */
|
---|
| 77 | extern volatile uint_t ready_primap;
|
---|
| 78 |
|
---|
| 79 | /*
|
---|
| 80 | * N®vL
|
---|
| 81 | [COÌrbg}bv
|
---|
| 82 | */
|
---|
| 83 | extern uint_t actque_bitmap;
|
---|
| 84 |
|
---|
| 85 | /*
|
---|
| 86 | * fBXpb`^^XNáO[`N®vtO
|
---|
| 87 | *
|
---|
| 88 | * Ýnh^CPUáOnhÌoûÉCfBXpb`ܽÍ
|
---|
| 89 | * ^XNáO[`ÌN®ðv·é±Æð¦·tOD
|
---|
| 90 | */
|
---|
| 91 | extern bool_t reqflg;
|
---|
| 92 |
|
---|
| 93 | /*
|
---|
| 94 | * fBXpb`Ö~óÔ
|
---|
| 95 | *
|
---|
| 96 | * fBXpb`Ö~óÔÅ é±Æð¦·tOD
|
---|
| 97 | */
|
---|
| 98 | extern bool_t disdsp;
|
---|
| 99 |
|
---|
| 100 | /*
|
---|
| 101 | * ÀsóÔ^XNÌ»ÝDæx
|
---|
| 102 | *
|
---|
| 103 | * ÀsÌ^XNÉÀsDæxªÝè³êÄ¢êÎÀsDæxªC
|
---|
| 104 | * Ýè³êĢȯêÎN®DæxªÝè³êéD
|
---|
| 105 | */
|
---|
| 106 | extern uint_t runtsk_curpri;
|
---|
| 107 |
|
---|
| 108 | /*
|
---|
| 109 | * ÀsóÔ^XNÌN®Dæx
|
---|
| 110 | */
|
---|
| 111 | extern uint_t runtsk_ipri;
|
---|
| 112 |
|
---|
| 113 | /*
|
---|
| 114 | * ^XNÇW
|
---|
| 115 | [Ìú»
|
---|
| 116 | *
|
---|
| 117 | * SÄÌ^XNðú»·éDe^XNÍ^XN®«ÉTA_ACTªÝè³êÄ¢êÎ
|
---|
| 118 | * ÀsÂ\óÔC»¤ÅÈ¢êÍx~óÔÆÈéD
|
---|
| 119 | *
|
---|
| 120 | * ܽAfBXpb`ÂtOðfBXpb`ÂóÔÉÝè·éD
|
---|
| 121 | *
|
---|
| 122 | * {ÖÍRtBM
|
---|
| 123 | [^ª¶¬·éobject_initializeÈOÅÄñÅÍÈçÈ¢D
|
---|
| 124 | */
|
---|
| 125 | extern void initialize_task(void);
|
---|
| 126 |
|
---|
| 127 | /*
|
---|
| 128 | * ^XNÌN®
|
---|
| 129 | *
|
---|
| 130 | * ipriÅwèµ½N®DæxðÂ^XNðÀsÂ\óÔÉJÚ³¹éD
|
---|
| 131 | * {ÖðÀs·é±ÆÉæèvGvgª¶·éêÍtrueðC
|
---|
| 132 | * »¤ÅÈ¢êÍfalseðÔ·D
|
---|
| 133 | *
|
---|
| 134 | * {ÖÍCPUbNóÔCSÝbNðóÔCÝDæx}XNSðóÔÅ
|
---|
| 135 | * ÄÑo·±ÆD
|
---|
| 136 | */
|
---|
| 137 | extern bool_t make_active(uint_t ipri);
|
---|
| 138 |
|
---|
| 139 | /*
|
---|
| 140 | * wèµ½N®DæxÌ^XNªx~óԩǤ©ÌeXg
|
---|
| 141 | *
|
---|
| 142 | * ipriÅwèµ½N®DæxðÂ^XNªx~óÔÅ êÎ
|
---|
| 143 | * trueð»êÈOiÀsÂ\óÔCÀsÂ\óÔjÅ êÎfalseðÔ·D
|
---|
| 144 | *
|
---|
| 145 | * {ÖÍCPUbNóÔCSÝbNðóÔCÝDæx}XNSðóÔÅ
|
---|
| 146 | * ÄÑo·±ÆD
|
---|
| 147 | */
|
---|
| 148 | extern bool_t test_dormant(uint_t ipri);
|
---|
| 149 |
|
---|
| 150 | /*
|
---|
| 151 | * ÅDæÊ^XNÌT[`
|
---|
| 152 | *
|
---|
| 153 | * ÀsÂ\óÔÌ^XNÌ©çÅàDæʪ¢^XNÌúDæxð
|
---|
| 154 | * Ô·D
|
---|
| 155 | *
|
---|
| 156 | * {ÖÍCPUbNóÔCSÝbNðóÔCÝDæx}XNSðóÔÅ
|
---|
| 157 | * ÄÑo·±ÆD
|
---|
| 158 | */
|
---|
| 159 | extern uint_t search_schedtsk(void);
|
---|
| 160 |
|
---|
| 161 | /*
|
---|
| 162 | * ^XNÌÀs
|
---|
| 163 | *
|
---|
| 164 | * ipriÅwèµ½N®DæxðÂ^XNðÀs·éD
|
---|
| 165 | * {Ö©çÀsµ½^XN©çT[rXR[ðoRµÄ
|
---|
| 166 | * ÄAIÉÄÎêé±Æà éD
|
---|
| 167 | *
|
---|
| 168 | * {ÖÍCPUbNóÔCSÝbNðóÔCÝDæx}XNSðóÔÅ
|
---|
| 169 | * ÄÑo·±ÆD
|
---|
| 170 | */
|
---|
| 171 | extern void run_task(uint_t ipri);
|
---|
| 172 |
|
---|
| 173 | /*
|
---|
| 174 | * ^XNfBXpb`
|
---|
| 175 | *
|
---|
| 176 | * J[lú»®¹ãÉÄÑo³êCÅDæÊÆÈÁ½^XNðÀs·éD
|
---|
| 177 | *
|
---|
| 178 | * {ÖÍCPUbNóÔCSÝbNðóÔCÝDæx}XNSðóÔÅ
|
---|
| 179 | * ÄÑo·±ÆD
|
---|
| 180 | * ȨC{Ö©çÍ^[µÈ¢D
|
---|
| 181 | *
|
---|
| 182 | */
|
---|
| 183 | extern void dispatcher(void) NoReturn;
|
---|
| 184 |
|
---|
| 185 | /*
|
---|
| 186 | * ^XNÌN®Dæxæ¾(^XNReLXgp)
|
---|
| 187 | *
|
---|
| 188 | * tskidÅwèµ½^XNÌN®Dæxðæ¾·éD
|
---|
| 189 | * tskidÍTMIN_TSKIDÈãCtmax_tskidȺÌlCàµÍTSK_SELFÅ
|
---|
| 190 | * wèµÈ¯êÎÈçÈ¢D
|
---|
| 191 | */
|
---|
| 192 | extern uint_t get_ipri_self(ID tskid);
|
---|
| 193 |
|
---|
| 194 | /*
|
---|
| 195 | * ^XNÌN®Dæxæ¾(ñ^XNReLXgp)
|
---|
| 196 | *
|
---|
| 197 | * tskidÅwèµ½^XNÌN®Dæxðæ¾·éD
|
---|
| 198 | * tskidÍTMIN_TSKIDÈãCtmax_tskidȺÌlÅwèµÈ¯êÎÈçÈ¢D
|
---|
| 199 | */
|
---|
| 200 | extern uint_t get_ipri(ID tskid);
|
---|
| 201 |
|
---|
| 202 |
|
---|
| 203 | /* N®vL
|
---|
| 204 | [COrbg}bvÌì */
|
---|
| 205 | #define ACTQUE_BIT(ipri) (1U << (ipri))
|
---|
| 206 |
|
---|
| 207 | /* N®vL
|
---|
| 208 | [COÌZbg */
|
---|
| 209 | Inline
|
---|
| 210 | void actque_set(uint_t ipri)
|
---|
| 211 | {
|
---|
| 212 | actque_bitmap |= ACTQUE_BIT(ipri);
|
---|
| 213 | }
|
---|
| 214 |
|
---|
| 215 | /* N®vL
|
---|
| 216 | [COÌNA */
|
---|
| 217 | Inline
|
---|
| 218 | void actque_clear(uint_t ipri)
|
---|
| 219 | {
|
---|
| 220 | actque_bitmap &= ~ACTQUE_BIT(ipri);
|
---|
| 221 | }
|
---|
| 222 |
|
---|
| 223 | /* N®vL
|
---|
| 224 | [COÌ`FbN */
|
---|
| 225 | Inline
|
---|
| 226 | bool_t actque_test(uint_t ipri)
|
---|
| 227 | {
|
---|
| 228 | return ((actque_bitmap & ACTQUE_BIT(ipri)) != 0U);
|
---|
| 229 | }
|
---|
| 230 |
|
---|
| 231 |
|
---|
| 232 | #endif /* TOPPERS_TASK_H */
|
---|