[論文レビュー] Femto-Containers: DevOps on Microcontrollers with Lightweight Virtualization & Isolation for IoT Software Modules

Koen Zandberg, Emmanuel Baccelli|arXiv (Cornell University)|Jun 17, 2021

Cloud Computing and Resource Management参考文献 17被引用数 6

ひとこと要約

Femto-Containers は、eBPF を活用した軽量な仮想化アーキテクチャを提供し、低消費電力のマイコン上で安全で隔離され、かつ迅速な DevOps を実現します。本システムは、10%未満のメモリオーバーヘッドと1ミリ秒未塔の起動時間を達成しており、Arm Cortex-M、ESP32、RISC-V プラットフォームにおいて、複数のソフトウェアモジュールを同時に実行しながらも、強力な隔離性と低リソース消費を実現しています。

ABSTRACT

Development, deployment and maintenance of networked software has been revolutionized by DevOps,which have become essential to boost system software quality and to enable agile evolution.Meanwhile the Internet of Things (IoT) connects more and more devices which are not covered by DevOps tools:low-power, microcontroller-based devices.In this paper, we contribute to bridge this gap by designing Femto-Containers,a new architecture which enables containerization, virtualizationand secure deployment of software modules embedded on microcontrollers over low-power networks.As proof-of-concept, we implemented and evaluated Femto-Containers on popular microcontroller architectures (Arm Cortex-M, ESP32 and RISC-V), using eBPF virtualization, and RIOT, a common operating system in this space.We show that Femto-Containers can virtualize and isolate multiple software modules, executed concurrently, with very small memory footprint overhead (below 10%) and very small startup time (tens of microseconds) compared to native code execution.We show that Femto-Containers can satisfy the constraints of bothlow-level debug logic inserted in a hot code path, and high-level business logic coded in a variety of common programming languages.Compared to prior work, Femto-Containers thus offer an attractive trade-off in terms of memory footprint, energy consumption, agility and security.

研究の動機と目的

• 低消費電力のマイコンベースの IoT デバイスにおける DevOps サポートの欠如に対処すること。
• 制約のあるデバイス上でも、安全で隔離され、リモートで更新可能なソフトウェアモジュールを実現すること。
• 高水準の論理処理と低水準のデバッグインストルメンテーションの両方をサポートする、軽量な仮想化レイヤーを設計すること。
• 強力な隔離性とセキュリティを確保しながら、最小限のパフォーマンスおよびリソースオーバーヘッドを実現すること。
• 現代の DevOps プラクティスと制約のある IoT マイコンエコシステムの間のギャップを埋めること。

提案手法

• マイコン上でポータブルなバイトコードを実行するために、eBPF を仮想化エンジンとして活用すること。
• RIOT オペレーティングシステム上に、隔離されたソフトウェアモジュールを管理する Femto-Container ホスティングエージェントを実装すること。
• eBPF の命令セットを用いて、ハードウェアのメモリ保護機能を必要とせずに、メモリおよびリソースの隔離を強制すること。
• 統一された仮想化レイヤーを通じて、一時的なデバッグロジックと長時間実行されるビジネスロジックの両方をサポートすること。
• 固定ゼロビットフィールドを可変長命令に圧縮することで、eBPF バイトコードのコードサイズを最適化すること。
• ファズィングおよび形式的検証技術を適用し、悪意あるコードからホスティングエージェントを強化すること。

実験結果

リサーチクエスチョン

• RQ1 eBPF を用いた軽量な仮想化は、マイコンベースの IoT デバイス上で安全で隔離され、かつ迅速な DevOps を実現できるか？
• RQ2 低消費電力マイコン上で複数の隔離されたソフトウェアモジュールを実行する際のパフォーマンスおよびリソースオーバーヘッドはどの程度か？
• RQ3 Femto-Containers は、WebAssembly や JavaScript (RIOTjs)、Python (microPython) といった先行技術と比較して、メモリ効率、エネルギー消費、セキュリティの面でどの程度優れているか？
• RQ4 eBPF を用いた仮想化は、制約のあるデバイス上で高水準の論理処理と低水準の論理処理の両方をどの程度サポートできるか？
• RQ5 実行時およびメモリオーバーヘッドを最小限に抑える一方で、強力な隔離性とセキュリティを維持できるか？

主な発見

• Femto-Containers は、マイコン上での仮想化および隔離に、10%未満のメモリフットプリントオーバーヘッドを達成している。
• Femto-Containers の起動時間は数十マイクロ秒であり、ネイティブ実行性能に近い。
• 本システムは、Arm Cortex-M、ESP32、RISC-V アーキテクチャ上において、複数のソフトウェアモジュールを同時にホスティングおよび隔離することに成功している。
• Femto-Containers は、WebAssembly や JavaScript (RIOTjs)、Python (microPython) といった先行ソリューションよりも、メモリ効率および実行速度の面で優れている。
• 本アーキテクチャは、長時間実行されるビジネスロジックと一時的で時間的に重要なデバッグインストルメンテーションの両方を、強力な隔離保証とともにサポートしている。
• eBPF を用いた仮想化により、ハードウェアのメモリ保護ユニットを必要とせずに安全な実行が可能になった。