[302] | 1 | /*
|
---|
| 2 | * TOPPERS/ASP Kernel
|
---|
| 3 | * Toyohashi Open Platform for Embedded Real-Time Systems/
|
---|
| 4 | * Advanced Standard Profile Kernel
|
---|
| 5 | *
|
---|
| 6 | * Copyright (C) 2000-2003 by Embedded and Real-Time Systems Laboratory
|
---|
| 7 | * Toyohashi Univ. of Technology, JAPAN
|
---|
| 8 | * Copyright (C) 2005-2015 by Embedded and Real-Time Systems Laboratory
|
---|
| 9 | * Graduate School of Information Science, Nagoya Univ., JAPAN
|
---|
| 10 | *
|
---|
| 11 | * ä¸è¨èä½æ¨©è
|
---|
| 12 | ã¯ï¼ä»¥ä¸ã®(1)ã(4)ã®æ¡ä»¶ãæºããå ´åã«éãï¼æ¬ã½ããã¦ã§
|
---|
| 13 | * ã¢ï¼æ¬ã½ããã¦ã§ã¢ãæ¹å¤ãããã®ãå«ãï¼ä»¥ä¸åãï¼ã使ç¨ã»è¤è£½ã»æ¹
|
---|
| 14 | * å¤ã»åé
|
---|
| 15 | å¸ï¼ä»¥ä¸ï¼å©ç¨ã¨å¼ã¶ï¼ãããã¨ãç¡åã§è¨±è«¾ããï¼
|
---|
| 16 | * (1) æ¬ã½ããã¦ã§ã¢ãã½ã¼ã¹ã³ã¼ãã®å½¢ã§å©ç¨ããå ´åã«ã¯ï¼ä¸è¨ã®èä½
|
---|
| 17 | * 権表示ï¼ãã®å©ç¨æ¡ä»¶ããã³ä¸è¨ã®ç¡ä¿è¨¼è¦å®ãï¼ãã®ã¾ã¾ã®å½¢ã§ã½ã¼
|
---|
| 18 | * ã¹ã³ã¼ãä¸ã«å«ã¾ãã¦ãããã¨ï¼
|
---|
| 19 | * (2) æ¬ã½ããã¦ã§ã¢ãï¼ã©ã¤ãã©ãªå½¢å¼ãªã©ï¼ä»ã®ã½ããã¦ã§ã¢éçºã«ä½¿
|
---|
| 20 | * ç¨ã§ããå½¢ã§åé
|
---|
| 21 | å¸ããå ´åã«ã¯ï¼åé
|
---|
| 22 | å¸ã«ä¼´ãããã¥ã¡ã³ãï¼å©ç¨
|
---|
| 23 | * è
|
---|
| 24 | ããã¥ã¢ã«ãªã©ï¼ã«ï¼ä¸è¨ã®èä½æ¨©è¡¨ç¤ºï¼ãã®å©ç¨æ¡ä»¶ããã³ä¸è¨
|
---|
| 25 | * ã®ç¡ä¿è¨¼è¦å®ãæ²è¼ãããã¨ï¼
|
---|
| 26 | * (3) æ¬ã½ããã¦ã§ã¢ãï¼æ©å¨ã«çµã¿è¾¼ããªã©ï¼ä»ã®ã½ããã¦ã§ã¢éçºã«ä½¿
|
---|
| 27 | * ç¨ã§ããªãå½¢ã§åé
|
---|
| 28 | å¸ããå ´åã«ã¯ï¼æ¬¡ã®ããããã®æ¡ä»¶ãæºããã
|
---|
| 29 | * ã¨ï¼
|
---|
| 30 | * (a) åé
|
---|
| 31 | å¸ã«ä¼´ãããã¥ã¡ã³ãï¼å©ç¨è
|
---|
| 32 | ããã¥ã¢ã«ãªã©ï¼ã«ï¼ä¸è¨ã®è
|
---|
| 33 | * ä½æ¨©è¡¨ç¤ºï¼ãã®å©ç¨æ¡ä»¶ããã³ä¸è¨ã®ç¡ä¿è¨¼è¦å®ãæ²è¼ãããã¨ï¼
|
---|
| 34 | * (b) åé
|
---|
| 35 | å¸ã®å½¢æ
|
---|
| 36 | ãï¼å¥ã«å®ããæ¹æ³ã«ãã£ã¦ï¼TOPPERSããã¸ã§ã¯ãã«
|
---|
| 37 | * å ±åãããã¨ï¼
|
---|
| 38 | * (4) æ¬ã½ããã¦ã§ã¢ã®å©ç¨ã«ããç´æ¥çã¾ãã¯éæ¥çã«çãããããªãæ
|
---|
| 39 | * 害ãããï¼ä¸è¨èä½æ¨©è
|
---|
| 40 | ããã³TOPPERSããã¸ã§ã¯ããå
|
---|
| 41 | 責ãããã¨ï¼
|
---|
| 42 | * ã¾ãï¼æ¬ã½ããã¦ã§ã¢ã®ã¦ã¼ã¶ã¾ãã¯ã¨ã³ãã¦ã¼ã¶ããã®ãããªãç
|
---|
| 43 | * ç±ã«åºã¥ãè«æ±ãããï¼ä¸è¨èä½æ¨©è
|
---|
| 44 | ããã³TOPPERSããã¸ã§ã¯ãã
|
---|
| 45 | * å
|
---|
| 46 | 責ãããã¨ï¼
|
---|
| 47 | *
|
---|
| 48 | * æ¬ã½ããã¦ã§ã¢ã¯ï¼ç¡ä¿è¨¼ã§æä¾ããã¦ãããã®ã§ããï¼ä¸è¨èä½æ¨©è
|
---|
| 49 | ã
|
---|
| 50 | * ãã³TOPPERSããã¸ã§ã¯ãã¯ï¼æ¬ã½ããã¦ã§ã¢ã«é¢ãã¦ï¼ç¹å®ã®ä½¿ç¨ç®ç
|
---|
| 51 | * ã«å¯¾ããé©åæ§ãå«ãã¦ï¼ãããªãä¿è¨¼ãè¡ããªãï¼ã¾ãï¼æ¬ã½ããã¦ã§
|
---|
| 52 | * ã¢ã®å©ç¨ã«ããç´æ¥çã¾ãã¯éæ¥çã«çãããããªãæ害ã«é¢ãã¦ãï¼ã
|
---|
| 53 | * ã®è²¬ä»»ãè² ããªãï¼
|
---|
| 54 | *
|
---|
| 55 | * $Id: messagebuf.c 471 2015-12-30 10:03:16Z ertl-hiro $
|
---|
| 56 | */
|
---|
| 57 |
|
---|
| 58 | /*
|
---|
| 59 | * ã¡ãã»ã¼ã¸ãããã¡æ©è½
|
---|
| 60 | */
|
---|
| 61 |
|
---|
| 62 | #include "kernel_impl.h"
|
---|
| 63 | #include "check.h"
|
---|
| 64 | #include "task.h"
|
---|
| 65 | #include "taskhook.h"
|
---|
| 66 | #include "wait.h"
|
---|
| 67 | #include "messagebuf.h"
|
---|
| 68 | #include <string.h>
|
---|
| 69 |
|
---|
| 70 | /*
|
---|
| 71 | * ãã¬ã¼ã¹ãã°ãã¯ãã®ããã©ã«ãå®ç¾©
|
---|
| 72 | */
|
---|
| 73 | #ifndef LOG_SND_MBF_ENTER
|
---|
| 74 | #define LOG_SND_MBF_ENTER(mbfid, msg, msgsz)
|
---|
| 75 | #endif /* LOG_SND_MBF_ENTER */
|
---|
| 76 |
|
---|
| 77 | #ifndef LOG_SND_MBF_LEAVE
|
---|
| 78 | #define LOG_SND_MBF_LEAVE(ercd)
|
---|
| 79 | #endif /* LOG_SND_MBF_LEAVE */
|
---|
| 80 |
|
---|
| 81 | #ifndef LOG_PSND_MBF_ENTER
|
---|
| 82 | #define LOG_PSND_MBF_ENTER(mbfid, msg, msgsz)
|
---|
| 83 | #endif /* LOG_PSND_MBF_ENTER */
|
---|
| 84 |
|
---|
| 85 | #ifndef LOG_PSND_MBF_LEAVE
|
---|
| 86 | #define LOG_PSND_MBF_LEAVE(ercd)
|
---|
| 87 | #endif /* LOG_PSND_MBF_LEAVE */
|
---|
| 88 |
|
---|
| 89 | #ifndef LOG_TSND_MBF_ENTER
|
---|
| 90 | #define LOG_TSND_MBF_ENTER(mbfid, msg, msgsz, tmout)
|
---|
| 91 | #endif /* LOG_TSND_MBF_ENTER */
|
---|
| 92 |
|
---|
| 93 | #ifndef LOG_TSND_MBF_LEAVE
|
---|
| 94 | #define LOG_TSND_MBF_LEAVE(ercd)
|
---|
| 95 | #endif /* LOG_TSND_MBF_LEAVE */
|
---|
| 96 |
|
---|
| 97 | #ifndef LOG_RCV_MBF_ENTER
|
---|
| 98 | #define LOG_RCV_MBF_ENTER(mbfid, msg)
|
---|
| 99 | #endif /* LOG_RCV_MBF_ENTER */
|
---|
| 100 |
|
---|
| 101 | #ifndef LOG_RCV_MBF_LEAVE
|
---|
| 102 | #define LOG_RCV_MBF_LEAVE(msgsz, msg)
|
---|
| 103 | #endif /* LOG_RCV_MBF_LEAVE */
|
---|
| 104 |
|
---|
| 105 | #ifndef LOG_PRCV_MBF_ENTER
|
---|
| 106 | #define LOG_PRCV_MBF_ENTER(mbfid, msg)
|
---|
| 107 | #endif /* LOG_PRCV_MBF_ENTER */
|
---|
| 108 |
|
---|
| 109 | #ifndef LOG_PRCV_MBF_LEAVE
|
---|
| 110 | #define LOG_PRCV_MBF_LEAVE(msgsz, msg)
|
---|
| 111 | #endif /* LOG_PRCV_MBF_LEAVE */
|
---|
| 112 |
|
---|
| 113 | #ifndef LOG_TRCV_MBF_ENTER
|
---|
| 114 | #define LOG_TRCV_MBF_ENTER(mbfid, msg, tmout)
|
---|
| 115 | #endif /* LOG_TRCV_MBF_ENTER */
|
---|
| 116 |
|
---|
| 117 | #ifndef LOG_TRCV_MBF_LEAVE
|
---|
| 118 | #define LOG_TRCV_MBF_LEAVE(msgsz, msg)
|
---|
| 119 | #endif /* LOG_TRCV_MBF_LEAVE */
|
---|
| 120 |
|
---|
| 121 | #ifndef LOG_INI_MBF_ENTER
|
---|
| 122 | #define LOG_INI_MBF_ENTER(mbfid)
|
---|
| 123 | #endif /* LOG_INI_MBF_ENTER */
|
---|
| 124 |
|
---|
| 125 | #ifndef LOG_INI_MBF_LEAVE
|
---|
| 126 | #define LOG_INI_MBF_LEAVE(ercd)
|
---|
| 127 | #endif /* LOG_INI_MBF_LEAVE */
|
---|
| 128 |
|
---|
| 129 | #ifndef LOG_REF_MBF_ENTER
|
---|
| 130 | #define LOG_REF_MBF_ENTER(mbfid, pk_rmbf)
|
---|
| 131 | #endif /* LOG_REF_MBF_ENTER */
|
---|
| 132 |
|
---|
| 133 | #ifndef LOG_REF_MBF_LEAVE
|
---|
| 134 | #define LOG_REF_MBF_LEAVE(ercd, pk_rmbf)
|
---|
| 135 | #endif /* LOG_REF_MBF_LEAVE */
|
---|
| 136 |
|
---|
| 137 | /*
|
---|
| 138 | * ã¡ãã»ã¼ã¸ãããã¡ã®æ°
|
---|
| 139 | */
|
---|
| 140 | #define tnum_mbf ((uint_t)(tmax_mbfid - TMIN_MBFID + 1))
|
---|
| 141 |
|
---|
| 142 | /*
|
---|
| 143 | * ã¡ãã»ã¼ã¸ãããã¡IDããã¡ãã»ã¼ã¸ãããã¡ç®¡çãããã¯ãåãåºãã
|
---|
| 144 | * ãã®ãã¯ã
|
---|
| 145 | */
|
---|
| 146 | #define INDEX_MBF(mbfid) ((uint_t)((mbfid) - TMIN_MBFID))
|
---|
| 147 | #define get_mbfcb(mbfid) (&(mbfcb_table[INDEX_MBF(mbfid)]))
|
---|
| 148 |
|
---|
| 149 | /*
|
---|
| 150 | * ã¡ãã»ã¼ã¸ãããã¡æ©è½ã®åæå
|
---|
| 151 | */
|
---|
| 152 | #ifdef TOPPERS_mbfini
|
---|
| 153 |
|
---|
| 154 | void
|
---|
| 155 | initialize_messagebuf(void)
|
---|
| 156 | {
|
---|
| 157 | uint_t i;
|
---|
| 158 | MBFCB *p_mbfcb;
|
---|
| 159 |
|
---|
| 160 | mbfhook_dequeue_wobj = messagebuf_dequeue_wobj;
|
---|
| 161 |
|
---|
| 162 | for (i = 0; i < tnum_mbf; i++) {
|
---|
| 163 | p_mbfcb = &(mbfcb_table[i]);
|
---|
| 164 | queue_initialize(&(p_mbfcb->swait_queue));
|
---|
| 165 | p_mbfcb->p_mbfinib = &(mbfinib_table[i]);
|
---|
| 166 | queue_initialize(&(p_mbfcb->rwait_queue));
|
---|
| 167 | p_mbfcb->fmbfsz = p_mbfcb->p_mbfinib->mbfsz;
|
---|
| 168 | p_mbfcb->head = 0U;
|
---|
| 169 | p_mbfcb->tail = 0U;
|
---|
| 170 | p_mbfcb->smbfcnt = 0U;
|
---|
| 171 | }
|
---|
| 172 | }
|
---|
| 173 |
|
---|
| 174 | #endif /* TOPPERS_mbfini */
|
---|
| 175 |
|
---|
| 176 | /*
|
---|
| 177 | * ã¡ãã»ã¼ã¸ãããã¡ç®¡çé åã¸ã®ã¡ãã»ã¼ã¸ã®æ ¼ç´
|
---|
| 178 | */
|
---|
| 179 | #ifdef TOPPERS_mbfenq
|
---|
| 180 |
|
---|
| 181 | bool_t
|
---|
| 182 | enqueue_message(MBFCB *p_mbfcb, const void *msg, uint_t msgsz)
|
---|
| 183 | {
|
---|
| 184 | const MBFINIB *p_mbfinib = p_mbfcb->p_mbfinib;
|
---|
| 185 | char *mbuffer = (char *)(p_mbfinib->mbfmb);
|
---|
| 186 | uint_t allocsz;
|
---|
| 187 | size_t remsz;
|
---|
| 188 |
|
---|
| 189 | allocsz = sizeof(uint_t) + TOPPERS_ROUND_SZ(msgsz, sizeof(uint_t));
|
---|
| 190 | if (allocsz <= p_mbfcb->fmbfsz) {
|
---|
| 191 | *((uint_t *) &(mbuffer[p_mbfcb->tail])) = msgsz;
|
---|
| 192 | p_mbfcb->tail += sizeof(uint_t);
|
---|
| 193 | if (p_mbfcb->tail >= p_mbfinib->mbfsz) {
|
---|
| 194 | p_mbfcb->tail = 0U;
|
---|
| 195 | }
|
---|
| 196 |
|
---|
| 197 | remsz = p_mbfinib->mbfsz - p_mbfcb->tail;
|
---|
| 198 | if (remsz < msgsz) {
|
---|
| 199 | memcpy(&(mbuffer[p_mbfcb->tail]), msg, remsz);
|
---|
| 200 | msg = ((char *) msg) + remsz;
|
---|
| 201 | msgsz -= remsz;
|
---|
| 202 | p_mbfcb->tail = 0U;
|
---|
| 203 | }
|
---|
| 204 | memcpy(&(mbuffer[p_mbfcb->tail]), msg, msgsz);
|
---|
| 205 | p_mbfcb->tail += TOPPERS_ROUND_SZ(msgsz, sizeof(uint_t));
|
---|
| 206 | if (p_mbfcb->tail >= p_mbfinib->mbfsz) {
|
---|
| 207 | p_mbfcb->tail = 0U;
|
---|
| 208 | }
|
---|
| 209 |
|
---|
| 210 | p_mbfcb->fmbfsz -= allocsz;
|
---|
| 211 | p_mbfcb->smbfcnt++;
|
---|
| 212 | return(true);
|
---|
| 213 | }
|
---|
| 214 | return(false);
|
---|
| 215 | }
|
---|
| 216 |
|
---|
| 217 | #endif /* TOPPERS_mbfenq */
|
---|
| 218 |
|
---|
| 219 | /*
|
---|
| 220 | * ã¡ãã»ã¼ã¸ãããã¡ç®¡çé åããã®ã¡ãã»ã¼ã¸ã®ååºã
|
---|
| 221 | */
|
---|
| 222 | #ifdef TOPPERS_mbfdeq
|
---|
| 223 |
|
---|
| 224 | uint_t
|
---|
| 225 | dequeue_message(MBFCB *p_mbfcb, void *msg)
|
---|
| 226 | {
|
---|
| 227 | const MBFINIB *p_mbfinib = p_mbfcb->p_mbfinib;
|
---|
| 228 | char *mbuffer = (char *)(p_mbfinib->mbfmb);
|
---|
| 229 | uint_t msgsz, copysz;
|
---|
| 230 | size_t remsz;
|
---|
| 231 |
|
---|
| 232 | assert(p_mbfcb->smbfcnt > 0);
|
---|
| 233 | msgsz = *((uint_t *) &(mbuffer[p_mbfcb->head]));
|
---|
| 234 | p_mbfcb->head += sizeof(uint_t);
|
---|
| 235 | if (p_mbfcb->head >= p_mbfcb->p_mbfinib->mbfsz) {
|
---|
| 236 | p_mbfcb->head = 0U;
|
---|
| 237 | }
|
---|
| 238 |
|
---|
| 239 | remsz = p_mbfcb->p_mbfinib->mbfsz - p_mbfcb->head;
|
---|
| 240 | copysz = msgsz;
|
---|
| 241 | if (remsz < copysz) {
|
---|
| 242 | memcpy(msg, &(mbuffer[p_mbfcb->head]), remsz);
|
---|
| 243 | msg = ((char *) msg) + remsz;
|
---|
| 244 | copysz -= remsz;
|
---|
| 245 | p_mbfcb->head = 0U;
|
---|
| 246 | }
|
---|
| 247 | memcpy(msg, &(mbuffer[p_mbfcb->head]), copysz);
|
---|
| 248 | p_mbfcb->head += TOPPERS_ROUND_SZ(copysz, sizeof(uint_t));
|
---|
| 249 | if (p_mbfcb->head >= p_mbfcb->p_mbfinib->mbfsz) {
|
---|
| 250 | p_mbfcb->head = 0U;
|
---|
| 251 | }
|
---|
| 252 |
|
---|
| 253 | p_mbfcb->fmbfsz += sizeof(uint_t) + TOPPERS_ROUND_SZ(msgsz, sizeof(uint_t));
|
---|
| 254 | p_mbfcb->smbfcnt--;
|
---|
| 255 | return(msgsz);
|
---|
| 256 | }
|
---|
| 257 |
|
---|
| 258 | #endif /* TOPPERS_mbfdeq */
|
---|
| 259 |
|
---|
| 260 | /*
|
---|
| 261 | * ã¡ãã»ã¼ã¸ãããã¡ã¸ã®ã¡ãã»ã¼ã¸éä¿¡
|
---|
| 262 | */
|
---|
| 263 | #ifdef TOPPERS_mbfsnd
|
---|
| 264 |
|
---|
| 265 | bool_t
|
---|
| 266 | send_message(MBFCB *p_mbfcb, const void *msg, uint_t msgsz)
|
---|
| 267 | {
|
---|
| 268 | TCB *p_tcb;
|
---|
| 269 |
|
---|
| 270 | if (!queue_empty(&(p_mbfcb->rwait_queue))) {
|
---|
| 271 | p_tcb = (TCB *) queue_delete_next(&(p_mbfcb->rwait_queue));
|
---|
| 272 | memcpy(((WINFO_RMBF *)(p_tcb->p_winfo))->msg, msg, msgsz);
|
---|
| 273 | wait_complete(p_tcb);
|
---|
| 274 | p_tcb->p_winfo->wercd = (ER_UINT)(msgsz);
|
---|
| 275 | return(true);
|
---|
| 276 | }
|
---|
| 277 | else if (queue_empty(&(p_mbfcb->swait_queue))
|
---|
| 278 | && enqueue_message(p_mbfcb, msg, msgsz)) {
|
---|
| 279 | return(true);
|
---|
| 280 | }
|
---|
| 281 | else {
|
---|
| 282 | return(false);
|
---|
| 283 | }
|
---|
| 284 | }
|
---|
| 285 |
|
---|
| 286 | #endif /* TOPPERS_mbfsnd */
|
---|
| 287 |
|
---|
| 288 | /*
|
---|
| 289 | * ã¡ãã»ã¼ã¸ãããã¡éä¿¡å¾
|
---|
| 290 | ã¡ã¿ã¹ã¯ã®ãã§ãã¯
|
---|
| 291 | *
|
---|
| 292 | * ã¡ãã»ã¼ã¸ãããã¡éä¿¡å¾
|
---|
| 293 | ã¡ãã¥ã¼ã®å
|
---|
| 294 | é ã®ã¿ã¹ã¯ã®éä¿¡ã¡ãã»ã¼ã¸ãï¼
|
---|
| 295 | * ã¡ãã»ã¼ã¸ãããã¡ç®¡çé åã«æ ¼ç´ãããã¨ã§ããã°æ ¼ç´ãï¼å¾
|
---|
| 296 | ã¡è§£é¤ã
|
---|
| 297 | * ãï¼ãã®å¦çãï¼å
|
---|
| 298 | é ã®ã¿ã¹ã¯ã®éä¿¡ã¡ãã»ã¼ã¸ãæ ¼ç´ã§ããªããªãã¾ã§
|
---|
| 299 | * ç¹°ãè¿ãï¼
|
---|
| 300 | */
|
---|
| 301 | #ifdef TOPPERS_mbfsig
|
---|
| 302 |
|
---|
| 303 | void
|
---|
| 304 | messagebuf_signal(MBFCB *p_mbfcb)
|
---|
| 305 | {
|
---|
| 306 | TCB *p_tcb;
|
---|
| 307 |
|
---|
| 308 | while (!queue_empty(&(p_mbfcb->swait_queue))) {
|
---|
| 309 | p_tcb = (TCB *)(p_mbfcb->swait_queue.p_next);
|
---|
| 310 | if (enqueue_message(p_mbfcb, ((WINFO_SMBF *)(p_tcb->p_winfo))->msg,
|
---|
| 311 | ((WINFO_SMBF *)(p_tcb->p_winfo))->msgsz)) {
|
---|
| 312 | queue_delete(&(p_tcb->task_queue));
|
---|
| 313 | wait_complete(p_tcb);
|
---|
| 314 | }
|
---|
| 315 | else {
|
---|
| 316 | break;
|
---|
| 317 | }
|
---|
| 318 | }
|
---|
| 319 | }
|
---|
| 320 |
|
---|
| 321 | #endif /* TOPPERS_mbfsig */
|
---|
| 322 |
|
---|
| 323 | /*
|
---|
| 324 | * ã¡ãã»ã¼ã¸ãããã¡ããã®ã¡ãã»ã¼ã¸åä¿¡
|
---|
| 325 | */
|
---|
| 326 | #ifdef TOPPERS_mbfrcv
|
---|
| 327 |
|
---|
| 328 | uint_t
|
---|
| 329 | receive_message(MBFCB *p_mbfcb, void *msg)
|
---|
| 330 | {
|
---|
| 331 | TCB *p_tcb;
|
---|
| 332 | uint_t msgsz;
|
---|
| 333 |
|
---|
| 334 | if (p_mbfcb->smbfcnt > 0) {
|
---|
| 335 | msgsz = dequeue_message(p_mbfcb, msg);
|
---|
| 336 | messagebuf_signal(p_mbfcb);
|
---|
| 337 | return(msgsz);
|
---|
| 338 | }
|
---|
| 339 | else if (!queue_empty(&(p_mbfcb->swait_queue))) {
|
---|
| 340 | p_tcb = (TCB *) queue_delete_next(&(p_mbfcb->swait_queue));
|
---|
| 341 | msgsz = ((WINFO_SMBF *)(p_tcb->p_winfo))->msgsz;
|
---|
| 342 | memcpy(msg, ((WINFO_SMBF *)(p_tcb->p_winfo))->msg, msgsz);
|
---|
| 343 | wait_complete(p_tcb);
|
---|
| 344 | return(msgsz);
|
---|
| 345 | }
|
---|
| 346 | else {
|
---|
| 347 | return(0U);
|
---|
| 348 | }
|
---|
| 349 | }
|
---|
| 350 |
|
---|
| 351 | #endif /* TOPPERS_mbfrcv */
|
---|
| 352 |
|
---|
| 353 | /*
|
---|
| 354 | * ã¡ãã»ã¼ã¸ãããã¡éä¿¡å¾
|
---|
| 355 | ã¡ã¿ã¹ã¯ã®å¾
|
---|
| 356 | ã¡è§£é¤æå¦ç
|
---|
| 357 | */
|
---|
| 358 | #ifdef TOPPERS_mbfwobj
|
---|
| 359 |
|
---|
| 360 | void
|
---|
| 361 | messagebuf_dequeue_wobj(TCB *p_tcb)
|
---|
| 362 | {
|
---|
| 363 | messagebuf_signal(((WINFO_SMBF *)(p_tcb->p_winfo))->p_mbfcb);
|
---|
| 364 | }
|
---|
| 365 |
|
---|
| 366 | #endif /* TOPPERS_mbfwobj */
|
---|
| 367 |
|
---|
| 368 | /*
|
---|
| 369 | * ã¡ãã»ã¼ã¸ãããã¡ã¸ã®éä¿¡
|
---|
| 370 | */
|
---|
| 371 | #ifdef TOPPERS_snd_mbf
|
---|
| 372 |
|
---|
| 373 | ER
|
---|
| 374 | snd_mbf(ID mbfid, const void *msg, uint_t msgsz)
|
---|
| 375 | {
|
---|
| 376 | MBFCB *p_mbfcb;
|
---|
| 377 | WINFO_SMBF winfo_smbf;
|
---|
| 378 | ER ercd;
|
---|
| 379 |
|
---|
| 380 | LOG_SND_MBF_ENTER(mbfid, msg, msgsz);
|
---|
| 381 | CHECK_DISPATCH();
|
---|
| 382 | CHECK_ID(VALID_MBFID(mbfid));
|
---|
| 383 | p_mbfcb = get_mbfcb(mbfid);
|
---|
| 384 | CHECK_PAR(0 < msgsz && msgsz <= p_mbfcb->p_mbfinib->maxmsz);
|
---|
| 385 |
|
---|
| 386 | lock_cpu_dsp();
|
---|
| 387 | if (p_runtsk->raster) {
|
---|
| 388 | ercd = E_RASTER;
|
---|
| 389 | }
|
---|
| 390 | else if (send_message(p_mbfcb, msg, msgsz)) {
|
---|
| 391 | if (p_runtsk != p_schedtsk) {
|
---|
| 392 | dispatch();
|
---|
| 393 | }
|
---|
| 394 | ercd = E_OK;
|
---|
| 395 | }
|
---|
| 396 | else {
|
---|
| 397 | winfo_smbf.msg = msg;
|
---|
| 398 | winfo_smbf.msgsz = msgsz;
|
---|
| 399 | p_runtsk->tstat = TS_WAITING_SMBF;
|
---|
| 400 | wobj_make_wait((WOBJCB *) p_mbfcb, (WINFO_WOBJ *) &winfo_smbf);
|
---|
| 401 | dispatch();
|
---|
| 402 | ercd = winfo_smbf.winfo.wercd;
|
---|
| 403 | }
|
---|
| 404 | unlock_cpu_dsp();
|
---|
| 405 |
|
---|
| 406 | error_exit:
|
---|
| 407 | LOG_SND_MBF_LEAVE(ercd);
|
---|
| 408 | return(ercd);
|
---|
| 409 | }
|
---|
| 410 |
|
---|
| 411 | #endif /* TOPPERS_snd_mbf */
|
---|
| 412 |
|
---|
| 413 | /*
|
---|
| 414 | * ã¡ãã»ã¼ã¸ãããã¡ã¸ã®éä¿¡ï¼ãã¼ãªã³ã°ï¼
|
---|
| 415 | */
|
---|
| 416 | #ifdef TOPPERS_psnd_mbf
|
---|
| 417 |
|
---|
| 418 | ER
|
---|
| 419 | psnd_mbf(ID mbfid, const void *msg, uint_t msgsz)
|
---|
| 420 | {
|
---|
| 421 | MBFCB *p_mbfcb;
|
---|
| 422 | ER ercd;
|
---|
| 423 |
|
---|
| 424 | LOG_PSND_MBF_ENTER(mbfid, msg, msgsz);
|
---|
| 425 | CHECK_TSKCTX_UNL();
|
---|
| 426 | CHECK_ID(VALID_MBFID(mbfid));
|
---|
| 427 | p_mbfcb = get_mbfcb(mbfid);
|
---|
| 428 | CHECK_PAR(0 < msgsz && msgsz <= p_mbfcb->p_mbfinib->maxmsz);
|
---|
| 429 |
|
---|
| 430 | lock_cpu();
|
---|
| 431 | if (send_message(p_mbfcb, msg, msgsz)) {
|
---|
| 432 | if (p_runtsk != p_schedtsk) {
|
---|
| 433 | dispatch();
|
---|
| 434 | }
|
---|
| 435 | ercd = E_OK;
|
---|
| 436 | }
|
---|
| 437 | else {
|
---|
| 438 | ercd = E_TMOUT;
|
---|
| 439 | }
|
---|
| 440 | unlock_cpu();
|
---|
| 441 |
|
---|
| 442 | error_exit:
|
---|
| 443 | LOG_PSND_MBF_LEAVE(ercd);
|
---|
| 444 | return(ercd);
|
---|
| 445 | }
|
---|
| 446 |
|
---|
| 447 | #endif /* TOPPERS_psnd_mbf */
|
---|
| 448 |
|
---|
| 449 | /*
|
---|
| 450 | * ã¡ãã»ã¼ã¸ãããã¡ã¸ã®éä¿¡ï¼ã¿ã¤ã ã¢ã¦ãããï¼
|
---|
| 451 | */
|
---|
| 452 | #ifdef TOPPERS_tsnd_mbf
|
---|
| 453 |
|
---|
| 454 | ER
|
---|
| 455 | tsnd_mbf(ID mbfid, const void *msg, uint_t msgsz, TMO tmout)
|
---|
| 456 | {
|
---|
| 457 | MBFCB *p_mbfcb;
|
---|
| 458 | WINFO_SMBF winfo_smbf;
|
---|
| 459 | TMEVTB tmevtb;
|
---|
| 460 | ER ercd;
|
---|
| 461 |
|
---|
| 462 | LOG_TSND_MBF_ENTER(mbfid, msg, msgsz, tmout);
|
---|
| 463 | CHECK_DISPATCH();
|
---|
| 464 | CHECK_ID(VALID_MBFID(mbfid));
|
---|
| 465 | CHECK_PAR(VALID_TMOUT(tmout));
|
---|
| 466 | p_mbfcb = get_mbfcb(mbfid);
|
---|
| 467 | CHECK_PAR(0 < msgsz && msgsz <= p_mbfcb->p_mbfinib->maxmsz);
|
---|
| 468 |
|
---|
| 469 | lock_cpu_dsp();
|
---|
| 470 | if (p_runtsk->raster) {
|
---|
| 471 | ercd = E_RASTER;
|
---|
| 472 | }
|
---|
| 473 | else if (send_message(p_mbfcb, msg, msgsz)) {
|
---|
| 474 | if (p_runtsk != p_schedtsk) {
|
---|
| 475 | dispatch();
|
---|
| 476 | }
|
---|
| 477 | ercd = E_OK;
|
---|
| 478 | }
|
---|
| 479 | else if (tmout == TMO_POL) {
|
---|
| 480 | ercd = E_TMOUT;
|
---|
| 481 | }
|
---|
| 482 | else {
|
---|
| 483 | winfo_smbf.msg = msg;
|
---|
| 484 | winfo_smbf.msgsz = msgsz;
|
---|
| 485 | p_runtsk->tstat = TS_WAITING_SMBF;
|
---|
| 486 | wobj_make_wait_tmout((WOBJCB *) p_mbfcb, (WINFO_WOBJ *) &winfo_smbf,
|
---|
| 487 | &tmevtb, tmout);
|
---|
| 488 | dispatch();
|
---|
| 489 | ercd = winfo_smbf.winfo.wercd;
|
---|
| 490 | }
|
---|
| 491 | unlock_cpu_dsp();
|
---|
| 492 |
|
---|
| 493 | error_exit:
|
---|
| 494 | LOG_TSND_MBF_LEAVE(ercd);
|
---|
| 495 | return(ercd);
|
---|
| 496 | }
|
---|
| 497 |
|
---|
| 498 | #endif /* TOPPERS_tsnd_mbf */
|
---|
| 499 |
|
---|
| 500 | /*
|
---|
| 501 | * ã¡ãã»ã¼ã¸ãããã¡ããã®åä¿¡
|
---|
| 502 | */
|
---|
| 503 | #ifdef TOPPERS_rcv_mbf
|
---|
| 504 |
|
---|
| 505 | ER_UINT
|
---|
| 506 | rcv_mbf(ID mbfid, void *msg)
|
---|
| 507 | {
|
---|
| 508 | MBFCB *p_mbfcb;
|
---|
| 509 | WINFO_RMBF winfo_rmbf;
|
---|
| 510 | uint_t msgsz;
|
---|
| 511 | ER_UINT ercd;
|
---|
| 512 |
|
---|
| 513 | LOG_RCV_MBF_ENTER(mbfid, msg);
|
---|
| 514 | CHECK_DISPATCH();
|
---|
| 515 | CHECK_ID(VALID_MBFID(mbfid));
|
---|
| 516 | p_mbfcb = get_mbfcb(mbfid);
|
---|
| 517 |
|
---|
| 518 | lock_cpu_dsp();
|
---|
| 519 | if (p_runtsk->raster) {
|
---|
| 520 | ercd = E_RASTER;
|
---|
| 521 | }
|
---|
| 522 | else if ((msgsz = receive_message(p_mbfcb, msg)) > 0U) {
|
---|
| 523 | if (p_runtsk != p_schedtsk) {
|
---|
| 524 | dispatch();
|
---|
| 525 | }
|
---|
| 526 | ercd = (ER_UINT) msgsz;
|
---|
| 527 | }
|
---|
| 528 | else {
|
---|
| 529 | p_runtsk->tstat = TS_WAITING_RMBF;
|
---|
| 530 | make_wait(&(winfo_rmbf.winfo));
|
---|
| 531 | queue_insert_prev(&(p_mbfcb->rwait_queue), &(p_runtsk->task_queue));
|
---|
| 532 | winfo_rmbf.p_mbfcb = p_mbfcb;
|
---|
| 533 | winfo_rmbf.msg = msg;
|
---|
| 534 | LOG_TSKSTAT(p_runtsk);
|
---|
| 535 | dispatch();
|
---|
| 536 | ercd = winfo_rmbf.winfo.wercd;
|
---|
| 537 | }
|
---|
| 538 | unlock_cpu_dsp();
|
---|
| 539 |
|
---|
| 540 | error_exit:
|
---|
| 541 | LOG_RCV_MBF_LEAVE(ercd, msg);
|
---|
| 542 | return(ercd);
|
---|
| 543 | }
|
---|
| 544 |
|
---|
| 545 | #endif /* TOPPERS_rcv_mbf */
|
---|
| 546 |
|
---|
| 547 | /*
|
---|
| 548 | * ã¡ãã»ã¼ã¸ãããã¡ããã®åä¿¡ï¼ãã¼ãªã³ã°ï¼
|
---|
| 549 | */
|
---|
| 550 | #ifdef TOPPERS_prcv_mbf
|
---|
| 551 |
|
---|
| 552 | ER
|
---|
| 553 | prcv_mbf(ID mbfid, void *msg)
|
---|
| 554 | {
|
---|
| 555 | MBFCB *p_mbfcb;
|
---|
| 556 | uint_t msgsz;
|
---|
| 557 | ER_UINT ercd;
|
---|
| 558 |
|
---|
| 559 | LOG_PRCV_MBF_ENTER(mbfid, msg);
|
---|
| 560 | CHECK_TSKCTX_UNL();
|
---|
| 561 | CHECK_ID(VALID_MBFID(mbfid));
|
---|
| 562 | p_mbfcb = get_mbfcb(mbfid);
|
---|
| 563 |
|
---|
| 564 | lock_cpu();
|
---|
| 565 | if ((msgsz = receive_message(p_mbfcb, msg)) > 0U) {
|
---|
| 566 | if (p_runtsk != p_schedtsk) {
|
---|
| 567 | dispatch();
|
---|
| 568 | }
|
---|
| 569 | ercd = (ER_UINT) msgsz;
|
---|
| 570 | }
|
---|
| 571 | else {
|
---|
| 572 | ercd = E_TMOUT;
|
---|
| 573 | }
|
---|
| 574 | unlock_cpu();
|
---|
| 575 |
|
---|
| 576 | error_exit:
|
---|
| 577 | LOG_PRCV_MBF_LEAVE(ercd, msg);
|
---|
| 578 | return(ercd);
|
---|
| 579 | }
|
---|
| 580 |
|
---|
| 581 | #endif /* TOPPERS_prcv_mbf */
|
---|
| 582 |
|
---|
| 583 | /*
|
---|
| 584 | * ã¡ãã»ã¼ã¸ãããã¡ããã®åä¿¡ï¼ã¿ã¤ã ã¢ã¦ãããï¼
|
---|
| 585 | */
|
---|
| 586 | #ifdef TOPPERS_trcv_mbf
|
---|
| 587 |
|
---|
| 588 | ER
|
---|
| 589 | trcv_mbf(ID mbfid, void *msg, TMO tmout)
|
---|
| 590 | {
|
---|
| 591 | MBFCB *p_mbfcb;
|
---|
| 592 | WINFO_RMBF winfo_rmbf;
|
---|
| 593 | TMEVTB tmevtb;
|
---|
| 594 | uint_t msgsz;
|
---|
| 595 | ER_UINT ercd;
|
---|
| 596 |
|
---|
| 597 | LOG_TRCV_MBF_ENTER(mbfid, msg, tmout);
|
---|
| 598 | CHECK_DISPATCH();
|
---|
| 599 | CHECK_ID(VALID_MBFID(mbfid));
|
---|
| 600 | CHECK_PAR(VALID_TMOUT(tmout));
|
---|
| 601 | p_mbfcb = get_mbfcb(mbfid);
|
---|
| 602 |
|
---|
| 603 | lock_cpu_dsp();
|
---|
| 604 | if (p_runtsk->raster) {
|
---|
| 605 | ercd = E_RASTER;
|
---|
| 606 | }
|
---|
| 607 | else if ((msgsz = receive_message(p_mbfcb, msg)) > 0U) {
|
---|
| 608 | if (p_runtsk != p_schedtsk) {
|
---|
| 609 | dispatch();
|
---|
| 610 | }
|
---|
| 611 | ercd = (ER_UINT) msgsz;
|
---|
| 612 | }
|
---|
| 613 | else if (tmout == TMO_POL) {
|
---|
| 614 | ercd = E_TMOUT;
|
---|
| 615 | }
|
---|
| 616 | else {
|
---|
| 617 | p_runtsk->tstat = TS_WAITING_RMBF;
|
---|
| 618 | make_wait_tmout(&(winfo_rmbf.winfo), &tmevtb, tmout);
|
---|
| 619 | queue_insert_prev(&(p_mbfcb->rwait_queue), &(p_runtsk->task_queue));
|
---|
| 620 | winfo_rmbf.p_mbfcb = p_mbfcb;
|
---|
| 621 | winfo_rmbf.msg = msg;
|
---|
| 622 | LOG_TSKSTAT(p_runtsk);
|
---|
| 623 | dispatch();
|
---|
| 624 | ercd = winfo_rmbf.winfo.wercd;
|
---|
| 625 | }
|
---|
| 626 | unlock_cpu_dsp();
|
---|
| 627 |
|
---|
| 628 | error_exit:
|
---|
| 629 | LOG_TRCV_MBF_LEAVE(ercd, msg);
|
---|
| 630 | return(ercd);
|
---|
| 631 | }
|
---|
| 632 |
|
---|
| 633 | #endif /* TOPPERS_trcv_mbf */
|
---|
| 634 |
|
---|
| 635 | /*
|
---|
| 636 | * ã¡ãã»ã¼ã¸ãããã¡ã®ååæå
|
---|
| 637 | */
|
---|
| 638 | #ifdef TOPPERS_ini_mbf
|
---|
| 639 |
|
---|
| 640 | ER
|
---|
| 641 | ini_mbf(ID mbfid)
|
---|
| 642 | {
|
---|
| 643 | MBFCB *p_mbfcb;
|
---|
| 644 | ER ercd;
|
---|
| 645 |
|
---|
| 646 | LOG_INI_MBF_ENTER(mbfid);
|
---|
| 647 | CHECK_TSKCTX_UNL();
|
---|
| 648 | CHECK_ID(VALID_MBFID(mbfid));
|
---|
| 649 | p_mbfcb = get_mbfcb(mbfid);
|
---|
| 650 |
|
---|
| 651 | lock_cpu();
|
---|
| 652 | init_wait_queue(&(p_mbfcb->swait_queue));
|
---|
| 653 | init_wait_queue(&(p_mbfcb->rwait_queue));
|
---|
| 654 | p_mbfcb->fmbfsz = p_mbfcb->p_mbfinib->mbfsz;
|
---|
| 655 | p_mbfcb->head = 0U;
|
---|
| 656 | p_mbfcb->tail = 0U;
|
---|
| 657 | p_mbfcb->smbfcnt = 0U;
|
---|
| 658 | if (p_runtsk != p_schedtsk) {
|
---|
| 659 | dispatch();
|
---|
| 660 | }
|
---|
| 661 | ercd = E_OK;
|
---|
| 662 | unlock_cpu();
|
---|
| 663 |
|
---|
| 664 | error_exit:
|
---|
| 665 | LOG_INI_MBF_LEAVE(ercd);
|
---|
| 666 | return(ercd);
|
---|
| 667 | }
|
---|
| 668 |
|
---|
| 669 | #endif /* TOPPERS_ini_mbf */
|
---|
| 670 |
|
---|
| 671 | /*
|
---|
| 672 | * ã¡ãã»ã¼ã¸ãããã¡ã®ç¶æ
|
---|
| 673 | åç
|
---|
| 674 | §
|
---|
| 675 | */
|
---|
| 676 | #ifdef TOPPERS_ref_mbf
|
---|
| 677 |
|
---|
| 678 | ER
|
---|
| 679 | ref_mbf(ID mbfid, T_RMBF *pk_rmbf)
|
---|
| 680 | {
|
---|
| 681 | MBFCB *p_mbfcb;
|
---|
| 682 | ER ercd;
|
---|
| 683 |
|
---|
| 684 | LOG_REF_MBF_ENTER(mbfid, pk_rmbf);
|
---|
| 685 | CHECK_TSKCTX_UNL();
|
---|
| 686 | CHECK_ID(VALID_MBFID(mbfid));
|
---|
| 687 | p_mbfcb = get_mbfcb(mbfid);
|
---|
| 688 |
|
---|
| 689 | lock_cpu();
|
---|
| 690 | pk_rmbf->stskid = wait_tskid(&(p_mbfcb->swait_queue));
|
---|
| 691 | pk_rmbf->rtskid = wait_tskid(&(p_mbfcb->rwait_queue));
|
---|
| 692 | pk_rmbf->smbfcnt = p_mbfcb->smbfcnt;
|
---|
| 693 | pk_rmbf->fmbfsz = p_mbfcb->fmbfsz;
|
---|
| 694 | ercd = E_OK;
|
---|
| 695 | unlock_cpu();
|
---|
| 696 |
|
---|
| 697 | error_exit:
|
---|
| 698 | LOG_REF_MBF_LEAVE(ercd, pk_rmbf);
|
---|
| 699 | return(ercd);
|
---|
| 700 | }
|
---|
| 701 |
|
---|
| 702 | #endif /* TOPPERS_ref_mbf */
|
---|