静的OSのための静的APIとコンフィギュレータ
2020 年 37 巻 3 号 p. 3_45-3_66
詳細
2020 年 37 巻 3 号 p. 3_45-3_66
使用するOSオブジェクトをシステム構築時に生成する静的OSにおいては，OSオブジェクトの生成に必要なコンフィギュレーション情報を，何らかの方法で記述する必要がある．静的APIは，リアルタイムOSのコンフィギュレーション情報を記述するための記述言語である．μITRON4.0仕様においてはじめて導入し，TOPPERS新世代カーネル仕様において改善を行った．本論文では，静的APIに求められる要件と，それらの仕様における静的APIの具体的な仕様について述べる．また，静的APIを処理するコンフィギュレータの設計と実装について，TOPPERSプロジェクトにおける約20年間の開発の歴史に沿って述べる．
