Changeset 321 for EcnlProtoTool/trunk/asp3_dcre/kernel/task.h

Timestamp:

Aug 23, 2017, 9:27:43 AM (7 years ago)

Author:

coas-nagasima

Message:

文字コードを設定

File:

• EcnlProtoTool/trunk/asp3_dcre/kernel/task.h (modified) (11 diffs, 2 props)

EcnlProtoTool/trunk/asp3_dcre/kernel/task.h

@@ -9 +9 @@
  *              Graduate School of Information Science, Nagoya Univ., JAPAN
  * 
- *  上記著作権è€
-は，以下の(1)～(4)ã®æ¡ä»¶ã‚’æº€ãŸã™å ´åˆã«é™ã‚Šï¼Œæœ¬ã‚½ãƒ•ãƒˆã‚¦ã‚§
- *  ア（本ソフトウェアを改変したものを含む．以下同じ）を使用・複製・改
- *  変・再é
-å¸ƒï¼ˆä»¥ä¸‹ï¼Œåˆ©ç”¨ã¨å‘¼ã¶ï¼‰ã™ã‚‹ã“とを無償で許諾する．
- *  (1) æœ¬ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ã‚’ã‚½ãƒ¼ã‚¹ã‚³ãƒ¼ãƒ‰ã®å½¢ã§åˆ©ç”¨ã™ã‚‹å ´åˆã«ã¯ï¼Œä¸Šè¨˜ã®è‘—ä½œ
- *      権表示，この利用条件および下記の無保証規定が，そのままの形でソー
- *      スコード中に含まれていること．
- *  (2) 本ソフトウェアを，ライブラリ形式など，他のソフトウェア開発に使
- *      用できる形で再é
-å¸ƒã™ã‚‹å ´åˆã«ã¯ï¼Œå†é
-å¸ƒã«ä¼´ã†ãƒ‰ã‚­ãƒ¥ãƒ¡ãƒ³ãƒˆï¼ˆåˆ©ç”¨
- *      è€
-マニュアルなど）に，上記の著作権表示，この利用条件および下記
- *      の無保証規定を掲載すること．
- *  (3) 本ソフトウェアを，機器に組み込むなど，他のソフトウェア開発に使
- *      用できない形で再é
-å¸ƒã™ã‚‹å ´åˆã«ã¯ï¼Œæ¬¡ã®ã„ずれかの条件を満たすこ
- *      と．
- *    (a) 再é
-å¸ƒã«ä¼´ã†ãƒ‰ã‚­ãƒ¥ãƒ¡ãƒ³ãƒˆï¼ˆåˆ©ç”¨è€
-マニュアルなど）に，上記の著
- *        作権表示，この利用条件および下記の無保証規定を掲載すること．
- *    (b) 再é
-å¸ƒã®å½¢æ
-‹ã‚’，別に定める方法によって，TOPPERSプロジェクトに
- *        å ±å‘Šã™ã‚‹ã“ã¨ï¼Ž
- *  (4) 本ソフトウェアの利用により直接的または間接的に生じるいかなる損
- *      害からも，上記著作権è€
-およびTOPPERSプロジェクトをå
-è²¬ã™ã‚‹ã“と．
- *      また，本ソフトウェアのユーザまたはエンドユーザからのいかなる理
- *      由に基づく請求からも，上記著作権è€
-およびTOPPERSプロジェクトを
- *      å
-è²¬ã™ã‚‹ã“と．
+ *  上記著作権者は，以下の(1)～(4)の条件を満たす場合に限り，本ソフトウェ
+ *  ア（本ソフトウェアを改変したものを含む．以下同じ）を使用・複製・改
+ *  変・再配布（以下，利用と呼ぶ）することを無償で許諾する．
+ *  (1) 本ソフトウェアをソースコードの形で利用する場合には，上記の著作
+ *      権表示，この利用条件および下記の無保証規定が，そのままの形でソー
+ *      スコード中に含まれていること．
+ *  (2) 本ソフトウェアを，ライブラリ形式など，他のソフトウェア開発に使
+ *      用できる形で再配布する場合には，再配布に伴うドキュメント（利用
+ *      者マニュアルなど）に，上記の著作権表示，この利用条件および下記
+ *      の無保証規定を掲載すること．
+ *  (3) 本ソフトウェアを，機器に組み込むなど，他のソフトウェア開発に使
+ *      用できない形で再配布する場合には，次のいずれかの条件を満たすこ
+ *      と．
+ *    (a) 再配布に伴うドキュメント（利用者マニュアルなど）に，上記の著
+ *        作権表示，この利用条件および下記の無保証規定を掲載すること．
+ *    (b) 再配布の形態を，別に定める方法によって，TOPPERSプロジェクトに
+ *        報告すること．
+ *  (4) 本ソフトウェアの利用により直接的または間接的に生じるいかなる損
+ *      害からも，上記著作権者およびTOPPERSプロジェクトを免責すること．
+ *      また，本ソフトウェアのユーザまたはエンドユーザからのいかなる理
+ *      由に基づく請求からも，上記著作権者およびTOPPERSプロジェクトを
+ *      免責すること．
  * 
- *  本ソフトウェアは，無保証で提供されているものである．上記著作権è€
-お
- *  よびTOPPERSプロジェクトは，本ソフトウェアに関して，特定の使用目的
- *  に対する適合性も含めて，いかなる保証も行わない．また，本ソフトウェ
- *  アの利用により直接的または間接的に生じたいかなる損害に関しても，そ
- *  ã®è²¬ä»»ã‚’è² ã‚ãªã„ï¼Ž
+ *  本ソフトウェアは，無保証で提供されているものである．上記著作権者お
+ *  よびTOPPERSプロジェクトは，本ソフトウェアに関して，特定の使用目的
+ *  に対する適合性も含めて，いかなる保証も行わない．また，本ソフトウェ
+ *  アの利用により直接的または間接的に生じたいかなる損害に関しても，そ
+ *  の責任を負わない．
  * 
  *  $Id$
@@ -57 +42 @@
 
 /*
- *              タスク管理モジュール
+ *              タスク管理モジュール
  */
 
