理想のRTOSを自作する (1)

今年の目標は理想のRTOS(リアルタイムOS)の自作だ。って、いうか、もう2月なんですけど。遅!(笑)

【タイマー粒度の問題】

RTOSは覚えきれないほど沢山の物があるが、共通する一番の問題はタイマー粒度がせいぜい1ms程度と荒すぎることだと思っている。調べる気力もないので不確かではあるが恐らく全てのRTOSがそうなっていると思われる。これはタイマー処理の実装の問題である。

例えば、マイクロ秒間隔で正確な制御がしたい。そんな単純なことがRTOSでは出来ない。出来ないというよりも作法的にRTOSでやってはいけないと言うべきかもしれない。タイマー粒度より細かい時間ではタイマーウェイトが使えないため優先度の高いタスクでループ処理にて時間待ちさせるしか方法はない。数10マイクロ秒程度ならまだ許せるかもしれないがループ待ちの間は他のタスクの実行を妨げることになるため数百マイクロ秒以上もの長い期間をループ待ちすることは良いこととは言えないし他のタスクと協調動作させようとすると今度は時間が不正確になる。あっちを立てればこっちが立たずみたいになり最終的には奥の手(HWタイマー割り込み)を使ってしまうことになるだろう。

リアルタイムという言葉に惹かれRTOSを導入したがタイマー粒度の問題でうまく実装できなかったり割り込み管理のオーバーヘッドで割り込みレスポンスも悪くなったりで一体どこがリアルタイムなんだってガッカリしてしまった人も多くいるのではないだろうか。RTOSでは必然的により高速なCPUとより多量なRAMが求められるためターゲットはメリットが出やすい(逆に言えばデメリットが分かりにくくなる)上位CPUとなる。下位CPUにも対応するRTOSもあるが開発規模も大きくならないことから下位CPUで使うメリットはあまりないと思った方が良いのかもしれない...が、望むものが無ければ自分で作ればいい。ってことで、理想のRTOSを考えてみた。

【理想のRTOS】☆は必須機能

1.☆タイマー粒度に依存しない高分解能なタイマー同期機能。
2.☆GPIOピン変化/キャプチャー同期機能。
3.☆優先順位によるプリエンプティブ・スケジューリング。
4.☆関数呼び出しによるラウンドロビン・スケジューリング。
5.タイムスライスは正確な時間制御を損なうためあえて実装しない。
6.優先度数は多くても使いこなせないので数レベルもあれば十分。
7.下位CPUでも使えるコンパクトなRTOSを目指す。
8.当初のターゲットは、AVRシリーズの16MHzとする。
9.将来的には、Raspberry Pi Pico(rp2040)等のマルチ・コアCPU対応。<--妄想?(/・ω・)/

【優先度の実装】

一般的な優先順位別にタスクリストを持つ方法では最優先のタスクを検索するために優先順位の高いほうから低い方へ向かって順番に検索しなければならず低優先度タスクほどオーバーヘッドは大きくなる。さらに低優先度タスクは常態的にレディ状態にあると想定できることから低優先度タスクほど検索回数が多くなるとも考えられる。これらのことから優先度検索のオーバーヘッドを回避するため優先度別のリストを連結したオーダードリスト構造を考えてみた。リスト操作時に通常の線形リストよりも数ステップ程度の追加処理が必要になるが先頭が常に最優先タスクとなるため優先度検索しなくて済むようになる。

【空のリスト状態】

【優先度0のタスクだけが登録されている状態】

【優先度3のタスクだけが登録されている状態】

【全ての優先度のタスクが登録されている状態】

タスクの追加は簡単である。まず追加するタスクの優先度に対応するtailポインターから優先度の高いほう(小さな数字)に向かって(null)でないtailポインターを探す。(null)でないtailポインターが見つかった場合は、そのtailポインターが示すタスクの次に挿入し、見つからなればリストの先頭に挿入する。最後に追加タスクの優先度に対応するtailポインターに追加したタスクを登録して完了である。
また、tailポインターの検索については優先度ビットマップにより優先順位に関わらず同一コストで検索が可能だ。

最優先タスクは常にリスト先頭となることから削除についてはリスト先頭のみ考えれば良い。削除タスクの優先度に対応するtailポインターが削除タスク自身を示す場合は削除後にその優先度のリストが空になるのでtailポインターを(null)にする。

【enqueue/dequeue処理の抜粋】

【コンテキスト・スイッチング】

タスク切替時のCPUの全レジスタ保存は必須?でもない。一見改善の余地がなさそうに思えても改善の余地はあるものだ。C/C++言語を前提にするならコンパイラの関数コールのレジスタ・ルールに従い保存が必要なレジスタだけを保存すれば良い。これは、標準関数でもあるsetjmp()/logjmp()を使うことで汎用的に実装できて関数コールによるスイッチング速度を改善させる効果がある。割り込み処理からのスイッチングにも対応できる。これは言語仕様をうまく利用したアイデアだ。

【タスク・スタック領域】

簡易的なRTOSのスタック領域は、スタック・ポインター~ヒープ・エンドまでの空きヒープ領域を適当に区切って利用したりするがその方法だとヒープ管理領域を壊してしまうためメモリ管理(malloc)と共存することができなくなる。メモリ管理と共存するにはメモリ管理機能を使ってスタック領域を割り当てるのが正しいやり方だ。但し、スタック・オーバーフローさせないことが大前提ではあるが。

次回は問題のタイマー処理かな...って、まだ続くのか?(笑)

【関連する投稿】
理想のRTOSを自作する (1)
理想のRTOSを自作する (2)
理想のRTOSを自作する (3)
理想のRTOSを自作する (4)
理想のRTOSを自作する (5)
理想のRTOSを自作する (6)
理想のRTOSを自作する (7)
理想のRTOSを自作する (8)
理想のRTOSを自作する (9)
理想のRTOSを自作する (10)
理想のRTOSを自作する (11)

コメントを残す

メールアドレスが公開されることはありません。 が付いている欄は必須項目です

CAPTCHA


このサイトはスパムを低減するために Akismet を使っています。コメントデータの処理方法の詳細はこちらをご覧ください