16.4.2 Adaタスクのタスク情報の表示 |
 |
SHOW TASK/ALLコマンドでは，プログラム内に現存しているすべてのタスクの情報，つまりタスク自体が作成されてからその親がまだ終了していないすべてのタスクの情報が表示されます( 例 16-6 を参照)。
(1) (2) (3) (4) (5) (6)
task id pri hold state substate task object
* %TASK 1 7 RUN SHARE$ADARTL+130428
%TASK 2 7 HOLD SUSP Accept TASK_EXAMPLE.MOTHER+4
%TASK 4 7 SUSP Entry call TASK_EXAMPLE.FATHER_TYPE$TASK_BODY.CHILD+4
%TASK 3 6 READY TASK_EXAMPLE.MOTHER)
DBG>
|
次の番号は， 例 16-6 の番号に対応しています。
- タスク ID ( 第 16.3.3 項 を参照 )。
アクティブ・タスクには左端の欄にアスタリスク (*) が付く。
- タスク優先順位。Ada の優先順位は 0 〜 15。
VAX プロセッサで作成されるタスクは省略時の設定である優先順位 7 が割り当てられる。ただし，それ以外の優先順位がプラグマ PRIORITY で指定されている場合は，その優先順位が割り当てられる。
Alpha プロセッサで作成されるタスクは，タイム・スライス機能が使用不能ならば，省略時の設定である優先順位 7 が割り当てられる。タイム・スライス機能が使用可能ならば，プラグマ PRIORITY が指定されていないかぎり，適当な中間の値が優先順位として割り当てられる。
- タスクが SET TASK/HOLD コマンドによって保留中かどうかを示す。タスクの保留については， 第 16.5.1 項 を参照。タスクの保留には，プログラムの以降の実行が許可されていれば，タスクの状態遷移の制限が伴う。
- タスクの現在の状態 (
表 16-3 を参照 )。 RUN ( RUNNING ) 状態のタスクがアクティブ・タスク。 表 16-3 には，プログラムの実行中に移る可能性のある状態が示されている。
- タスクの現在の副次状態。副次状態は，あるタスク状態を引き起こした原因を推定するのに役立つ。 表 16-5 を参照。
- タスク・オブジェクトのデバッガのパス名，またはデバッガがタスク・オブジェクトをシンボル化できない場合はタスク・オブジェクトのアドレス。
表 16-5 Adaタスクの副次状態
| Abnormal
|
タスクは強制終了された。
|
| Accept
|
タスクはselect文の外のaccept文で待っている。
|
| Activating
|
タスクはその宣言部分を作成中である。
|
| Activating tasks
|
タスクは自分が作成した各タスクが活動を終了するのを待っている。
|
| Completed [abn]
|
タスクは abort 文のために打ち切られたが，まだ終了していない。Ada でいう打ち切られたタスクとは，その end 文で各依存タスクを待っているタスクである。それらの依存タスクが終了すると，タスクの状態は Terminated に変わる。
|
| Completed [exc]
|
タスクは処理されない例外
1 のために打ち切られたが，まだ終了していない。 Ada でいう打ち切られたタスクとは，その end 文で各依存タスクを待っているタスクである。それらの依存タスクが終了すると，タスクの状態は Terminated に変わる。
|
| Completed
|
タスクは打ち切られている。 abort 文は実行されず，処理されない例外
1 は起こっていない。
|
| Delay
|
タスクは delay 文で待っている。
|
| Dependents
|
タスクは各依存タスクの終了を待っている。
|
| Dependents [exc]
|
タスクは処理されない例外
1 の通知を依存タスクが許すのを待っている。
|
| Entry call
|
タスクはそのエントリ呼び出しが受け付けられるのを待っている。
|
| Invalid state
|
Adaの実行時ライブラリにエラーがある。
|
| I/OまたはAST
|
タスクは入出力 (I/O) の終了かなんらかの AST を待っている。
|
| Not yet activated
|
タスクは，自分を作成したタスクによって起動されるのを待っている。
|
| Select or delay
|
タスクは遅延という代替方法が可能な select 文で待っている。
|
| Select or terminate
|
タスクは終了という代替方法が可能な select 文で待っている。
|
| Select
|
タスクはno else，遅延，終了のいずれも不可能な select 文で待っている。
|
| Shared resource
|
タスクは内部共用リソースを待っている。
|
| Terminated [abn]
|
タスクは abort 文により終了した。
|
| Terminated [exc]
|
タスクは処理されない例外
1 により終了した。
|
| Terminated
|
タスクは正常終了した。
|
| Timed entry call
|
タスクは時限エントリ呼び出しをして待っている。
|
1処理されない例外とは，現在のフレーム内にそのためのハンドラがない例外，またはハンドラがあって raise 文を実行しその例外を外部有効範囲に通知する例外のことです。
図 16-1 はタスク・スタックを示します。
SHOW TASK/FULL コマンドでは，選択した各タスクについての詳細情報が表示されます。 例 16-7 には，Ada タスク例に対してこのコマンドを実行したときの出力が示されています。
(1) task id pri hold state substate task object
* %TASK 2 7 RUN TASK_EXAMPLE.MOTHER+4
(2) Waiting entry callers:
Waiters for entry BOGUS:
%TASK 4, type: CHILD
(3) Task type: FATHER_TYPE
Created at PC: TASK_EXAMPLE.%LINE 14+22
Parent task: %TASK 1
Start PC: TASK_EXAMPLE.FATHER_TYPE$TASK_BODY
(4) Task control block: (5) Stack storage (bytes):
Task value: 490816 RESERVED_BYTES: 10640
Entries: 3 TOP_GUARD_SIZE: 5120
Size: 1488 STORAGE_SIZE: 30720
(6) Stack addresses: Bytes in use: 456
Top address: 001EB600
Base address: 001F2DFC (7) Total storage: 47968
DBG>
|
次の番号は， 例 16-7 の番号に対応しています。
- タスク情報の種別を示す。
- ランデブ情報。呼び出しタスクの場合は，そのタスクが登録されているキューの各エントリが一覧表示される。呼び出されるタスクの場合は，実行されるランデブの種類が表示されるほか，そのタスクを待つキューのどれかのエントリに現在登録されている呼び出しタスクが一覧表示される。
- タスクのコンテキスト情報。
- タスク制御ブロック情報。「Task value」の右の 16 進数は，タスク制御ブロックのアドレスである。
- スタック記憶域の情報。
- RESERVED_BYTES は，Ada の実行時ライブラリによってスタック・オーバフロー処理のために割り当てられた記憶域サイズである。
- TOP_GUARD_SIZE は，タスク実行中の記憶域オーバフローを防ぐために用意された記憶保護領域ページのサイズである。
VAX システムでは，保護領域ページとして割り当てるバイト数は， Ada プラグマの TASK_STORAGEとMAIN_STORAGE に指定できる。デバッガにより表示される値は，割り当てられたバイト数である。プラグマの値は，ページ数が整数になるように，必要に応じて切り上げられる。これらのプラグマと上部記憶保護領域についての詳しい説明は， Ada のマニュアルを参照。
Alpha システムでは，保護領域ページとして割り当てるバイト数は， Ada プラグマの TASK_STORAGE に指定できる。デバッガにより表示される値は，割り当てられたバイト数である。プラグマの値は，ページ数が整数になるように，必要に応じて切り上げられる。これらのプラグマと上部記憶保護領域についての詳しい説明は， Ada のマニュアルを参照。
- STORAGE_SIZE は，タスクの起動用に割り当てられた記憶域のサイズである。
VAX システムでは，割り当てるバイト数は，T'STORAGE_SIZE 表現句か Ada プラグマの MAIN_STORAGE に指定する。デバッガにより表示される値は，割り当てられたバイト数である。指定した値は，ページ数が整数になるように，必要に応じて切上げられる。この表現句とプラグマおよびタスク起動用 ( 作業用 ) 記憶域についての詳しい説明は，Adaのマニュアルを参照。
AXP システムでは，割り当てるバイト数は，T'STORAGE_SIZE 表現句で指定する。デバッガにより表示される値は，割り当てられたバイト数である。指定した値は，ページ数が整数になるように，必要に応じて切上げられる。この表現句とプラグマおよびタスク起動用 ( 作業用 ) 記憶域についての詳しい説明は，Ada のマニュアルを参照。
- "Bytes in use:" は，スタックに現在割り当てられているバイト数である。
- タスク・スタックのスタック・アドレス。
- タスクが使用する記憶域の合計。タスク制御ブロックサイズ，予約領域バイト数，上部保護領域サイズ，および記憶域サイズの合計である。
SHOW TASK/STATISTICS コマンドでは，プログラム内のすべてのタスクについての統計情報が報告されます。 例 16-8 は， VAX プロセッサで Ada タスキング・プログラム例に対して SHOW TASK/STATISTICS/FULL コマンドを実行したときの出力です。この情報により，プログラムの性能を測定できます。スケジューリング ( コンテキスト・スイッチとも呼ぶ ) の総数が多いほど，タスキング・オーバヘッドは大きくなります。
task statistics
Entry calls = 4 Accepts = 1 Selects = 2
Tasks activated = 3 Tasks terminated = 0
ASTs delivered = 4 Hibernations = 0
Total schedulings = 15
Due to readying a higher priority task = 1
Due to task activations = 3
Due to suspended entry calls = 4
Due to suspended accepts = 1
Due to suspended selects = 2
Due to waiting for a DELAY = 0
Due to scope exit awaiting dependents = 0
Due to exception awaiting dependents = 0
Due to waiting for I/O to complete = 0
Due to delivery of an AST = 4
Due to task terminations = 0
Due to shared resource lock contention = 0
DBG>
|
