[論文レビュー] SkiffOS: Minimal Cross-compiled Linux for Embedded Containers

Christian Stewart|arXiv (Cornell University)|Mar 31, 2021

Distributed and Parallel Computing Systems被引用数 6

ひとこと要約

SkiffOS は、Buildroot を使用してビルドされた最小限のクロスコンパイル Linux システムであり、組み込みシステムにおけるコンテナ化されたアプリケーション実行のための不変で再現可能なホスト OS を提供する。構成レイヤーを用いることで、ハードウェア対応とアプリケーションワークロードを分離し、OTA アップグレード、決定的ビルド、およびシングルボードコンピュータや仮想化環境間でのシームレスなポータビリティを実現する。

ABSTRACT

Embedded Linux processors are increasingly used for real-time computing tasks such as robotics and Internet of Things (IoT). These applications require robust and reproducible behavior from the host OS, commonly achieved through immutable firmware stored in read-only memory. SkiffOS addresses these requirements with a minimal cross-compiled GNU/Linux system optimized for hosting containerized distributions and applications, and a configuration layering system for the Buildroot embedded cross-compiler tool which automatically re-targets system configurations to any platform or device. This approach cleanly separates the hardware support from the applications. The host system and containers are independently upgraded and backed-up over-the-air (OTA).

研究の動機と目的

• 変更可能なルートファイルシステムを備えた従来の組み込み Linux BSP におけるポータビリティと再現性の欠如に対処すること。
• 多様な組み込みプラットフォーム間で一貫した不変なシステム動作を実現するとともに、オーバー・ザ・エア（OTA）アップグレードをサポートすること。
• モジュラー構成レイヤーングシステムを用いて、ハードウェア固有の構成をアプリケーションワークロードから分離すること。
• ホスト OS とコンテナ化されたアプリケーションを独立してアップグレードおよびバックアップできること。
• 複数のコンテナ化ディストリビューションとワークロードを隔離してサポートできる最小限で宣言的な基盤を提供すること。

提案手法

• 再現性を確保するため、ピン止めされたバージョンを用いて Buildroot をサブモジュールとして使用し、最小限のクロスコンパイル Linux システムを構築する。
• ビルドフラグメント、パッチ、スクリプト、メタデータをバンドルする構成レイヤーを採用し、ハードウェア固有の詳細を抽象化する。
• Makefile のターゲットとワークスペースを用いて、プラットフォーム固有のチューニングを施した複数のシステム構成を並列にコンパイルする。
• チェックサム計算、バージョンピン止め、オフラインビルドを適用することで、ビルド間で一貫した決定的で再現可能な出力を保証する。
• 外部構成オーバーライドを可能にするため、拡張プロジェクトに SkiffOS を Git サブモジュールとして埋め込むことをサポートする。
• 既存の Linux ユーザースペースをコンテナイメージとして実行可能にし、パッケージマネージャーがホスト OS とは独立してソフトウェアを管理できるようにする。

実験結果

リサーチクエスチョン

• RQ1 多様なハードウェアプラットフォーム間で、使いやすさを損なわずに再現可能で不変な動作を達成するには、組み込み Linux システムはどのように設計すべきか？
• RQ2 ホスト OS とコンテナ化されたアプリケーションの両方をシームレスに OTA アップグレード可能にするために、どのようなアーキテクチャパターンが必要か？
• RQ3 構成レイヤーングシステムを用いることで、組み込みシステムにおけるハードウェア固有のサポートとアプリケーションワークロードをどの程度分離できるか？
• RQ4 Buildroot を介して構築された最小限で宣言的なシステムは、組み込み環境における複雑なマルチコンテナワークロードをどの程度サポートできるか？
• RQ5 SkiffOS は、標準的な Linux バイナリーや FHS準拠システムとの互換性を維持しつつ、アトミックで同一性保証の取れるシステムビルドをどのように実現するか？

主な発見

• SkiffOS は、Git コミットレベルで Buildroot、カーネル、ファームウェアのバージョンをピン止めすることで、完全に再現可能でオフラインかつ決定的なビルドを実現する。
• 構成レイヤーングシステムにより、ハードウェア固有の最適化をビルド時に適用でき、各ターゲットプラットフォーム向けにチューニングされたシステムイメージを生成できる。
• ワークスペースを用いることで、複数のシステム構成を並列にコンパイルでき、開発およびデプロイのワークフローが向上する。
• ホスト OS は不変のまま維持され、OTA を通じてアップグレードまたはロールバック可能であり、永続ストレージ上のコンテナは独立して管理される。
• 既存の Linux ユーザースペースをコンテナイメージとしてインポート可能であり、パッケージマネージャーがホストシステムを変更せずにソフトウェアを管理できる。
• SkiffOS は NixOS をコアコンテナ構成として統合し、Buildroot のハードウェア抽象化と NixOS の宣言的かつアトミックなアップグレードを組み合わせることで、アプリケーションワークロードの管理を強化する。