source: asp3_gr_sakura/trunk/kernel/eventflag.c@ 317

Last change on this file since 317 was 317, checked in by coas-nagasima, 7 years ago

GR-SAKURA向けASP3を追加
  • Property svn:eol-style set to native
  • Property svn:keywords set to Id
  • Property svn:mime-type set to text/x-csrc
File size: 13.9 KB
Line 
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-2017 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: eventflag.c 317 2017-08-03 13:14:26Z coas-nagasima $
56 */
57
58/*
59 * イベントフラグ機能
60 */
61
62#include "kernel_impl.h"
63#include "check.h"
64#include "task.h"
65#include "wait.h"
66#include "eventflag.h"
67
68/*
69 * トレースログマクロのデフォルト定義
70 */
71#ifndef LOG_ACRE_FLG_ENTER
72#define LOG_ACRE_FLG_ENTER(pk_cflg)
73#endif /* LOG_ACRE_FLG_ENTER */
74
75#ifndef LOG_ACRE_FLG_LEAVE
76#define LOG_ACRE_FLG_LEAVE(ercd)
77#endif /* LOG_ACRE_FLG_LEAVE */
78
79#ifndef LOG_DEL_FLG_ENTER
80#define LOG_DEL_FLG_ENTER(flgid)
81#endif /* LOG_DEL_FLG_ENTER */
82
83#ifndef LOG_DEL_FLG_LEAVE
84#define LOG_DEL_FLG_LEAVE(ercd)
85#endif /* LOG_DEL_FLG_LEAVE */
86
87#ifndef LOG_SET_FLG_ENTER
88#define LOG_SET_FLG_ENTER(flgid, setptn)
89#endif /* LOG_SET_FLG_ENTER */
90
91#ifndef LOG_SET_FLG_LEAVE
92#define LOG_SET_FLG_LEAVE(ercd)
93#endif /* LOG_SET_FLG_LEAVE */
94
95#ifndef LOG_CLR_FLG_ENTER
96#define LOG_CLR_FLG_ENTER(flgid, clrptn)
97#endif /* LOG_CLR_FLG_ENTER */
98
99#ifndef LOG_CLR_FLG_LEAVE
100#define LOG_CLR_FLG_LEAVE(ercd)
101#endif /* LOG_CLR_FLG_LEAVE */
102
103#ifndef LOG_WAI_FLG_ENTER
104#define LOG_WAI_FLG_ENTER(flgid, waiptn, wfmode, p_flgptn)
105#endif /* LOG_WAI_FLG_ENTER */
106
107#ifndef LOG_WAI_FLG_LEAVE
108#define LOG_WAI_FLG_LEAVE(ercd, p_flgptn)
109#endif /* LOG_WAI_FLG_LEAVE */
110
111#ifndef LOG_POL_FLG_ENTER
112#define LOG_POL_FLG_ENTER(flgid, waiptn, wfmode, p_flgptn)
113#endif /* LOG_POL_FLG_ENTER */
114
115#ifndef LOG_POL_FLG_LEAVE
116#define LOG_POL_FLG_LEAVE(ercd, p_flgptn)
117#endif /* LOG_POL_FLG_LEAVE */
118
119#ifndef LOG_TWAI_FLG_ENTER
120#define LOG_TWAI_FLG_ENTER(flgid, waiptn, wfmode, p_flgptn, tmout)
121#endif /* LOG_TWAI_FLG_ENTER */
122
123#ifndef LOG_TWAI_FLG_LEAVE
124#define LOG_TWAI_FLG_LEAVE(ercd, p_flgptn)
125#endif /* LOG_TWAI_FLG_LEAVE */
126
127#ifndef LOG_INI_FLG_ENTER
128#define LOG_INI_FLG_ENTER(flgid)
129#endif /* LOG_INI_FLG_ENTER */
130
131#ifndef LOG_INI_FLG_LEAVE
132#define LOG_INI_FLG_LEAVE(ercd)
133#endif /* LOG_INI_FLG_LEAVE */
134
135#ifndef LOG_REF_FLG_ENTER
136#define LOG_REF_FLG_ENTER(flgid, pk_rflg)
137#endif /* LOG_REF_FLG_ENTER */
138
139#ifndef LOG_REF_FLG_LEAVE
140#define LOG_REF_FLG_LEAVE(ercd, pk_rflg)
141#endif /* LOG_REF_FLG_LEAVE */
142
143/*
144 * イベントフラグの数
145 */
146#define tnum_flg ((uint_t)(tmax_flgid - TMIN_FLGID + 1))
147#define tnum_sflg ((uint_t)(tmax_sflgid - TMIN_FLGID + 1))
148
149/*
150 * イベントフラグIDからイベントフラグ管理ブロックを取り出すためのマクロ
151 */
152#define INDEX_FLG(flgid) ((uint_t)((flgid) - TMIN_FLGID))
153#define get_flgcb(flgid) (&(flgcb_table[INDEX_FLG(flgid)]))
154
155#ifdef TOPPERS_flgini
156
157/*
158 * 使用していないイベントフラグ管理ブロックのリスト
159 */
160QUEUE free_flgcb;
161
162/*
163 * イベントフラグ機能の初期化
164 */
165void
166initialize_eventflag(void)
167{
168 uint_t i, j;
169 FLGCB *p_flgcb;
170 FLGINIB *p_flginib;
171
172 for (i = 0; i < tnum_sflg; i++) {
173 p_flgcb = &(flgcb_table[i]);
174 queue_initialize(&(p_flgcb->wait_queue));
175 p_flgcb->p_flginib = &(flginib_table[i]);
176 p_flgcb->flgptn = p_flgcb->p_flginib->iflgptn;
177 }
178 queue_initialize(&free_flgcb);
179 for (j = 0; i < tnum_flg; i++, j++) {
180 p_flgcb = &(flgcb_table[i]);
181 p_flginib = &(aflginib_table[j]);
182 p_flginib->flgatr = TA_NOEXS;
183 p_flgcb->p_flginib = ((const FLGINIB *) p_flginib);
184 queue_insert_prev(&free_flgcb, &(p_flgcb->wait_queue));
185 }
186}
187
188#endif /* TOPPERS_flgini */
189
190/*
191 * イベントフラグ待
192ち解除条件のチェック
193 */
194#ifdef TOPPERS_flgcnd
195
196bool_t
197check_flg_cond(FLGCB *p_flgcb, FLGPTN waiptn, MODE wfmode, FLGPTN *p_flgptn)
198{
199 if ((wfmode & TWF_ORW) != 0U ? (p_flgcb->flgptn & waiptn) != 0U
200 : (p_flgcb->flgptn & waiptn) == waiptn) {
201 *p_flgptn = p_flgcb->flgptn;
202 if ((p_flgcb->p_flginib->flgatr & TA_CLR) != 0U) {
203 p_flgcb->flgptn = 0U;
204 }
205 return(true);
206 }
207 return(false);
208}
209
210#endif /* TOPPERS_flgcnd */
211
212/*
213 * イベントフラグの生成
214 *
215 * pk_cflg->iflgptnは，エラーチェックをせず，一度しか参ç…
216§ã—ないため，
217 * ローカル変数にコピーする必
218要がない（途中で書き換わっても支障がな
219 * い）．
220 */
221#ifdef TOPPERS_acre_flg
222
223ER_UINT
224acre_flg(const T_CFLG *pk_cflg)
225{
226 FLGCB *p_flgcb;
227 FLGINIB *p_flginib;
228 ATR flgatr;
229 ER ercd;
230
231 LOG_ACRE_FLG_ENTER(pk_cflg);
232 CHECK_TSKCTX_UNL();
233
234 flgatr = pk_cflg->flgatr;
235
236 CHECK_RSATR(flgatr, TA_TPRI|TA_WMUL|TA_CLR);
237
238 lock_cpu();
239 if (tnum_flg == 0 || queue_empty(&free_flgcb)) {
240 ercd = E_NOID;
241 }
242 else {
243 p_flgcb = ((FLGCB *) queue_delete_next(&free_flgcb));
244 p_flginib = (FLGINIB *)(p_flgcb->p_flginib);
245 p_flginib->flgatr = flgatr;
246 p_flginib->iflgptn = pk_cflg->iflgptn;
247
248 queue_initialize(&(p_flgcb->wait_queue));
249 p_flgcb->flgptn = p_flgcb->p_flginib->iflgptn;
250 ercd = FLGID(p_flgcb);
251 }
252 unlock_cpu();
253
254 error_exit:
255 LOG_ACRE_FLG_LEAVE(ercd);
256 return(ercd);
257}
258
259#endif /* TOPPERS_acre_flg */
260
261/*
262 * イベントフラグの削除
263 */
264#ifdef TOPPERS_del_flg
265
266ER
267del_flg(ID flgid)
268{
269 FLGCB *p_flgcb;
270 FLGINIB *p_flginib;
271 ER ercd;
272
273 LOG_DEL_FLG_ENTER(flgid);
274 CHECK_TSKCTX_UNL();
275 CHECK_PAR(VALID_FLGID(flgid));
276 p_flgcb = get_flgcb(flgid);
277
278 lock_cpu();
279 if (p_flgcb->p_flginib->flgatr == TA_NOEXS) {
280 ercd = E_NOEXS;
281 }
282 else if (flgid <= tmax_sflgid) {
283 ercd = E_OBJ;
284 }
285 else {
286 init_wait_queue(&(p_flgcb->wait_queue));
287 p_flginib = (FLGINIB *)(p_flgcb->p_flginib);
288 p_flginib->flgatr = TA_NOEXS;
289 queue_insert_prev(&free_flgcb, &(p_flgcb->wait_queue));
290 if (p_runtsk != p_schedtsk) {
291 dispatch();
292 }
293 ercd = E_OK;
294 }
295 unlock_cpu();
296
297 error_exit:
298 LOG_DEL_FLG_LEAVE(ercd);
299 return(ercd);
300}
301
302#endif /* TOPPERS_del_flg */
303
304/*
305 * イベントフラグのセット
306 */
307#ifdef TOPPERS_set_flg
308
309ER
310set_flg(ID flgid, FLGPTN setptn)
311{
312 FLGCB *p_flgcb;
313 QUEUE *p_queue;
314 TCB *p_tcb;
315 WINFO_FLG *p_winfo_flg;
316 ER ercd;
317
318 LOG_SET_FLG_ENTER(flgid, setptn);
319 CHECK_UNL();
320 CHECK_ID(VALID_FLGID(flgid));
321 p_flgcb = get_flgcb(flgid);
322
323 lock_cpu();
324 if (p_flgcb->p_flginib->flgatr == TA_NOEXS) {
325 ercd = E_NOEXS;
326 }
327 else {
328 p_flgcb->flgptn |= setptn;
329 p_queue = p_flgcb->wait_queue.p_next;
330 while (p_queue != &(p_flgcb->wait_queue)) {
331 p_tcb = (TCB *) p_queue;
332 p_queue = p_queue->p_next;
333 p_winfo_flg = (WINFO_FLG *)(p_tcb->p_winfo);
334 if (check_flg_cond(p_flgcb, p_winfo_flg->waiptn,
335 p_winfo_flg->wfmode, &(p_winfo_flg->waiptn))) {
336 queue_delete(&(p_tcb->task_queue));
337 wait_complete(p_tcb);
338 if ((p_flgcb->p_flginib->flgatr & TA_CLR) != 0U) {
339 break;
340 }
341 }
342 }
343 if (p_runtsk != p_schedtsk) {
344 if (!sense_context()) {
345 dispatch();
346 }
347 else {
348 request_dispatch();
349 }
350 }
351 ercd = E_OK;
352 }
353 unlock_cpu();
354
355 error_exit:
356 LOG_SET_FLG_LEAVE(ercd);
357 return(ercd);
358}
359
360#endif /* TOPPERS_set_flg */
361
362/*
363 * イベントフラグのクリア
364 */
365#ifdef TOPPERS_clr_flg
366
367ER
368clr_flg(ID flgid, FLGPTN clrptn)
369{
370 FLGCB *p_flgcb;
371 ER ercd;
372
373 LOG_CLR_FLG_ENTER(flgid, clrptn);
374 CHECK_TSKCTX_UNL();
375 CHECK_ID(VALID_FLGID(flgid));
376 p_flgcb = get_flgcb(flgid);
377
378 lock_cpu();
379 if (p_flgcb->p_flginib->flgatr == TA_NOEXS) {
380 ercd = E_NOEXS;
381 }
382 else {
383 p_flgcb->flgptn &= clrptn;
384 ercd = E_OK;
385 }
386 unlock_cpu();
387
388 error_exit:
389 LOG_CLR_FLG_LEAVE(ercd);
390 return(ercd);
391}
392
393#endif /* TOPPERS_clr_flg */
394
395/*
396 * イベントフラグ待
397ち
398 */
399#ifdef TOPPERS_wai_flg
400
401ER
402wai_flg(ID flgid, FLGPTN waiptn, MODE wfmode, FLGPTN *p_flgptn)
403{
404 FLGCB *p_flgcb;
405 WINFO_FLG winfo_flg;
406 ER ercd;
407
408 LOG_WAI_FLG_ENTER(flgid, waiptn, wfmode, p_flgptn);
409 CHECK_DISPATCH();
410 CHECK_ID(VALID_FLGID(flgid));
411 CHECK_PAR(waiptn != 0U);
412 CHECK_PAR(wfmode == TWF_ORW || wfmode == TWF_ANDW);
413 p_flgcb = get_flgcb(flgid);
414
415 lock_cpu_dsp();
416 if (p_flgcb->p_flginib->flgatr == TA_NOEXS) {
417 ercd = E_NOEXS;
418 }
419 else if (p_runtsk->raster) {
420 ercd = E_RASTER;
421 }
422 else if ((p_flgcb->p_flginib->flgatr & TA_WMUL) == 0U
423 && !queue_empty(&(p_flgcb->wait_queue))) {
424 ercd = E_ILUSE;
425 }
426 else if (check_flg_cond(p_flgcb, waiptn, wfmode, p_flgptn)) {
427 ercd = E_OK;
428 }
429 else {
430 winfo_flg.waiptn = waiptn;
431 winfo_flg.wfmode = wfmode;
432 p_runtsk->tstat = TS_WAITING_FLG;
433 wobj_make_wait((WOBJCB *) p_flgcb, (WINFO_WOBJ *) &winfo_flg);
434 dispatch();
435 ercd = winfo_flg.winfo.wercd;
436 if (ercd == E_OK) {
437 *p_flgptn = winfo_flg.waiptn;
438 }
439 }
440 unlock_cpu_dsp();
441
442 error_exit:
443 LOG_WAI_FLG_LEAVE(ercd, p_flgptn);
444 return(ercd);
445}
446
447#endif /* TOPPERS_wai_flg */
448
449/*
450 * イベントフラグ待
451ち（ポーリング）
452 */
453#ifdef TOPPERS_pol_flg
454
455ER
456pol_flg(ID flgid, FLGPTN waiptn, MODE wfmode, FLGPTN *p_flgptn)
457{
458 FLGCB *p_flgcb;
459 ER ercd;
460
461 LOG_POL_FLG_ENTER(flgid, waiptn, wfmode, p_flgptn);
462 CHECK_TSKCTX_UNL();
463 CHECK_ID(VALID_FLGID(flgid));
464 CHECK_PAR(waiptn != 0U);
465 CHECK_PAR(wfmode == TWF_ORW || wfmode == TWF_ANDW);
466 p_flgcb = get_flgcb(flgid);
467
468 lock_cpu();
469 if (p_flgcb->p_flginib->flgatr == TA_NOEXS) {
470 ercd = E_NOEXS;
471 }
472 else if ((p_flgcb->p_flginib->flgatr & TA_WMUL) == 0U
473 && !queue_empty(&(p_flgcb->wait_queue))) {
474 ercd = E_ILUSE;
475 }
476 else if (check_flg_cond(p_flgcb, waiptn, wfmode, p_flgptn)) {
477 ercd = E_OK;
478 }
479 else {
480 ercd = E_TMOUT;
481 }
482 unlock_cpu();
483
484 error_exit:
485 LOG_POL_FLG_LEAVE(ercd, p_flgptn);
486 return(ercd);
487}
488
489#endif /* TOPPERS_pol_flg */
490
491/*
492 * イベントフラグ待
493ち（タイムアウトあり）
494 */
495#ifdef TOPPERS_twai_flg
496
497ER
498twai_flg(ID flgid, FLGPTN waiptn, MODE wfmode, FLGPTN *p_flgptn, TMO tmout)
499{
500 FLGCB *p_flgcb;
501 WINFO_FLG winfo_flg;
502 TMEVTB tmevtb;
503 ER ercd;
504
505 LOG_TWAI_FLG_ENTER(flgid, waiptn, wfmode, p_flgptn, tmout);
506 CHECK_DISPATCH();
507 CHECK_ID(VALID_FLGID(flgid));
508 CHECK_PAR(waiptn != 0U);
509 CHECK_PAR(wfmode == TWF_ORW || wfmode == TWF_ANDW);
510 CHECK_PAR(VALID_TMOUT(tmout));
511 p_flgcb = get_flgcb(flgid);
512
513 lock_cpu_dsp();
514 if (p_flgcb->p_flginib->flgatr == TA_NOEXS) {
515 ercd = E_NOEXS;
516 }
517 else if (p_runtsk->raster) {
518 ercd = E_RASTER;
519 }
520 else if ((p_flgcb->p_flginib->flgatr & TA_WMUL) == 0U
521 && !queue_empty(&(p_flgcb->wait_queue))) {
522 ercd = E_ILUSE;
523 }
524 else if (check_flg_cond(p_flgcb, waiptn, wfmode, p_flgptn)) {
525 ercd = E_OK;
526 }
527 else if (tmout == TMO_POL) {
528 ercd = E_TMOUT;
529 }
530 else {
531 winfo_flg.waiptn = waiptn;
532 winfo_flg.wfmode = wfmode;
533 p_runtsk->tstat = TS_WAITING_FLG;
534 wobj_make_wait_tmout((WOBJCB *) p_flgcb, (WINFO_WOBJ *) &winfo_flg,
535 &tmevtb, tmout);
536 dispatch();
537 ercd = winfo_flg.winfo.wercd;
538 if (ercd == E_OK) {
539 *p_flgptn = winfo_flg.waiptn;
540 }
541 }
542 unlock_cpu_dsp();
543
544 error_exit:
545 LOG_TWAI_FLG_LEAVE(ercd, p_flgptn);
546 return(ercd);
547}
548
549#endif /* TOPPERS_twai_flg */
550
551/*
552 * イベントフラグの再初期化
553 */
554#ifdef TOPPERS_ini_flg
555
556ER
557ini_flg(ID flgid)
558{
559 FLGCB *p_flgcb;
560 ER ercd;
561
562 LOG_INI_FLG_ENTER(flgid);
563 CHECK_TSKCTX_UNL();
564 CHECK_ID(VALID_FLGID(flgid));
565 p_flgcb = get_flgcb(flgid);
566
567 lock_cpu();
568 if (p_flgcb->p_flginib->flgatr == TA_NOEXS) {
569 ercd = E_NOEXS;
570 }
571 else {
572 init_wait_queue(&(p_flgcb->wait_queue));
573 p_flgcb->flgptn = p_flgcb->p_flginib->iflgptn;
574 if (p_runtsk != p_schedtsk) {
575 dispatch();
576 }
577 ercd = E_OK;
578 }
579 unlock_cpu();
580
581 error_exit:
582 LOG_INI_FLG_LEAVE(ercd);
583 return(ercd);
584}
585
586#endif /* TOPPERS_ini_flg */
587
588/*
589 * イベントフラグの状æ…
590‹å‚ç…
591§
592 */
593#ifdef TOPPERS_ref_flg
594
595ER
596ref_flg(ID flgid, T_RFLG *pk_rflg)
597{
598 FLGCB *p_flgcb;
599 ER ercd;
600
601 LOG_REF_FLG_ENTER(flgid, pk_rflg);
602 CHECK_TSKCTX_UNL();
603 CHECK_ID(VALID_FLGID(flgid));
604 p_flgcb = get_flgcb(flgid);
605
606 lock_cpu();
607 if (p_flgcb->p_flginib->flgatr == TA_NOEXS) {
608 ercd = E_NOEXS;
609 }
610 else {
611 pk_rflg->wtskid = wait_tskid(&(p_flgcb->wait_queue));
612 pk_rflg->flgptn = p_flgcb->flgptn;
613 ercd = E_OK;
614 }
615 unlock_cpu();
616
617 error_exit:
618 LOG_REF_FLG_LEAVE(ercd, pk_rflg);
619 return(ercd);
620}
621
622#endif /* TOPPERS_ref_flg */
Note: See TracBrowser for help on using the repository browser.