マルチコア動作のデバッグ（連載１１）

前回の内容を振り返ってみましょう。

一つのチップに同じCPUコアが複数入っており、かつ、すべてのCPUがメモリ空間を共有(キャッシュ上のデータも含め)しているプロセッサを対称型マルチプロセッサ（Symmetric Multiprocessor、SMP）と言います。
SOLID-OSがサポートしているCortex-Aコアは、それです。

SOLID-OSが採用しているTOPPERSの場合、各CPUはタスク単位で割りついています。
割り込みについては、割り込みをハンドリングするCPUを指定することができます。
イベントフラグやメッセージ等のタスク間通信は違うCPU間でも可能。
共通リソースの排他制御も違うCPU間でも可能。

すなわち、マルチコアでのリアルタイムOSとはいっても、シングルコア上で動作させるのと同じようにプログラムを書くことができます。

違うのは、そのタスク、割り込みハンドラを実行させるCPUを指定できること。

マルチコアであろうと、シングルコアであろうと、「マルチタスク」と考えてしまえば（実行しているCPUが何であれ）両者の差は意識しなくてもプログラムは書けます。

じゃ、別にマルチコアだからって特別なデバッグ機能、要らないんじゃない？

いえいえ。
最初にタスク・割り込みハンドラを各CPUに割り付けていることを忘れてはいけません。
その割り当て、妥当ですか？という心配が出てきます。
それに、最初は妥当でも、システムを動かしている途中に、とあるCPUの負荷がやたら重くなってしまって「ちょっと今だけ他CPUにヘルプ！」というのがあるかもしれません。

せっかくマルチコアなのだから、その恩恵を最大限に受けよう！ということです。

今回はそのような時に便利なデバッグ機能、以下２つをご紹介します。
・イベントトラッカー
・コアウインドウ

では、具体的に見ていきましょう。

各タスクや割り込みハンドラ等が、どのタイミングでどれくらいの時間動いているのかを、時間軸にそって表示する機能です。

以下URLに、機能紹介が掲載されています。
https://solid.kmckk.com/SOLID/doc/latest/user_guide/event_tracker.html

図を抜粋させて頂きます。

これはシングルコアの場合の図です。

最初タスク7が実行されていて、途中で割り込み番号29の割り込みが入り、ハンドル後またタスク7に戻り、ほどなくしてタスク6に遷移していることがわかります。
そしてまた割り込み番号29の割り込みが入り、ハンドル後タスク６に戻り、少し後にタスク５に遷移しています。

青色■は、「待ち状態イベント (Wait に遷移)」という意味です。
使い方や表示されている記号等については、先のURLにあるPDFファイルに詳しく記載されています。

さらに、マルチコアでの実行時は、さらに「どのCPUで」という情報も付加して表示します。

このグラフから、

「CPU1に負荷が偏ってるなー。一方、CPU0は暇そうだなー。」とか、
「CPU0からCPU1にタスクを変えてみたけどタイミング悪いかなー」とか、
各タスクの実行時間からCPUの負荷を確認することができ、負荷分散の調整に一役買います。

以下URLにさらに詳しい説明が記載されていますので、ご参照ください。

https://solid.kmckk.com/SOLID/wp-content/uploads/2019/07/20190708_SOLID_eventtracker.pdf

ブレークポイントで停止した時、ソースコードが表示されているのは、そのブレークポイントがヒットしたCPUで実行されているソースコードです。

マルチコアの場合、例えばCPUが２つ搭載されている場合、その瞬間に動作しているタスクも２つありますよね。
しかしソースコードウインドウは一つだし、ローカル変数を表示しているウインドウも一つ。（かといって二つも三つも表示されていたら、ややこしい、、、）

例えば、表示されているのがCPU0で実行されているソースコード、ローカル変数だとします。
「その時CPU1は何してるの？」
を知りたい場合に使うのが、です。
例えばデッドロックしてしまったような場合、「お互い何してる？」が知りたいですよね。

「コアウインドウ」機能により、ソースコード表示やローカル変数表示を、他のCPU用に、がさっと切り替えることができます。

では、実際に見てみましょう。

前回に書いた、タスク＆GPIO割り込み発生プログラムで試してみます。

実機は前回同様、4つのCPUのうちCPU0とCPU1がSOLID-OSに割り当てられているRaspberry Pi4です。

前回の最後に書いたプログラムを使用しますが、CPUの割り当てを以下のように変更します。

・途中から“test_task2”をCPU1に、引っ越しさせてみるところは削除します。
・プログラムの最初から“test_task1”はCPU０で動作させ、“test_task2”はCPU1で動作させます。

加えて、前回はターミナル表示を目視したいために、各タスク内に “dly_tsk()“を入れていましたが、今回は削除します。

4.1 イベントトラッカー

イベントトラッカーを使用するためには、必要なイベントデータをメモリに蓄積する必要があります。したがって、少し準備を行います。

以下URLに、方法が記載されている通り、コード追加＆プロジェクト設定変更、です。

https://solid.kmckk.com/SOLID/doc/latest/user_guide/event_tracker.html

4.1.1 IMPL_EVTTRK_Init()実装

イベントデータ保存柳雄域確保のためのコードです。

以下URLに記載されている実装例をそのままコピペします。

https://solid.kmckk.com/SOLID/doc/latest/user_guide/event_tracker.html#c.IMPL_EVTTRK_Init

4.1.2 イベントトラッカーの有効化

ターゲットによっては、ソリューションプロパティファイルを編集し、イベントトラッカーの有効化を行う必要があります。

以下URL記載の内容です。

https://solid.kmckk.com/SOLID/doc/latest/user_guide/event_tracker.html#id4

