Changeset 429 for EcnlProtoTool/trunk/asp3_dcre/kernel/task.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/task.h (modified) (7 diffs)

EcnlProtoTool/trunk/asp3_dcre/kernel/task.h

@@ -6 +6 @@
  *  Copyright (C) 2000-2003 by Embedded and Real-Time Systems Laboratory
  *                              Toyohashi Univ. of Technology, JAPAN
- *  Copyright (C) 2005-2015 by Embedded and Real-Time Systems Laboratory
+ *  Copyright (C) 2005-2017 by Embedded and Real-Time Systems Laboratory
  *              Graduate School of Information Science, Nagoya Univ., JAPAN
  * 
@@ -186 +186 @@
  *  が，実行効率が悪くなるために採用していない．他のオブジェクトについ
  *  ても同様に扱う．
- *
- *  タスク初期化ブロックには，DEF_TEXで定義されるタスク例外処理ルーチ
- *  ンに関する情報も含む．
  */
 typedef struct task_initialization_block {
@@ -239 +236 @@
         BIT_FIELD_UINT  tstat : 8;              /* タスク状態（内部表現）*/
         BIT_FIELD_UINT  bpriority : 8;  /* ベース優先度（内部表現）*/
-        BIT_FIELD_UINT  priority : 8    /* 現在の優先度（内部表現）*/;
+        BIT_FIELD_UINT  priority : 8;   /* 現在の優先度（内部表現）*/
 #endif /* UINT8_MAX */
         BIT_FIELD_BOOL  actque : 1;             /* 起動要求キューイング */
@@ -380 +377 @@
  *  実行できる状態への遷移
  *
- *  p_tcbで指定されるタスクをレディキューに挿入する．レディキューに挿入
- *  したタスクの優先度が，実行すべきタスクの優先度よりも高い場合は，実
- *  行すべきタスクを更新する．
+ *  p_tcbで指定されるタスクをレディキューに挿入する．また，必要な場合
+ *  には，実行すべきタスクを更新する．
  */
 extern void     make_runnable(TCB *p_tcb);
@@ -396 +392 @@
 
 /*
+ *  タスクディスパッチ可能状態への遷移
+ *
+ *  タスクディスパッチ可能状態であることを示すフラグ（dspflg）をtrueに
+ *  し，実行すべきタスクを更新する．
+ */
+Inline void
+set_dspflg(void)
+{
+        dspflg = true;
+        p_schedtsk = search_schedtsk();
+}
+
+/*
  *  休止状態への遷移
  *
@@ -417 +426 @@
  *  必要な場合には，実行すべきタスクを更新する．
  *
- *  p_tcbで指定されるタスクの優先順位は，優先度が同じタスクの中で，
- *  mtxmodeがfalseの時は最低，mtxmodeがtrueの時は最高とする．
+ *  p_tcbで指定されるタスクが実行できる状態である場合，その優先順位は，
+ *  優先度が同じタスクの中で，mtxmodeがfalseの時は最低，mtxmodeがtrue
+ *  の時は最高とする．
  */
 extern void     change_priority(TCB *p_tcb, uint_t newpri, bool_t mtxmode);
@@ -425 +435 @@
  *  レディキューの回転
  *
- *  レディキュー中の，p_queueで指定されるタスクキューを回転させる．また，
- *  必要な場合には，実行すべきタスクを更新する．
+ *  レディキュー中の，p_queueで指定されるタスクキューを回転させる．ま
+ *  た，必要な場合には，実行すべきタスクを更新する．
  */
 extern void     rotate_ready_queue(QUEUE *p_queue);