Changeset 429 for EcnlProtoTool/trunk/asp3_dcre/kernel/wait.h

Timestamp:

Jul 3, 2020, 7:19:17 PM (4 years ago)

Author:

coas-nagasima

Message:

ASP3, TINET, mbed を更新

File:

• EcnlProtoTool/trunk/asp3_dcre/kernel/wait.h (modified) (4 diffs)

EcnlProtoTool/trunk/asp3_dcre/kernel/wait.h

@@ -6 +6 @@
  *  Copyright (C) 2000 by Embedded and Real-Time Systems Laboratory
  *                              Toyohashi Univ. of Technology, JAPAN
- *  Copyright (C) 2005-2014 by Embedded and Real-Time Systems Laboratory
+ *  Copyright (C) 2005-2018 by Embedded and Real-Time Systems Laboratory
  *              Graduate School of Information Science, Nagoya Univ., JAPAN
  * 
@@ -77 +77 @@
  *  待ち状態への遷移
  *
- *  実行中のタスクを待ち状態に遷移させる．具体的には，実行中のタスクを
- *  レディキューから削除し，TCBのp_winfoフィールド，WINFOのp_tmevtbフィー
- *  ルドを設定する．
- */
-Inline void
-make_wait(WINFO *p_winfo)
-{
+ *  実行中のタスクを待ち状態に遷移させる．具体的には，実行中のタスクの
+ *  タスク状態をtstatにしてレディキューから削除し，TCBのp_winfoフィー
+ *  ルド，WINFOのp_tmevtbフィールドを設定する．
+ */
+Inline void
+make_wait(uint_t tstat, WINFO *p_winfo)
+{
+        p_runtsk->tstat = tstat;
         make_non_runnable(p_runtsk);
         p_runtsk->p_winfo = p_winfo;
@@ -93 +94 @@
  *
  *  実行中のタスクを，タイムアウト指定付きで待ち状態に遷移させる．具体
- *  的には，実行中のタスクをレディキューから削除し，TCBのp_winfoフィー
- *  ルド，WINFOのp_tmevtbフィールドを設定する．また，タイムイベントブ
- *  ロックを登録する．
- */
-extern void     make_wait_tmout(WINFO *p_winfo, TMEVTB *p_tmevtb, TMO tmout);
+ *  的には，実行中のタスクのタスク状態をtstatにしてレディキューから削
+ *  除し，TCBのp_winfoフィールド，WINFOのp_tmevtbフィールドを設定する．
+ *  また，タイムイベントブロックを登録する．
+ */
+extern void     make_wait_tmout(uint_t tstat, WINFO *p_winfo,
+                                                                        TMEVTB *p_tmevtb, TMO tmout);
 
 /*
@@ -246 +248 @@
  *  wobj_make_wait_tmoutは，タイムイベントブロックの登録も行う．
  */
-extern void     wobj_make_wait(WOBJCB *p_wobjcb, WINFO_WOBJ *p_winfo);
-extern void     wobj_make_wait_tmout(WOBJCB *p_wobjcb, WINFO_WOBJ *p_winfo,
-                                                                                        TMEVTB *p_tmevtb, TMO tmout);
+extern void     wobj_make_wait(WOBJCB *p_wobjcb, uint_t tstat,
+                                                                                        WINFO_WOBJ *p_winfo_wobj);
+extern void     wobj_make_wait_tmout(WOBJCB *p_wobjcb, uint_t tstat,
+                                                WINFO_WOBJ *p_winfo_wobj, TMEVTB *p_tmevtb, TMO tmout);
 
 /*