20081120 goto et2008-print名古屋大学大学院情報科学研究科情報システム学専攻...

名古屋大学大学院情報科学研究科情報システム学専攻高田・冨山研究室博士課程前期課程2年後藤隼弐

2 トレースログ可視化ツール TraceLogVisualizer(TLV)のご紹介

▶ 背景

▶ TLVの紹介

▶ TLVデモンストレーション

▶ おわりに


 組込み分野でのマルチコアプロセッサ利用の増加


[453665]:[1]: task 4 becomes RUNNABLE. [453670]:[1]: dispatch to task5. [454235]:[2]: leave from inh 1056. [456997]:[3]: task 6 becomes RUNNABLE. [457665]:[3]: dispatch to task6. [457886]:[2]: task 4 becomes SUSPENDED. [459345]:[4]: task 5 becomes RUNNABLE. [459665]:[4]: dispatch to task5. [460457]:[1]: task 5 becomes WAITTING. [461007]:[1]: task 4 becomes RUNNABLE. [463665]:[1]: dispatch to task4. [469005]:[3]: task 6 becomes SUSPENDED. ・

・・

・・・

4コア上で動くTOPPERS/FMPのトレースログの例

 トレースログを可視化表示するツールの開発へ


シミュレータ RTOS-A

RTOS-A

RTOS-D

RTOSが出力するトレースログ

シミュレータが出力するトレースログ

RTOSが出力するトレースログ

様々なRTOSが出力するトレースログ

周期ハンドラのジッタ

TLV 様々な形式の

トレースログに対応

RTOS-C RTOS-B 割込み発生箇所

タスクの状態変化

CPU使用率の変化

様々な情報表示に対応


マーカーマーカー間の時間表示

タスクの状態遷移を表示している

拡大縮小などの操作

表示タスクの切替え

タスクの情報テキストログ


実行状態実行可能状態

待ち状態起動終了

RTOS生成過程

TLV

トレースログファイル

リソースファイル

表示

RTOS コンフィギュレーション

ファイル

RTOS初期化構成ファイル

ソフトウェア部品

RTOSライブラリコンフィギュレーション

コンパイル & リンク

RTOS実行

アプリケーションソースファイル

RTOS実行形式ファイル


ココ


▶ TLVが想定する可視化対象

▶ TLV全体像

▶ JSON形式

▶ 各ファイルの説明


名前

属性１属性２ …

リソースの例

TASK1

state …

タスクの例

DORMANT RUNNABLE RUNNING WAITING RUNNABLE

10ns 120ns 315ns 455ns 520ns t

RUNNING

605ns

DORMANT

725ns

振舞い１振舞い２ …

activate()

exit() …


図凡例

ファイル

処理

データ

入力ファイル入力ファイルが依存するファイル

入力ファイルが依存しないファイル

TLVにより生成されるファイル

TLV



可視化ルールファイル

表示

TLVデータ

可視化ルールの適用

TLVファイル

標準形式変換リソースヘッダファイル

変換ルールファイル




TLV


表示

TLVデータ

TLVデータ生成

TLVファイル






TLV


表示

TLVデータ

TLVデータ生成

TLVファイル



[1551] dispatch to task 1. [2409] task 1 becomes WAITING. [2414] dispatch to task 5. [12005] task 1 becomes RUNNABLE. [13013] dispatch to task 1. [13024] task 1 becomes WAITING. [13028] dispatch to task 5. [23005] task 1 becomes RUNNABLE. [24013] dispatch to task 1. [24024] task 1 becomes WAITING. [24028] dispatch to task 5. [34005] task 1 becomes RUNNABLE. [35013] dispatch to task 1. [35024] task 1 becomes WAITING. [35028] dispatch to task 5. [45005] task 1 becomes RUNNABLE.




TLV


表示

TLVデータ

TLVデータ生成

TLVファイル



[1551] dispatch to task 1. [2409] task 1 becomes WAITING. [2414] dispatch to task 5. [12005] task 1 becomes RUNNABLE. [13013] dispatch to task 1. [13024] task 1 becomes WAITING. [13028] dispatch to task 5. [23005] task 1 becomes RUNNABLE. [24013] dispatch to task 1. [24024] task 1 becomes WAITING. [24028] dispatch to task 5. [34005] task 1 becomes RUNNABLE. [35013] dispatch to task 1. [35024] task 1 becomes WAITING. [35028] dispatch to task 5. [45005] task 1 becomes RUNNABLE.

{ "TimeScale" :"ns", "ConvertRule" :"asp", "ResourceHeader":"asp", "Resources": { "Task":[ { "name" :"LOGTASK", "id" :1, "atr" :"TA_ACT", "pri" :3, "exinf":"LOGTASK_PORTID", "task" :"logtask_main", "stksz":4096, "stk" :"NULL" }, ...




TLV


表示

TLVデータ

TLVデータ生成

TLVファイル



リソースヘッダファイル





TLV


表示

TLVデータ

TLVデータ生成

TLVファイル





{ "asp": { "Task":{ "DisplayName":"タスク", "Attributes":{ "name":{ "VariableType" :"string", "DisplayName" :"名前", "AllocationType":"Static", "CanGrouping" :false }, "id":{ "VariableType" :"int", "DisplayName" :"ID", "AllocationType":"Static", "CanGrouping" :false }, ...




TLV


表示

TLVデータ

TLVデータ生成

TLVファイル





{ "asp": { "Task":{ "DisplayName":"タスク", "Attributes":{ "name":{ "VariableType" :"string", "DisplayName" :"名前", "AllocationType":"Static", "CanGrouping" :false }, "id":{ "VariableType" :"int", "DisplayName" :"ID", "AllocationType":"Static", "CanGrouping" :false }, ...

{ "asp":{ "\[(?<time>\d+)\] dispatch to task (?<id>\d+)\.":[ {"EXIST{Task(state==RUNNING)}":[ "[${time}]Task(id==ATTR{Task(state==RUNNING).id}).preempt()", "[${time}]Task(id==ATTR{Task(state==RUNNING).id}).state=RUNNABLE" ]}, "[${time}]Task(id==${id}).dispatch()", "[${time}]Task(id==${id}).state=RUNNING" ], "\[(?<time>\d+)\] task (?<id>\d+) becomes (?<state>[^\.]+)\.":[ { "Task(id==${id}).state==DORMANT && ${state}==RUNNABLE" : "[${time}]Task(id==${id}).activate()", ...

検索する正規表現

置換する文字列置換する文字列

置換条件

置換する文字列

文字列を抽出して利用できる




TLV


表示

TLVデータ

TLVデータ生成

TLVファイル







TLV


表示

TLVデータ

TLVデータ生成

TLVファイル




{ "VisualizeRules":{ "Task.state":{ "RUNNING" :"runningShapes", "RUNNABLE":"runnableShapes", "WAITING" :"waitingShapes", "DORMANT" :"dormantShapes", ... }, "Task.activate()":"activateShapes", "Task.exit()" :"exitShapes" }, "Shapes":{ "runningShapes":[{ "Type":"Rectangle", "Area":["0,0","100%,80%"], "Pen" :{"Color":"0000ff00","Width":3.0}, "Fill":"6600ff00" }], "runnableShapes":[{ "Type":"Line", "Coordinates":["f(0),40%","t(0),40%"], "Pen":{"Color":"00ffff00","Width":3} }], ...

属性に対して指定

振舞いに対して指定

表示する図形の記述

20081120 goto et2008-print名古屋大学大学院 情報科学研究科 情報システム学専攻...

Documents

20081120 goto et2008-print名古屋大学大学院情報科学研究科情報システム学専攻...