@@ -68 +53 @@
 
 /*
- *  トレースログマクロのデフォルト定義
+ *  トレースログマクロのデフォルト定義
  */
 #ifndef LOG_TSKSTAT
@@ -75 +60 @@
 
 /*
- *  タスク優å
-ˆåº¦ã®å†
-部表現・外部表現変換マクロ
+ *  タスク優先度の内部表現・外部表現変換マクロ
  */
 #define INT_PRIORITY(x)         ((uint_t)((x) - TMIN_TPRI))
@@ -83 +66 @@
 
 /*
- *  タスク状æ
-‹ã®å†
-部表現
- *
- *  TCB中のタスク状æ
-‹ã®ãƒ•ã‚£ãƒ¼ãƒ«ãƒ‰ã§ã¯ï¼Œã‚¿ã‚¹ã‚¯ã®çŠ¶æ
-‹ã¨ï¼Œã‚¿ã‚¹ã‚¯ãŒå¾
-ち状æ
-‹
- *  の時のå¾
-ã¡è¦å› ã‚’è¡¨ã™ï¼ŽãŸã ã—ï¼Œå®Ÿè¡ŒçŠ¶æ
-‹ï¼ˆRUNNING）と実行可能状æ
-‹
- *  （READY）は区別せず，両状æ
-‹ã‚’あわせて実行できる状æ
-‹ï¼ˆRUNNABLE）とし
- *  て管理する．二重å¾
-ち状æ
-‹ã¯ï¼Œ(TS_WAITING_??? | TS_SUSPENDED)で表す．
- *
- *  タスクがå¾
-ち状æ
-‹ï¼ˆäºŒé‡å¾
-ち状æ
-‹ã‚’含む）の時は，TS_WAITING_???でå¾
-ち
- *  è¦å› ã‚’è¡¨ã™ï¼Žå¾
-ã¡è¦å› ï¼ˆ5ビットで表現される）の上位2ビットで，同期・
- *  通信オブジェクトのå¾
-ちキューにつながっているかどうかを表す．同期・
- *  通信オブジェクトのå¾
-ちキューにつながらないものは上位2ビットを00，同
- *  期・通信オブジェクトの管理ブロックのå
-±é€šéƒ¨åˆ†ï¼ˆWOBJCB）のå¾
-ちキュー
- *  につながるものは10または11，それ以外のå¾
-ちキューにつながるものは01
- *  とする．
- */
-#define TS_DORMANT              0x00U                   /* 休止状æ
-‹ */
-#define TS_RUNNABLE             0x01U                   /* 実行できる状æ
-‹ */
-#define TS_SUSPENDED    0x02U                   /* 強制å¾
-ち状æ
-‹ */
-
-#define TS_WAITING_SLP  (0x01U << 2)    /* 起床å¾
-ち */
-#define TS_WAITING_DLY  (0x02U << 2)    /* 時間経過å¾
-ち */
-#define TS_WAITING_RDTQ (0x08U << 2)    /* データキューからの受信å¾
-ち */
-#define TS_WAITING_RPDQ (0x09U << 2)    /* 優å
-ˆåº¦ãƒ‡ãƒ¼ã‚¿ã‚­ãƒ¥ãƒ¼ã‹ã‚‰ã®å—ä¿¡å¾
-ち */
-#define TS_WAITING_SEM  (0x10U << 2)    /* セマフォ資源の獲得å¾
-ち */
-#define TS_WAITING_FLG  (0x11U << 2)    /* イベントフラグå¾
-ち */
-#define TS_WAITING_SDTQ (0x12U << 2)    /* データキューへの送信å¾
-ち */
-#define TS_WAITING_SPDQ (0x13U << 2)    /* 優å
-ˆåº¦ãƒ‡ãƒ¼ã‚¿ã‚­ãƒ¥ãƒ¼ã¸ã®é€ä¿¡å¾
-ち */
-#define TS_WAITING_MTX  (0x14U << 2)    /* ミューテックスのロックå¾
-ち */
-#define TS_WAITING_MPF  (0x15U << 2)    /* 固定長メモリブロックの獲得å¾
-ち */
-
-#define TS_WAITING_MASK (0x1fU << 2)    /* å¾
-ち状æ
-‹ã®åˆ¤åˆ¥ç”¨ãƒžã‚¹ã‚¯ */
-
-/*
- *  タスク状æ
-‹åˆ¤åˆ¥ãƒžã‚¯ãƒ­
- *
- *  TSTAT_DORMANTはタスクが休止状æ
-‹ã§ã‚るかどうかを，TSTAT_RUNNABLEは
- *  タスクが実行できる状æ
-‹ã§ã‚るかどうかを判別する．TSTAT_WAITINGはå¾
-
- *  ち状æ
-‹ã¨äºŒé‡å¾
-ち状æ
-‹ã®ã„ずれかであるかどうかを，TSTAT_SUSPENDEDは
- *  強制å¾
-ち状æ
-‹ã¨äºŒé‡å¾
-ち状æ
-‹ã®ã„ずれかであるかどうかを判別する．
+ *  タスク状態の内部表現
+ *
+ *  TCB中のタスク状態のフィールドでは，タスクの状態と，タスクが待ち状態
+ *  の時の待ち要因を表す．ただし，実行状態（RUNNING）と実行可能状態
+ *  （READY）は区別せず，両状態をあわせて実行できる状態（RUNNABLE）とし
+ *  て管理する．二重待ち状態は，(TS_WAITING_??? | TS_SUSPENDED)で表す．
+ *
+ *  タスクが待ち状態（二重待ち状態を含む）の時は，TS_WAITING_???で待ち
+ *  要因を表す．待ち要因（5ビットで表現される）の上位2ビットで，同期・
+ *  通信オブジェクトの待ちキューにつながっているかどうかを表す．同期・
+ *  通信オブジェクトの待ちキューにつながらないものは上位2ビットを00，同
+ *  期・通信オブジェクトの管理ブロックの共通部分（WOBJCB）の待ちキュー
+ *  につながるものは10または11，それ以外の待ちキューにつながるものは01
+ *  とする．
+ */
+#define TS_DORMANT              0x00U                   /* 休止状態 */
+#define TS_RUNNABLE             0x01U                   /* 実行できる状態 */
+#define TS_SUSPENDED    0x02U                   /* 強制待ち状態 */
+
+#define TS_WAITING_SLP  (0x01U << 2)    /* 起床待ち */
+#define TS_WAITING_DLY  (0x02U << 2)    /* 時間経過待ち */
+#define TS_WAITING_RDTQ (0x08U << 2)    /* データキューからの受信待ち */
+#define TS_WAITING_RPDQ (0x09U << 2)    /* 優先度データキューからの受信待ち */
+#define TS_WAITING_SEM  (0x10U << 2)    /* セマフォ資源の獲得待ち */
+#define TS_WAITING_FLG  (0x11U << 2)    /* イベントフラグ待ち */
+#define TS_WAITING_SDTQ (0x12U << 2)    /* データキューへの送信待ち */
+#define TS_WAITING_SPDQ (0x13U << 2)    /* 優先度データキューへの送信待ち */
+#define TS_WAITING_MTX  (0x14U << 2)    /* ミューテックスのロック待ち */
+#define TS_WAITING_MPF  (0x15U << 2)    /* 固定長メモリブロックの獲得待ち */
+
+#define TS_WAITING_MASK (0x1fU << 2)    /* 待ち状態の判別用マスク */
+
+/*
+ *  タスク状態判別マクロ
+ *
+ *  TSTAT_DORMANTはタスクが休止状態であるかどうかを，TSTAT_RUNNABLEは
+ *  タスクが実行できる状態であるかどうかを判別する．TSTAT_WAITINGは待
+ *  ち状態と二重待ち状態のいずれかであるかどうかを，TSTAT_SUSPENDEDは
+ *  強制待ち状態と二重待ち状態のいずれかであるかどうかを判別する．
  */
 #define TSTAT_DORMANT(tstat)    ((tstat) == TS_DORMANT)
