[논문 리뷰] Enabling Failure-resilient Intermittent Systems Without Runtime Checkpointing

Wei-Ming Chen, Tei-Wei-Kuo외 1명|arXiv (Cornell University)|2019. 10. 11.

Parallel Computing and Optimization Techniques참고 문헌 29인용 수 4

한 줄 요약

이 논문은 런타임 체크포인팅 또는 시스템 일시정지 없이 즉각적인 복구와 일관된 프로그레스 누적을 가능하게 하는 간헐적 임베디드 시스템을 위한 장애 내성 설계를 제안한다. 비버니어블 메모리에 저장된 지속적 데이터 버전과 복구 핸들러가 완료되지 않은 작업을 재실행하는 방식을 활용함으로써, 체크포인팅 기반 방법에 비해 최대 43% 향상된 프로그레스와 최소 90% 감소한 복구 시간을 달성한다.

ABSTRACT

Self-powered intermittent systems typically adopt runtime checkpointing as a means to accumulate computation progress across power cycles and recover system status from power failures. However, existing approaches based on the checkpointing paradigm normally require system suspension and/or logging at runtime. This paper presents a design which overcomes the drawbacks of checkpointing-based approaches, to enable failure-resilient intermittent systems. Our design allows accumulative execution and instant system recovery under frequent power failures while enforcing the serializability of concurrent task execution to improve computation progress and ensuring data consistency without system suspension during runtime, by leveraging the characteristics of data accessed in hybrid memory. We integrated the design into FreeRTOS running on a Texas Instruments device. Experimental results show that our design can still accumulate progress when the power source is too weak for checkpointing-based approaches to make progress, and improves the computation progress by up to 43% under a relatively strong power source, while reducing the recovery time by at least 90%.

연구 동기 및 목표

• 간헐적 에너지 수확 시스템에서 빈번한 체크포인팅으로 인한 높은 런타임 오버헤드와 성능 저하 문제를 해결하기 위해.
• 전원 장애 발생 시에도 데이터 일관성을 유지하면서 런타임 중 시스템 일시정지를 제거하기 위해.
• 불안정한 전원 조건 하에서 자기 공급 전원 장치에서 지속적인 프로그레스 누적을 가능하게 하기 위해.
• 비버니어블 메모리에 지속적 작업 상태와 데이터 버전을 유지함으로써 즉각적인 시스템 복구를 달성하기 위해.
• 런타임 체크포인팅에 의존하지 않고도 동시성 작업 실행을 지원하면서도 일관성과 정확성을 유지하기 위해.

제안 방법

• 데이터 관리자가 데이터 접근을 제어하여 일관성과 원자적 커밋을 보장하며, 비버니어블 메모리에 저장된 지속적 데이터 버전으로 복구 가능한 복제본을 버티컬 메모리에서 전달한다.
• 비버니어블 메모리에 위치한 복구 핸들러가 작업 속성과 상태 정보를 유지하여 전원 복구 후 미완료 작업을 즉각 재개할 수 있도록 한다.
• 긴 작업은 비버니어블 메모리에 할당되어 컨텍스트를 유지하고 장애 후 즉각 재개할 수 있도록 한다.
• 시스템은 FreeRTOS의 메모리 관리 및 작업 스케줄러를 확장하여 지속적 데이터와 복구 로직을 지원하도록 통합한다.
• 데이터 일관성은 비버니어블 메모리에 완료된 작업 수정 사항만 순차적이고 원자적으로 커밋함으로써 유지된다.
• 체크포인팅을 피함으로써 런타임 일시정지를 제거하고, 복구는 이전 일관된 상태에서 미완료 작업을 재실행함으로써 프로그레스를 회복한다.

실험 결과

연구 질문

• RQ1 런타임 체크포인팅 또는 시스템 일시정지 없이 간헐적 시스템이 일관된 프로그레스 누적을 달성할 수 있는가?
• RQ2 버티컬 메모리가 손실될 경우 전원 사이클 간 데이터 일관성이 어떻게 보장될 수 있는가?
• RQ3 자주 발생하는 전원 장애 상황에서도 1ms 이내로 복구가 가능할 수 있는가, 동시에 프로그레스가 유지되는가?
• RQ4 체크포인팅 오버헤드를 제거함으로써 계산 프로그레스와 복구 시간 측면에서 성능 향상은 어느 정도인가?
• RQ5 다양한 전원 장애 빈도와 작업 길이에 따라 설계는 어떻게 스케일링되는가?

주요 결과

• 상대적으로 강한 전원 공급 조건 하에서 시스템 전반의 체크포인팅 및 로깅 기반 접근 방식에 비해 제안된 설계는 최대 43% 향상된 프로그레스를 달성한다.
• 복구 시간은 0.6ms로 단축되어 체크포인팅 기반 방법(7.6ms 및 7ms 복구 소요) 대비 최소 90% 감소하였다.
• 체크포인팅 또는 로깅이 실행 중 필요 없어지므로 런타임 일시정지가 완전히 제거되었다.
• 특히 체크포인팅 주기가 길어질수록 복구 후 데이터 최신성 향상 효과가 뚜렷하여 데이터 상태 롤백이 감소한다.
• 프로그래밍 모델이나 애플리케이션 코드의 변경 없이도 동시 작업 실행 중 데이터 일관성과 일관성 보장이 유지된다.
• 텍사스 인스트루먼츠 장치에서 실행되는 FreeRTOS 기반 프로토타입 구현은 실제 간헐적 컴퓨팅 환경에서 이 접근 방식의 효과를 확인한다.