source: asp3_wo_tecs/trunk/extension/dcre/kernel/eventflag.c@ 302

Last change on this file since 302 was 302, checked in by ertl-honda, 7 years ago

TECSレスのASP3の開発のため以下のtrunkからコピー
​http://dev.toppers.jp/svn/asp3/branches/WO_TECS-3.C.0
File size: 13.7 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-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: eventflag.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 "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#ifdef TOPPERS_acre_flg
216
217ER_UINT
218acre_flg(const T_CFLG *pk_cflg)
219{
220 FLGCB *p_flgcb;
221 FLGINIB *p_flginib;
222 ER ercd;
223
224 LOG_ACRE_FLG_ENTER(pk_cflg);
225 CHECK_TSKCTX_UNL();
226 CHECK_RSATR(pk_cflg->flgatr, TA_TPRI|TA_WMUL|TA_CLR);
227
228 lock_cpu();
229 if (tnum_flg == 0 || queue_empty(&free_flgcb)) {
230 ercd = E_NOID;
231 }
232 else {
233 p_flgcb = ((FLGCB *) queue_delete_next(&free_flgcb));
234 p_flginib = (FLGINIB *)(p_flgcb->p_flginib);
235 p_flginib->flgatr = pk_cflg->flgatr;
236 p_flginib->iflgptn = pk_cflg->iflgptn;
237
238 queue_initialize(&(p_flgcb->wait_queue));
239 p_flgcb->flgptn = p_flgcb->p_flginib->iflgptn;
240 ercd = FLGID(p_flgcb);
241 }
242
243 error_exit:
244 LOG_ACRE_FLG_LEAVE(ercd);
245 return(ercd);
246}
247
248#endif /* TOPPERS_acre_flg */
249
250/*
251 * イベントフラグの削除
252 */
253#ifdef TOPPERS_del_flg
254
255ER
256del_flg(ID flgid)
257{
258 FLGCB *p_flgcb;
259 FLGINIB *p_flginib;
260 ER ercd;
261
262 LOG_DEL_FLG_ENTER(flgid);
263 CHECK_TSKCTX_UNL();
264 CHECK_PAR(VALID_FLGID(flgid));
265 p_flgcb = get_flgcb(flgid);
266
267 lock_cpu();
268 if (p_flgcb->p_flginib->flgatr == TA_NOEXS) {
269 ercd = E_NOEXS;
270 }
271 else if (flgid <= tmax_sflgid) {
272 ercd = E_OBJ;
273 }
274 else {
275 init_wait_queue(&(p_flgcb->wait_queue));
276 p_flginib = (FLGINIB *)(p_flgcb->p_flginib);
277 p_flginib->flgatr = TA_NOEXS;
278 queue_insert_prev(&free_flgcb, &(p_flgcb->wait_queue));
279 if (p_runtsk != p_schedtsk) {
280 dispatch();
281 }
282 ercd = E_OK;
283 }
284 unlock_cpu();
285
286 error_exit:
287 LOG_DEL_FLG_LEAVE(ercd);
288 return(ercd);
289}
290
291#endif /* TOPPERS_del_flg */
292
293/*
294 * イベントフラグのセット
295 */
296#ifdef TOPPERS_set_flg
297
298ER
299set_flg(ID flgid, FLGPTN setptn)
300{
301 FLGCB *p_flgcb;
302 QUEUE *p_queue;
303 TCB *p_tcb;
304 WINFO_FLG *p_winfo_flg;
305 ER ercd;
306
307 LOG_SET_FLG_ENTER(flgid, setptn);
308 CHECK_UNL();
309 CHECK_ID(VALID_FLGID(flgid));
310 p_flgcb = get_flgcb(flgid);
311
312 lock_cpu();
313 if (p_flgcb->p_flginib->flgatr == TA_NOEXS) {
314 ercd = E_NOEXS;
315 }
316 else {
317 p_flgcb->flgptn |= setptn;
318 p_queue = p_flgcb->wait_queue.p_next;
319 while (p_queue != &(p_flgcb->wait_queue)) {
320 p_tcb = (TCB *) p_queue;
321 p_queue = p_queue->p_next;
322 p_winfo_flg = (WINFO_FLG *)(p_tcb->p_winfo);
323 if (check_flg_cond(p_flgcb, p_winfo_flg->waiptn,
324 p_winfo_flg->wfmode, &(p_winfo_flg->waiptn))) {
325 queue_delete(&(p_tcb->task_queue));
326 wait_complete(p_tcb);
327 if ((p_flgcb->p_flginib->flgatr & TA_CLR) != 0U) {
328 break;
329 }
330 }
331 }
332 if (p_runtsk != p_schedtsk) {
333 if (!sense_context()) {
334 dispatch();
335 }
336 else {
337 request_dispatch();
338 }
339 }
340 ercd = E_OK;
341 }
342 unlock_cpu();
343
344 error_exit:
345 LOG_SET_FLG_LEAVE(ercd);
346 return(ercd);
347}
348
349#endif /* TOPPERS_set_flg */
350
351/*
352 * イベントフラグのクリア
353 */
354#ifdef TOPPERS_clr_flg
355
356ER
357clr_flg(ID flgid, FLGPTN clrptn)
358{
359 FLGCB *p_flgcb;
360 ER ercd;
361
362 LOG_CLR_FLG_ENTER(flgid, clrptn);
363 CHECK_TSKCTX_UNL();
364 CHECK_ID(VALID_FLGID(flgid));
365 p_flgcb = get_flgcb(flgid);
366
367 lock_cpu();
368 if (p_flgcb->p_flginib->flgatr == TA_NOEXS) {
369 ercd = E_NOEXS;
370 }
371 else {
372 p_flgcb->flgptn &= clrptn;
373 ercd = E_OK;
374 }
375 unlock_cpu();
376
377 error_exit:
378 LOG_CLR_FLG_LEAVE(ercd);
379 return(ercd);
380}
381
382#endif /* TOPPERS_clr_flg */
383
384/*
385 * イベントフラグ待
386ち
387 */
388#ifdef TOPPERS_wai_flg
389
390ER
391wai_flg(ID flgid, FLGPTN waiptn, MODE wfmode, FLGPTN *p_flgptn)
392{
393 FLGCB *p_flgcb;
394 WINFO_FLG winfo_flg;
395 ER ercd;
396
397 LOG_WAI_FLG_ENTER(flgid, waiptn, wfmode, p_flgptn);
398 CHECK_DISPATCH();
399 CHECK_ID(VALID_FLGID(flgid));
400 CHECK_PAR(waiptn != 0U);
401 CHECK_PAR(wfmode == TWF_ORW || wfmode == TWF_ANDW);
402 p_flgcb = get_flgcb(flgid);
403
404 lock_cpu_dsp();
405 if (p_flgcb->p_flginib->flgatr == TA_NOEXS) {
406 ercd = E_NOEXS;
407 }
408 else if (p_runtsk->raster) {
409 ercd = E_RASTER;
410 }
411 else if ((p_flgcb->p_flginib->flgatr & TA_WMUL) == 0U
412 && !queue_empty(&(p_flgcb->wait_queue))) {
413 ercd = E_ILUSE;
414 }
415 else if (check_flg_cond(p_flgcb, waiptn, wfmode, p_flgptn)) {
416 ercd = E_OK;
417 }
418 else {
419 winfo_flg.waiptn = waiptn;
420 winfo_flg.wfmode = wfmode;
421 p_runtsk->tstat = TS_WAITING_FLG;
422 wobj_make_wait((WOBJCB *) p_flgcb, (WINFO_WOBJ *) &winfo_flg);
423 dispatch();
424 ercd = winfo_flg.winfo.wercd;
425 if (ercd == E_OK) {
426 *p_flgptn = winfo_flg.waiptn;
427 }
428 }
429 unlock_cpu_dsp();
430
431 error_exit:
432 LOG_WAI_FLG_LEAVE(ercd, p_flgptn);
433 return(ercd);
434}
435
436#endif /* TOPPERS_wai_flg */
437
438/*
439 * イベントフラグ待
440ち（ポーリング）
441 */
442#ifdef TOPPERS_pol_flg
443
444ER
445pol_flg(ID flgid, FLGPTN waiptn, MODE wfmode, FLGPTN *p_flgptn)
446{
447 FLGCB *p_flgcb;
448 ER ercd;
449
450 LOG_POL_FLG_ENTER(flgid, waiptn, wfmode, p_flgptn);
451 CHECK_TSKCTX_UNL();
452 CHECK_ID(VALID_FLGID(flgid));
453 CHECK_PAR(waiptn != 0U);
454 CHECK_PAR(wfmode == TWF_ORW || wfmode == TWF_ANDW);
455 p_flgcb = get_flgcb(flgid);
456
457 lock_cpu();
458 if (p_flgcb->p_flginib->flgatr == TA_NOEXS) {
459 ercd = E_NOEXS;
460 }
461 else if ((p_flgcb->p_flginib->flgatr & TA_WMUL) == 0U
462 && !queue_empty(&(p_flgcb->wait_queue))) {
463 ercd = E_ILUSE;
464 }
465 else if (check_flg_cond(p_flgcb, waiptn, wfmode, p_flgptn)) {
466 ercd = E_OK;
467 }
468 else {
469 ercd = E_TMOUT;
470 }
471 unlock_cpu();
472
473 error_exit:
474 LOG_POL_FLG_LEAVE(ercd, p_flgptn);
475 return(ercd);
476}
477
478#endif /* TOPPERS_pol_flg */
479
480/*
481 * イベントフラグ待
482ち（タイムアウトあり）
483 */
484#ifdef TOPPERS_twai_flg
485
486ER
487twai_flg(ID flgid, FLGPTN waiptn, MODE wfmode, FLGPTN *p_flgptn, TMO tmout)
488{
489 FLGCB *p_flgcb;
490 WINFO_FLG winfo_flg;
491 TMEVTB tmevtb;
492 ER ercd;
493
494 LOG_TWAI_FLG_ENTER(flgid, waiptn, wfmode, p_flgptn, tmout);
495 CHECK_DISPATCH();
496 CHECK_ID(VALID_FLGID(flgid));
497 CHECK_PAR(waiptn != 0U);
498 CHECK_PAR(wfmode == TWF_ORW || wfmode == TWF_ANDW);
499 CHECK_PAR(VALID_TMOUT(tmout));
500 p_flgcb = get_flgcb(flgid);
501
502 lock_cpu_dsp();
503 if (p_flgcb->p_flginib->flgatr == TA_NOEXS) {
504 ercd = E_NOEXS;
505 }
506 else if (p_runtsk->raster) {
507 ercd = E_RASTER;
508 }
509 else if ((p_flgcb->p_flginib->flgatr & TA_WMUL) == 0U
510 && !queue_empty(&(p_flgcb->wait_queue))) {
511 ercd = E_ILUSE;
512 }
513 else if (check_flg_cond(p_flgcb, waiptn, wfmode, p_flgptn)) {
514 ercd = E_OK;
515 }
516 else if (tmout == TMO_POL) {
517 ercd = E_TMOUT;
518 }
519 else {
520 winfo_flg.waiptn = waiptn;
521 winfo_flg.wfmode = wfmode;
522 p_runtsk->tstat = TS_WAITING_FLG;
523 wobj_make_wait_tmout((WOBJCB *) p_flgcb, (WINFO_WOBJ *) &winfo_flg,
524 &tmevtb, tmout);
525 dispatch();
526 ercd = winfo_flg.winfo.wercd;
527 if (ercd == E_OK) {
528 *p_flgptn = winfo_flg.waiptn;
529 }
530 }
531 unlock_cpu_dsp();
532
533 error_exit:
534 LOG_TWAI_FLG_LEAVE(ercd, p_flgptn);
535 return(ercd);
536}
537
538#endif /* TOPPERS_twai_flg */
539
540/*
541 * イベントフラグの再初期化
542 */
543#ifdef TOPPERS_ini_flg
544
545ER
546ini_flg(ID flgid)
547{
548 FLGCB *p_flgcb;
549 ER ercd;
550
551 LOG_INI_FLG_ENTER(flgid);
552 CHECK_TSKCTX_UNL();
553 CHECK_ID(VALID_FLGID(flgid));
554 p_flgcb = get_flgcb(flgid);
555
556 lock_cpu();
557 if (p_flgcb->p_flginib->flgatr == TA_NOEXS) {
558 ercd = E_NOEXS;
559 }
560 else {
561 init_wait_queue(&(p_flgcb->wait_queue));
562 p_flgcb->flgptn = p_flgcb->p_flginib->iflgptn;
563 if (p_runtsk != p_schedtsk) {
564 dispatch();
565 }
566 ercd = E_OK;
567 }
568 unlock_cpu();
569
570 error_exit:
571 LOG_INI_FLG_LEAVE(ercd);
572 return(ercd);
573}
574
575#endif /* TOPPERS_ini_flg */
576
577/*
578 * イベントフラグの状æ…
579‹å‚ç…
580§
581 */
582#ifdef TOPPERS_ref_flg
583
584ER
585ref_flg(ID flgid, T_RFLG *pk_rflg)
586{
587 FLGCB *p_flgcb;
588 ER ercd;
589
590 LOG_REF_FLG_ENTER(flgid, pk_rflg);
591 CHECK_TSKCTX_UNL();
592 CHECK_ID(VALID_FLGID(flgid));
593 p_flgcb = get_flgcb(flgid);
594
595 lock_cpu();
596 if (p_flgcb->p_flginib->flgatr == TA_NOEXS) {
597 ercd = E_NOEXS;
598 }
599 else {
600 pk_rflg->wtskid = wait_tskid(&(p_flgcb->wait_queue));
601 pk_rflg->flgptn = p_flgcb->flgptn;
602 ercd = E_OK;
603 }
604 unlock_cpu();
605
606 error_exit:
607 LOG_REF_FLG_LEAVE(ercd, pk_rflg);
608 return(ercd);
609}
610
611#endif /* TOPPERS_ref_flg */
Note: See TracBrowser for help on using the repository browser.