@@ -182 +112 @@
 
 /*
- *  タスクå¾
-ã¡è¦å› åˆ¤åˆ¥ãƒžã‚¯ãƒ­
- *
- *  TSTAT_WAIT_SLPはタスクが起床å¾
-ちであるかどうかを，TSTAT_WAIT_MTXは
- *  タスクがミューテックスå¾
-ちであるかどうかを判別する．
- *
- *  また，TSTAT_WAIT_WOBJ はタスクが同期・通信オブジェクトに対するå¾
-ち
- *  であるか（言い換えると，同期・通信オブジェクトのå¾
-ちキューにつなが
- *  れているか）どうかを，TSTAT_WAIT_WOBJCBはタスクが同期・通信オブジェ
- *  クトの管理ブロックのå
-±é€šéƒ¨åˆ†ï¼ˆWOBJCB）のå¾
-ちキューにつながれている
- *  かどうかを判別する．
+ *  タスク待ち要因判別マクロ
+ *
+ *  TSTAT_WAIT_SLPはタスクが起床待ちであるかどうかを，TSTAT_WAIT_MTXは
+ *  タスクがミューテックス待ちであるかどうかを判別する．
+ *
+ *  また，TSTAT_WAIT_WOBJ はタスクが同期・通信オブジェクトに対する待ち
+ *  であるか（言い換えると，同期・通信オブジェクトの待ちキューにつなが
+ *  れているか）どうかを，TSTAT_WAIT_WOBJCBはタスクが同期・通信オブジェ
+ *  クトの管理ブロックの共通部分（WOBJCB）の待ちキューにつながれている
+ *  かどうかを判別する．
  */
 #define TSTAT_WAIT_SLP(tstat)   (((tstat) & ~TS_SUSPENDED) == TS_WAITING_SLP)
