[논문 리뷰] Femto-Containers: DevOps on Microcontrollers with Lightweight Virtualization & Isolation for IoT Software Modules

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

Cloud Computing and Resource Management참고 문헌 17인용 수 6

한 줄 요약

Femto-Containers는 저전력 마이크로컨트롤러에서 보안성, 고립성, 민첩성 있는 DevOps를 가능하게 하는 경량 eBPF 기반 가상화 아키텍처를 도입한다. 이 시스템은 메모리 오버헤드가 10% 미만이며, 시작 시간이 밀리초 이하로, 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의 명령어 세트를 사용해 하드웨어 메모리 보호 기능 없이도 메모리 및 자원 고립을 강제한다.
• 통합된 가상화 레이어를 통해 일시적인 디버그 로직과 장기 실행형 비즈니스 로직을 모두 지원한다.
• 고정된 0 비트 필드를 압축하여 가변 길이 명령어로 변환함으로써 eBPF 바이트코드의 크기를 최소화한다.
• 패atch 테크닉과 형식적 검증 기법을 적용하여 악성 코드로부터 호스팅 엔진을 강화한다.

실험 결과

연구 질문

• RQ1 eBPF를 활용한 경량 가상화가 마이크로컨트롤러 기반 IoT 장치에서 보안성, 고립성, 민첩성 있는 DevOps를 가능하게 할 수 있는가?
• RQ2 저전력 마이크로컨트롤러에서 여러 고립된 소프트웨어 모듈을 실행할 경우 성능 및 자원 오버헤드는 어느 정도인가?
• RQ3 메모리, 에너지, 보안 측면에서 이전의 접근 방식인 WebAssembly, JavaScript, Python 기반 컨테이너와 비교해 Femto-Containers는 어떤가?
• RQ4 eBPF 기반 가상화가 제한된 환경에서 고수준 로직과 저수준 로직을 어느 정도 지원할 수 있는가?
• RQ5 실행 시간과 메모리 오버헤드를 최소화하면서도 강력한 고립성과 보안성을 유지할 수 있는가?

주요 결과

• Femto-Containers는 마이크로컨트롤러에서 가상화 및 고립에 대해 10% 미만의 메모리 프로필 오버헤드를 달성한다.
• Femto-Containers의 시작 시간은 수 마이크로초 수준이며, 네이티브 실행 성능에 가까워지고 있다.
• 시스템은 Arm Cortex-M, ESP32 및 RISC-V 아키텍처에서 여러 소프트웨어 모듈을 동시에 호스팅하고 고립하는 데 성공했다.
• 메모리 효율성과 실행 속도 측면에서 WebAssembly, JavaScript(RIOTjs), Python(microPython)와 같은 이전 솔루션보다 우수한 성능을 보였다.
• 강력한 고립 보장을 바탕으로 장기 실행형 비즈니스 로직과 일시적인 시간이 중요한 디버그 인스트루멘테이션을 모두 지원한다.
• eBPF 기반 가상화는 하드웨어 메모리 보호 유닛이 없더라도 안전한 실행을 가능하게 한다.