source: asp3_tinet_ecnl_rx/trunk/asp3_dcre/kernel/eventflag.c@ 337

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

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