@@ -207 +130 @@
 
 /*
- *  å¾
-ちæƒ
-å ±ãƒ–ãƒ­ãƒƒã‚¯ï¼ˆWINFO）の定義
- *
- *  タスクがå¾
-ち状æ
-‹ã®é–“は，TCBおよびそのp_winfoで指されるWINFOを次の
- *  ように設定しなければならない．
- *
- *  (a) TCBのタスク状æ
-‹ã‚’å¾
-ち状æ
-‹ï¼ˆTS_WAITING_???）にする．
- *
- *  (b) タイムアウトを監視するために，タイムイベントブロックを登録する．
- *  登録するタイムイベントブロックは，å¾
-ちにå
-¥ã‚‹ã‚µãƒ¼ãƒ“スコール処理関数
- *  のローカル変数として確保し，それへのポインタをWINFOのp_tmevtbに記
- *  憶する．タイムアウトの監視がå¿
-è¦ãªã„å ´åˆï¼ˆæ°¸ä¹
-å¾
-ã¡ã®å ´åˆï¼‰ã«ã¯ï¼Œ
- *  p_tmevtbをNULLにする．
- *
- *  同期・通信オブジェクトに対するå¾
-ち状æ
-‹ã®å ´åˆã«ã¯ï¼Œæ¨™æº–のWINFOに
- *  p_wobjcbãƒ•ã‚£ãƒ¼ãƒ«ãƒ‰ã‚’è¿½åŠ ã—ãŸæ§‹é€ ä½“ï¼ˆWINFO_WOBJ，wait.hで定義）に，
- *  å¾
-ち対象の同期・通信オブジェクトに依存して記憶することがå¿
-要なæƒ
-å ±
- *  ã®ãŸã‚ã®ãƒ•ã‚£ãƒ¼ãƒ«ãƒ‰ã‚’è¿½åŠ ã—ãŸæ§‹é€ ä½“ï¼ˆWINFO_???）を定義し，WINFOの代
- *  わりに用いる．また，以下の(c)～(e)の設定を行うå¿
-要がある．同期・通
- *  信オブジェクトに関係しないå¾
-ち（起床å¾
-ち，時間経過å¾
-ã¡ï¼‰ã®å ´åˆã«ã¯ï¼Œ
- *  これらはå¿
-要ない．
- *
- *  (c) TCBをå¾
-ち対象の同期・通信オブジェクトのå¾
-ちキューにつなぐ．å¾
-
- *  ちキューにつなぐために，task_queueを使う．
- *
- *  (d) å¾
-ち対象の同期・通信オブジェクトの管理ブロックへのポインタを，
- *  WINFO_WOBJのp_wobjcbに記憶する．
- *
- *  (e) å¾
-ち対象の同期・通信オブジェクトに依存して記憶することがå¿
-要な
- *  æƒ
-å ±ãŒã‚ã‚‹å ´åˆã«ã¯ï¼ŒWINFO_???å†
-のフィールドに記憶する．
- *
- *  å¾
-ち状æ
-‹ã‚’解除する際には，å¾
-ち解除したタスクに対する返値をWINFOの
- *  wercdに設定する．wercdがå¿
-要なのはå¾
-ち解除以降であるのに対して，
- *  p_tmevtbはå¾
-ち解除後はå¿
-要ないため，メモリ節約のためにå
-±ç”¨ä½“を使っ
- *  ている．そのため，wercdへエラーコードを設定するのは，タイムイベント
- *  ブロックを登録解除した後にしなければならない．
+ *  待ち情報ブロック（WINFO）の定義
+ *
+ *  タスクが待ち状態の間は，TCBおよびそのp_winfoで指されるWINFOを次の
+ *  ように設定しなければならない．
+ *
+ *  (a) TCBのタスク状態を待ち状態（TS_WAITING_???）にする．
+ *
+ *  (b) タイムアウトを監視するために，タイムイベントブロックを登録する．
+ *  登録するタイムイベントブロックは，待ちに入るサービスコール処理関数
+ *  のローカル変数として確保し，それへのポインタをWINFOのp_tmevtbに記
+ *  憶する．タイムアウトの監視が必要ない場合（永久待ちの場合）には，
+ *  p_tmevtbをNULLにする．
+ *
+ *  同期・通信オブジェクトに対する待ち状態の場合には，標準のWINFOに
+ *  p_wobjcbフィールドを追加した構造体（WINFO_WOBJ，wait.hで定義）に，
+ *  待ち対象の同期・通信オブジェクトに依存して記憶することが必要な情報
+ *  のためのフィールドを追加した構造体（WINFO_???）を定義し，WINFOの代
+ *  わりに用いる．また，以下の(c)～(e)の設定を行う必要がある．同期・通
+ *  信オブジェクトに関係しない待ち（起床待ち，時間経過待ち）の場合には，
+ *  これらは必要ない．
+ *
+ *  (c) TCBを待ち対象の同期・通信オブジェクトの待ちキューにつなぐ．待
+ *  ちキューにつなぐために，task_queueを使う．
+ *
+ *  (d) 待ち対象の同期・通信オブジェクトの管理ブロックへのポインタを，
+ *  WINFO_WOBJのp_wobjcbに記憶する．
+ *
+ *  (e) 待ち対象の同期・通信オブジェクトに依存して記憶することが必要な
+ *  情報がある場合には，WINFO_???内のフィールドに記憶する．
+ *
+ *  待ち状態を解除する際には，待ち解除したタスクに対する返値をWINFOの
+ *  wercdに設定する．wercdが必要なのは待ち解除以降であるのに対して，
+ *  p_tmevtbは待ち解除後は必要ないため，メモリ節約のために共用体を使っ
+ *  ている．そのため，wercdへエラーコードを設定するのは，タイムイベント
+ *  ブロックを登録解除した後にしなければならない．
  */
 typedef union waiting_information {
-        ER              wercd;                  /* å¾
-ち解除時のエラーコード */
-        TMEVTB  *p_tmevtb;              /* å¾
-ち状æ
-‹ç”¨ã®ã‚¿ã‚¤ãƒ イベントブロック */
+        ER              wercd;                  /* 待ち解除時のエラーコード */
+        TMEVTB  *p_tmevtb;              /* 待ち状態用のタイムイベントブロック */
 } WINFO;
 
 /*
- *  ミューテックス管理ブロックの型の前方参ç
-§
+ *  ミューテックス管理ブロックの型の前方参照
  */
 typedef struct mutex_control_block MTXCB;
 
 /*
- *  タスク初期化ブロック
- *
- *  タスクに関するæƒ
-å ±ã‚’ï¼Œå€¤ãŒå¤‰ã‚ã‚‰ãªã„ãŸã‚ã«ROMに置ける部分（タスク
- *  初期化ブロック）と，値が変化するためにRAMに置かなければならない部
- *  分（タスク管理ブロック，TCB）に分離し，TCBå†
-に対応するタスク初期化
- *  ブロックを指すポインタをå
-¥ã‚Œã‚‹ï¼Žã‚¿ã‚¹ã‚¯åˆæœŸåŒ–ブロックå†
-に対応する
- *  TCBを指すポインタをå
-¥ã‚Œã‚‹æ–¹æ³•ã®æ–¹ãŒï¼ŒRAMの節約の観点からは望ましい
- *  が，実行効率が悪くなるために採用していない．他のオブジェクトについ
- *  ても同様に扱う．
- *
- *  タスク初期化ブロックには，DEF_TEXで定義されるタスク例外処理ルーチ
- *  ンに関するæƒ
-å ±ã‚‚å«ã‚€ï¼Ž
+ *  タスク初期化ブロック
+ *
+ *  タスクに関する情報を，値が変わらないためにROMに置ける部分（タスク
+ *  初期化ブロック）と，値が変化するためにRAMに置かなければならない部
+ *  分（タスク管理ブロック，TCB）に分離し，TCB内に対応するタスク初期化
+ *  ブロックを指すポインタを入れる．タスク初期化ブロック内に対応する
+ *  TCBを指すポインタを入れる方法の方が，RAMの節約の観点からは望ましい
+ *  が，実行効率が悪くなるために採用していない．他のオブジェクトについ
+ *  ても同様に扱う．
+ *
+ *  タスク初期化ブロックには，DEF_TEXで定義されるタスク例外処理ルーチ
+ *  ンに関する情報も含む．
  */
 typedef struct task_initialization_block {
-        ATR                     tskatr;                 /* タスク属性 */
-        intptr_t        exinf;                  /* タスクの拡張æƒ
-å ± */
-        TASK            task;                   /* タスクの起動番地 */
-        uint_t          ipriority;              /* タスクの起動時優å
-ˆåº¦ï¼ˆå†
-部表現） */
+        ATR                     tskatr;                 /* タスク属性 */
+        intptr_t        exinf;                  /* タスクの拡張情報 */
+        TASK            task;                   /* タスクの起動番地 */
+        uint_t          ipriority;              /* タスクの起動時優先度（内部表現） */
 
 #ifdef USE_TSKINICTXB
-        TSKINICTXB      tskinictxb;             /* タスク初期化コンテキストブロック */
+        TSKINICTXB      tskinictxb;             /* タスク初期化コンテキストブロック */
 #else /* USE_TSKINICTXB */
-        size_t          stksz;                  /* ã‚¹ã‚¿ãƒƒã‚¯é ˜åŸŸã®ã‚µã‚¤ã‚ºï¼ˆä¸¸ã‚ãŸå€¤ï¼‰ */
-        void            *stk;                   /* ã‚¹ã‚¿ãƒƒã‚¯é ˜åŸŸã®å
-ˆé ­ç•ªåœ° */
+        size_t          stksz;                  /* スタック領域のサイズ（丸めた値） */
+        void            *stk;                   /* スタック領域の先頭番地 */
 #endif /* USE_TSKINICTXB */
 } TINIB;
 
 /*
- *  タスク管理ブロック（TCB）
- *
- *  ASPカーネルでは，タスクの起動要求キューイング数の最大値（TMAX_ACTCNT）
- *  と起床要求キューイング数の最大値（TMAX_WUPCNT）は1に固定されている
- *  ため，キューイングされているかどうかの真偽値で表現することができる．
- *  また，強制å¾
-ち要求ネスト数の最大値（TMAX_SUSCNT）が1に固定されてい
- *  るので，強制å¾
-ち要求ネスト数（suscnt）はå¿
-要ない．
- *
- *  TCBのいくつかのフィールドは，特定のタスク状æ
-‹ã§ã®ã¿æœ‰åŠ¹ãªå€¤ã‚’保持し，
- *  ãã‚Œä»¥å¤–ã®å ´åˆã¯å€¤ãŒä¿è¨¼ã•ã‚Œãªã„ï¼ˆã‚ˆã£ã¦ï¼Œå‚ç
-§ã—てはならない）．各
- *  フィールドが有効な値を保持する条件は次の通り．
- *
- *  ・初期化後は常に有効：
- *              p_tinib，tstat，actque
- *  ・休止状æ
-‹ä»¥å¤–で有効（休止状æ
-‹ã§ã¯åˆæœŸå€¤ã«ãªã£ã¦ã„る）：
- *              bpriority，priority，wupque，raster，enater，p_lastmtx
- *  ・å¾
-ち状æ
-‹ï¼ˆäºŒé‡å¾
-ち状æ
-‹ã‚’含む）で有効：
+ *  タスク管理ブロック（TCB）
+ *
+ *  ASPカーネルでは，タスクの起動要求キューイング数の最大値（TMAX_ACTCNT）
+ *  と起床要求キューイング数の最大値（TMAX_WUPCNT）は1に固定されている
+ *  ため，キューイングされているかどうかの真偽値で表現することができる．
+ *  また，強制待ち要求ネスト数の最大値（TMAX_SUSCNT）が1に固定されてい
+ *  るので，強制待ち要求ネスト数（suscnt）は必要ない．
+ *
+ *  TCBのいくつかのフィールドは，特定のタスク状態でのみ有効な値を保持し，
+ *  それ以外の場合は値が保証されない（よって，参照してはならない）．各
+ *  フィールドが有効な値を保持する条件は次の通り．
+ *
+ *  ・初期化後は常に有効：
+ *              p_tinib，tstat，actque
+ *  ・休止状態以外で有効（休止状態では初期値になっている）：
+ *              bpriority，priority，wupque，raster，enater，p_lastmtx
+ *  ・待ち状態（二重待ち状態を含む）で有効：
  *              p_winfo
- *  ・実行できる状æ
-‹ã¨åŒæœŸãƒ»é€šä¿¡ã‚ªãƒ–ジェクトに対するå¾
-ち状æ
-‹ã§æœ‰åŠ¹ï¼š
+ *  ・実行できる状態と同期・通信オブジェクトに対する待ち状態で有効：
  *              task_queue
- *  ・実行可能状æ
-‹ï¼Œå¾
-ち状æ
-‹ï¼Œå¼·åˆ¶å¾
-ち状æ
-‹ï¼ŒäºŒé‡å¾
-ち状æ
-‹ã§æœ‰åŠ¹ï¼š
+ *  ・実行可能状態，待ち状態，強制待ち状態，二重待ち状態で有効：
  *              tskctxb
  */
 typedef struct task_control_block {
-        QUEUE                   task_queue;             /* タスクキュー */
-        const TINIB             *p_tinib;               /* 初期化ブロックへのポインタ */
+        QUEUE                   task_queue;             /* タスクキュー */
+        const TINIB             *p_tinib;               /* 初期化ブロックへのポインタ */
 
 #ifdef UINT8_MAX
-        uint8_t                 tstat;                  /* タスク状æ
-‹ï¼ˆå†
-部表現）*/
-        uint8_t                 bpriority;              /* ベース優å
-ˆåº¦ï¼ˆå†
-部表現）*/
-        uint8_t                 priority;               /* 現在の優å
-ˆåº¦ï¼ˆå†
-部表現）*/
+        uint8_t                 tstat;                  /* タスク状態（内部表現）*/
+        uint8_t                 bpriority;              /* ベース優先度（内部表現）*/
+        uint8_t                 priority;               /* 現在の優先度（内部表現）*/
 #else /* UINT8_MAX */
-        BIT_FIELD_UINT  tstat : 8;              /* タスク状æ
-‹ï¼ˆå†
-部表現）*/
-        BIT_FIELD_UINT  bpriority : 8;  /* ベース優å
-ˆåº¦ï¼ˆå†
-部表現）*/
-        BIT_FIELD_UINT  priority : 8    /* 現在の優å
-ˆåº¦ï¼ˆå†
-部表現）*/;
+        BIT_FIELD_UINT  tstat : 8;              /* タスク状態（内部表現）*/
+        BIT_FIELD_UINT  bpriority : 8;  /* ベース優先度（内部表現）*/
+        BIT_FIELD_UINT  priority : 8    /* 現在の優先度（内部表現）*/;
 #endif /* UINT8_MAX */
-        BIT_FIELD_BOOL  actque : 1;             /* 起動要求キューイング */
-        BIT_FIELD_BOOL  wupque : 1;             /* 起床要求キューイング */
-        BIT_FIELD_BOOL  raster : 1;             /* タスク終了要求状æ
-‹ */
-        BIT_FIELD_BOOL  enater : 1;             /* タスク終了許可状æ
-‹ */
-
-        WINFO                   *p_winfo;               /* å¾
-ちæƒ
-å ±ãƒ–ãƒ­ãƒƒã‚¯ã¸ã®ãƒã‚¤ãƒ³ã‚¿ */
-        MTXCB                   *p_lastmtx;             /* 最後にロックしたミューテックス */
-        TSKCTXB                 tskctxb;                /* タスクコンテキストブロック */
+        BIT_FIELD_BOOL  actque : 1;             /* 起動要求キューイング */
+        BIT_FIELD_BOOL  wupque : 1;             /* 起床要求キューイング */
+        BIT_FIELD_BOOL  raster : 1;             /* タスク終了要求状態 */
+        BIT_FIELD_BOOL  enater : 1;             /* タスク終了許可状態 */
+
+        WINFO                   *p_winfo;               /* 待ち情報ブロックへのポインタ */
+        MTXCB                   *p_lastmtx;             /* 最後にロックしたミューテックス */
+        TSKCTXB                 tskctxb;                /* タスクコンテキストブロック */
 } TCB;
 
 /*
- *  実行状æ
-‹ã®ã‚¿ã‚¹ã‚¯
- *
- *  実行状æ
-‹ã®ã‚¿ã‚¹ã‚¯ï¼ˆï¼ãƒ—ロセッサがコンテキストを持っているタスク）の
- *  TCBを指すポインタ．実行状æ
-‹ã®ã‚¿ã‚¹ã‚¯ãŒãªã„å ´åˆã¯NULLにする．
- *
- *  サービスコールの処理中で，自タスク（サービスコールを呼び出したタス
- *  ク）に関するæƒ
-å ±ã‚’å‚ç
-§ã™ã‚‹å ´åˆã¯p_runtskを使う．p_runtskを書き換え
- *  るのは，ディスパッチャ（と初期化処理）のみである．
+ *  実行状態のタスク
+ *
+ *  実行状態のタスク（＝プロセッサがコンテキストを持っているタスク）の
+ *  TCBを指すポインタ．実行状態のタスクがない場合はNULLにする．
+ *
+ *  サービスコールの処理中で，自タスク（サービスコールを呼び出したタス
+ *  ク）に関する情報を参照する場合はp_runtskを使う．p_runtskを書き換え
+ *  るのは，ディスパッチャ（と初期化処理）のみである．
  */
 extern TCB      *p_runtsk;
 
 /*
- *  実行すべきタスク
- *
- *  実行すべきタスクのTCBã‚’æŒ‡ã™ãƒã‚¤ãƒ³ã‚¿ï¼Žå®Ÿè¡Œã§ãã‚‹ã‚¿ã‚¹ã‚¯ãŒãªã„å ´åˆã¯
- *  NULLにする．
- *
- *  p_runtskは，通常はp_schedtskと一致しているが，非タスクコンテキスト
- *  実行中は，一致しているとは限らない．割込み優å
-ˆåº¦ãƒžã‚¹ã‚¯å
-¨è§£é™¤ã§ãªã„
- *  状æ
-‹ã®é–“とディスパッチ禁止状æ
-‹ã®é–“（すなわち，dspflgがfalseである間）
- *  は，p_schedtskを更新しない．
+ *  実行すべきタスク
+ *
+ *  実行すべきタスクのTCBを指すポインタ．実行できるタスクがない場合は
+ *  NULLにする．
+ *
+ *  p_runtskは，通常はp_schedtskと一致しているが，非タスクコンテキスト
+ *  実行中は，一致しているとは限らない．割込み優先度マスク全解除でない
+ *  状態の間とディスパッチ禁止状態の間（すなわち，dspflgがfalseである間）
+ *  は，p_schedtskを更新しない．
  */
 extern TCB      *p_schedtsk;
 
 /*
- *  ディスパッチ許可状æ
-‹
- *
- *  ディスパッチ許可状æ
-‹ã§ã‚ることを示すフラグ．
+ *  ディスパッチ許可状態
+ *
+ *  ディスパッチ許可状態であることを示すフラグ．
  */
 extern bool_t   enadsp;
 
 /*
- *  タスクディスパッチ可能状æ
-‹
- *
- *  割込み優å
-ˆåº¦ãƒžã‚¹ã‚¯å
-¨è§£é™¤çŠ¶æ
-‹ã§ã‚り，ディスパッチ許可状æ
-‹ã§ã‚る（ディ
- *  スパッチ禁止状æ
-‹ã§ãªã„）ことを示すフラグ．ディスパッチ保留状æ
-‹ã§ãª
- *  いことは，タスクコンテキスト実行中で，CPUロック状æ
-‹ã§ãªãï¼Œdspflgが
- *  trueであることで判別することができる．
+ *  タスクディスパッチ可能状態
+ *
+ *  割込み優先度マスク全解除状態であり，ディスパッチ許可状態である（ディ
+ *  スパッチ禁止状態でない）ことを示すフラグ．ディスパッチ保留状態でな
+ *  いことは，タスクコンテキスト実行中で，CPUロック状態でなく，dspflgが
+ *  trueであることで判別することができる．
  */
 extern bool_t   dspflg;
 
 /*
- *  レディキュー
- *
- *  レディキューは，実行できる状æ
-‹ã®ã‚¿ã‚¹ã‚¯ã‚’管理するためのキューである．
- *  実行状æ
-‹ã®ã‚¿ã‚¹ã‚¯ã‚‚管理しているため，レディ（実行可能）キューという
- *  名称は正確ではないが，レディキューという名称が定着しているため，こ
- *  の名称で呼ぶことにする．
- *
- *  レディキューは，優å
-ˆåº¦ã”とのタスクキューで構成されている．タスクの
- *  TCBは，該当する優å
-ˆåº¦ã®ã‚­ãƒ¥ãƒ¼ã«ç™»éŒ²ã•ã‚Œã‚‹ï¼Ž
+ *  レディキュー
+ *
+ *  レディキューは，実行できる状態のタスクを管理するためのキューである．
+ *  実行状態のタスクも管理しているため，レディ（実行可能）キューという
+ *  名称は正確ではないが，レディキューという名称が定着しているため，こ
+ *  の名称で呼ぶことにする．
+ *
+ *  レディキューは，優先度ごとのタスクキューで構成されている．タスクの
+ *  TCBは，該当する優先度のキューに登録される．
  */
 extern QUEUE    ready_queue[TNUM_TPRI];
 
 /*
- *  レディキューサーチのためのビットマップ
- *
- *  レディキューのサーチを効率よく行うために，優å
-ˆåº¦ã”とのタスクキュー
- *  にタスクがå
-¥ã£ã¦ã„るかどうかを示すビットマップを用意している．ビッ
- *  トマップを使うことで，メモリアクセスの回数を減らすことができるが，
- *  ビット操作命令がå
-
-実していないプロセッサで，優å
-ˆåº¦ã®æ®µéšŽæ•°ãŒå°‘ない
- *  å ´åˆã«ã¯ï¼Œãƒ“ãƒƒãƒˆãƒžãƒƒãƒ—æ“ä½œã®ã‚ªãƒ¼ãƒãƒ¼ãƒ˜ãƒƒãƒ‰ã®ãŸã‚ã«ï¼Œé€†ã«åŠ¹çŽ‡ãŒè½ã¡
- *  る可能性もある．
- *
- *  優å
-ˆåº¦ãŒ16段階であることを仮定しているため，uint16_t型としている．
+ *  レディキューサーチのためのビットマップ
+ *
+ *  レディキューのサーチを効率よく行うために，優先度ごとのタスクキュー
+ *  にタスクが入っているかどうかを示すビットマップを用意している．ビッ
+ *  トマップを使うことで，メモリアクセスの回数を減らすことができるが，
+ *  ビット操作命令が充実していないプロセッサで，優先度の段階数が少ない
+ *  場合には，ビットマップ操作のオーバーヘッドのために，逆に効率が落ち
+ *  る可能性もある．
+ *
+ *  優先度が16段階であることを仮定しているため，uint16_t型としている．
  */
 extern uint16_t ready_primap;
 
 /*
- *  使用していないTCBのリスト
+ *  使用していないTCBのリスト
  */
 extern QUEUE    free_tcb;
 
 /*
- *  タスクIDの最大値（kernel_cfg.c）
+ *  タスクIDの最大値（kernel_cfg.c）
  */
 extern const ID tmax_tskid;