ソリューションプロパティファイルがどこにあるか、等の説明は以下に記載されています。

https://solid.kmckk.com/SOLID/doc/latest/os/solution-config.html

今回使用しているRaspberry Pi4用のSOLIDでは、このファイルはなく、イベントトラッカーは常に有効になっていますので、この手順は不要です。

4.1.3 イベントトラッカーウインドウの準備

イベントを取得するために、準備を行います。

デバッグメニューから、「ウインドウ」⇒「イベントトラッカー」を選択します。

すると、イベントトラッカーウインドウが開きます。

ウインドウ上で右クリックし、メニューを表示します。
「DLLのロード」を選択します。

ここでロードするDLL（EvtFilterSOLID_TOPPERS.dll）と、コア数（＝２）を選択します。

EvtFilterSOLID_TOPPERS.dll は以下の場所にインストールされています
SOLIDインストール先フォルダ\tools\eventtracker\dll\
SOLIDインストール先フォルダは、Rasbberry pi 4用の場合はC:\ProgramData\KMCです。

ＯＫボタンを押すと、以下のような表示に変わります。
これで準備完了です。

4.1.4 実行

では、動かしてみましょう。

このプログラムは、
・TID=4の“test_task1”
・TID=5の“test_task2”
・割り込み番号154の割り込み
の3要素があります。
これらがどのように実行されているのか、見てみましょう。

①ブレークポイントを設定
test_task1に適当にブレークポイントを設定し、実行してみます。

ブレークポイントで停止したら、イベントデータを吸い上げてイベントトラッカーウインドウに表示する操作をします。

まず、ウインドウ上で右クリックし、メニューを表示します。
「解析」を選択します。

このようなウインドウが表示されますので、何も変更せずにOKボタンを押します。

すると、イベントトラッカーウインドウにこのように表示されました。

空白が多いですね。これは筆者自身ボタンを押す操作を行うために要した時間です。
（どんくさくてすみません）

右側を拡大してみます。

大きな空白の後、INT145の割り込み（＝GPIOボタン押下）が少し動作し、次にTID=5の“test_task2”が動作していることがわかります。
これら、共にCPU1で動作していることもわかります。

プログラムと見比べてみましょう。

イベントハンドラ：

int gpioint_handler(void *param, SOLID_CPU_CONTEXT *cnt)
{
		　　:
	SOLID_LOG_printf("Button was pressed!\n");
	ER ercd;
	ercd = set_flg(flag, event_from_interrupt);
	return 0;
}

ボタン押下で、event_from_interruptイベントを発行していました。

このイベントを待っているのは、“test_task2”でした。

void test_task2(VP_INT exinf)
{
		　　:

	while (1)
	{
		　　:
		ercd = wai_flg(flag, event_from_interrupt, TWF_ORW, &ptn);
		SOLID_LOG_printf("[     TASK2] Got event from interrupt.\n");
		ercd = clr_flg(flag, ~event_from_interrupt);
		　　:
	}
	return;
}

また、GPIO割り込みハンドラ、“test_task2”共にCPU1で動作しています。

ソースコードを見てみましょう。

GPIO割り込みハンドラ初期化部：

void gpioint_init()
{
// ① 割り込みハンドラ登録用構造体を作成
	g_handler.intno = 145;
	g_handler.priority = 10;
	g_handler.config = 0b10; // SPI, エッジトリガ
	g_handler.func = gpioint_handler;
	g_handler.param = NULL;

    //割り込み対象のCPUコアを指定する場合は以下のマルチコア用APIを使用する。
    int target_processor = 1;
	// ② 登録
	int ret = SOLID_INTC_RegisterWithTargetProcess(&g_handler, 1 << target_processor);
	// ③ 有効化
	ret = SOLID_INTC_EnableM(g_handler.intno);
}

test_task2初期化部：

	// タスク動的生成のための情報設定
	tsk2.tskatr = TA_NULL;
	tsk2.task = test_task2;
	tsk2.itskpri = MID_PRIORITY;
	tsk2.stksz = STACK_SIZE;
	tsk2.stk = NULL; // スタックはカーネルが自動的に割り当てる（SOLIDのスタックフェンスが有効）
	tsk2.iprcid = 2;
	tsk2.affinity = UINT_MAX;

確かに。両方ともCPU1で動作しています。

ところで、各CPUの負荷はどうでしょうか。

再度イベントトラッカーウインドウを見てみましょう。

ここだけ見ると、CPU1ばかり一生懸命動いていて、CPU0はなんだか暇そうですね。

このように、プログラムが意図通りに動作していることや、負荷の様子がわかります。

負荷の様子を変えたい場合、前回触れたmig_tsk()関数を使い、タスクを割り当てているCPUを途中で引っ越しもすることができます。

4.1.5 タスクを引っ越しさせてみる

先程のように、このタスクが実行しているCPUを途中から変えてみたい場合がありますよね。

そして、mig_tsk()関数を使えばそれができることは、前回書きました。以下URLです。

https://note.com/yn_2022/n/nb4eaabee8721#050f7ac5-0951-4dc3-9f14-c842bd484f0a

ここでは、このプログラムをもう一度動かしてみて、イベントトラッカーで実際の動作を確認してみたいと思います。

[プログラム]
・test_task2、test_task2共に最初はCPU0。
・ボタン押下直前、
test_task2はボタン押下待ちに入る。
test_task1はmig_tsk()関数をコールし、test_task2をCPU1に引っ越しさせる
・ボタンが押され、割り込みハンドラが動作し、test_task2の待ち状態を解除
・test_task2はCPU1で動き始める。