@@ -527 +332 @@
 
 /*
- *  タスク初期化ブロックのエリア（kernel_cfg.c）
+ *  タスク初期化ブロックのエリア（kernel_cfg.c）
  */
 extern const TINIB      tinib_table[];
@@ -533 +338 @@
 
 /*
- *  ã‚¿ã‚¹ã‚¯ç”Ÿæˆé †åºãƒ†ãƒ¼ãƒ–ãƒ«ï¼ˆkernel_cfg.c）
+ *  タスク生成順序テーブル（kernel_cfg.c）
  */
 extern const ID torder_table[];
 
 /*
- *  TCBのエリア（kernel_cfg.c）
+ *  TCBのエリア（kernel_cfg.c）
  */
 extern TCB      tcb_table[];
 
 /*
- *  タスクの数
+ *  タスクの数
  */
 #define tnum_tsk        ((uint_t)(tmax_tskid - TMIN_TSKID + 1))
@@ -549 +354 @@
 
 /*
- *  タスクIDからTCBを取り出すためのマクロ
+ *  タスクIDからTCBを取り出すためのマクロ
  */
 #define INDEX_TSK(tskid)        ((uint_t)((tskid) - TMIN_TSKID))
@@ -555 +360 @@
 
 /*
- *  TCBからタスクIDを取り出すためのマクロ
+ *  TCBからタスクIDを取り出すためのマクロ
  */
 #define TSKID(p_tcb)    ((ID)(((p_tcb) - tcb_table) + TMIN_TSKID))
 
 /*
- *  タスク管理モジュールの初期化
+ *  タスク管理モジュールの初期化
  */
 extern void     initialize_task(void);
 
 /*
- *  最高優å
-ˆé †ä½ã‚¿ã‚¹ã‚¯ã®ã‚µãƒ¼ãƒ
- *
- *  レディキュー中の最高優å
-ˆé †ä½ã®ã‚¿ã‚¹ã‚¯ã‚’サーチし，そのTCBへのポインタ
- *  ã‚’è¿”ã™ï¼Žãƒ¬ãƒ‡ã‚£ã‚­ãƒ¥ãƒ¼ãŒç©ºã®å ´åˆã«ã¯ï¼Œã“ã®é–¢æ•°ã‚’å‘¼ã³å‡ºã—ã¦ã¯ãªã‚‰ãªã„ï¼Ž
+ *  最高優先順位タスクのサーチ
+ *
+ *  レディキュー中の最高優先順位のタスクをサーチし，そのTCBへのポインタ
+ *  を返す．レディキューが空の場合には，この関数を呼び出してはならない．
  */
 extern TCB      *search_schedtsk(void);
 
 /*
- *  実行できる状æ
-‹ã¸ã®é·ç§»
- *
- *  p_tcbで指定されるタスクをレディキューに挿å
-¥ã™ã‚‹ï¼Žãƒ¬ãƒ‡ã‚£ã‚­ãƒ¥ãƒ¼ã«æŒ¿å
-¥
- *  したタスクの優å
-ˆåº¦ãŒï¼Œå®Ÿè¡Œã™ã¹ãã‚¿ã‚¹ã‚¯ã®å„ªå
-ˆåº¦ã‚ˆã‚Šã‚‚é«˜ã„å ´åˆã¯ï¼Œå®Ÿ
- *  行すべきタスクを更新する．
+ *  実行できる状態への遷移
+ *
+ *  p_tcbで指定されるタスクをレディキューに挿入する．レディキューに挿入
+ *  したタスクの優先度が，実行すべきタスクの優先度よりも高い場合は，実
+ *  行すべきタスクを更新する．
  */
 extern void     make_runnable(TCB *p_tcb);
 
 /*
- *  実行できる状æ
-‹ã‹ã‚‰ä»–の状æ
-‹ã¸ã®é·ç§»
- *
- *  p_tcbで指定されるタスクをレディキューから削除する．p_tcbで指定した
- *  ã‚¿ã‚¹ã‚¯ãŒå®Ÿè¡Œã™ã¹ãã‚¿ã‚¹ã‚¯ã§ã‚ã£ãŸå ´åˆã«ã¯ï¼Œå®Ÿè¡Œã™ã¹ãã‚¿ã‚¹ã‚¯ã‚’æ›´æ–°ã™
- *  る．
+ *  実行できる状態から他の状態への遷移
+ *
+ *  p_tcbで指定されるタスクをレディキューから削除する．p_tcbで指定した
+ *  タスクが実行すべきタスクであった場合には，実行すべきタスクを更新す
+ *  る．
  */
 extern void     make_non_runnable(TCB *p_tcb);
 
 /*
- *  休止状æ
-‹ã¸ã®é·ç§»
- *
- *  p_tcbで指定されるタスクの状æ
-‹ã‚’休止状æ
-‹ã¨ã™ã‚‹ï¼Žã¾ãŸï¼Œã‚¿ã‚¹ã‚¯ã®èµ·å‹•
- *  時に初期化すべき変数の初期化と，タスク起動のためのコンテキストを設
- *  定する．
+ *  休止状態への遷移
+ *
+ *  p_tcbで指定されるタスクの状態を休止状態とする．また，タスクの起動
+ *  時に初期化すべき変数の初期化と，タスク起動のためのコンテキストを設
+ *  定する．
  */
 extern void     make_dormant(TCB *p_tcb);
 
 /*
- *  休止状æ
-‹ã‹ã‚‰å®Ÿè¡Œã§ãã‚‹çŠ¶æ
-‹ã¸ã®é·ç§»
- *
- *  p_tcbで指定されるタスクの状æ
-‹ã‚’休止状æ
-‹ã‹ã‚‰å®Ÿè¡Œã§ãã‚‹çŠ¶æ
-‹ã¨ã™ã‚‹ï¼Ž
+ *  休止状態から実行できる状態への遷移
+ *
+ *  p_tcbで指定されるタスクの状態を休止状態から実行できる状態とする．
  */
 extern void     make_active(TCB *p_tcb);
 
 /*
- *  タスクの優å
-ˆåº¦ã®å¤‰æ›´
- *
- *  p_tcbで指定されるタスクの優å
-ˆåº¦ã‚’newpri（å†
-部表現）に変更する．また，
- *  å¿
-è¦ãªå ´åˆã«ã¯ï¼Œå®Ÿè¡Œã™ã¹ãã‚¿ã‚¹ã‚¯ã‚’æ›´æ–°ã™ã‚‹ï¼Ž
- *
- *  p_tcbで指定されるタスクの優å
-ˆé †ä½ã¯ï¼Œå„ªå
-ˆåº¦ãŒåŒã˜ã‚¿ã‚¹ã‚¯ã®ä¸­ã§ï¼Œ
- *  mtxmodeがfalseの時は最低，mtxmodeがtrueの時は最高とする．
+ *  タスクの優先度の変更
+ *
+ *  p_tcbで指定されるタスクの優先度をnewpri（内部表現）に変更する．また，
+ *  必要な場合には，実行すべきタスクを更新する．
+ *
+ *  p_tcbで指定されるタスクの優先順位は，優先度が同じタスクの中で，
+ *  mtxmodeがfalseの時は最低，mtxmodeがtrueの時は最高とする．
  */
 extern void     change_priority(TCB *p_tcb, uint_t newpri, bool_t mtxmode);
 
 /*
- *  レディキューの回転
- *
- *  レディキュー中の，p_queueで指定されるタスクキューを回転させる．また，
- *  å¿
-è¦ãªå ´åˆã«ã¯ï¼Œå®Ÿè¡Œã™ã¹ãã‚¿ã‚¹ã‚¯ã‚’æ›´æ–°ã™ã‚‹ï¼Ž
+ *  レディキューの回転
+ *
+ *  レディキュー中の，p_queueで指定されるタスクキューを回転させる．また，
+ *  必要な場合には，実行すべきタスクを更新する．
  */
 extern void     rotate_ready_queue(QUEUE *p_queue);
 
 /*
- *  タスクの終了処理
- *
- *  p_tcbで指定されるタスクを終了させる処理を行う．タスクの起動要求キュー
- *  イング数が0ã§ãªã„å ´åˆã«ã¯ï¼Œå†åº¦èµ·å‹•ã™ã‚‹ãŸã‚ã®å‡¦ç†ã‚’è¡Œã†ï¼Ž
+ *  タスクの終了処理
+ *
+ *  p_tcbで指定されるタスクを終了させる処理を行う．タスクの起動要求キュー
+ *  イング数が0でない場合には，再度起動するための処理を行う．
  */
 extern void     task_terminate(TCB *p_tcb);