針對自供電歇性系統上基於模糊檢查點之多版本並行控制

Abstract

自供性電歇性系統讓許多裝置可以在電量不穩定的情況下運作，這 意味著系統需要在有供電時候，不斷備份系統資料，以及在電力恢復 時候，重新恢復整個系統。然而，現有的方法要求系統停止運作以作 系統備份，並且也不能任意調整備份的頻率。本文介紹一種設計，能 讓系統在運行而進行備份系統，以及能靈活地調整備份頻率。我們在 德州儀器設備上將設計融合到 FreeRTOS 中。實驗結果顯示，我們的 設計與現有的方法相比，最多提高了 95% 的系統運算。

Self-powered intermittent systems allow devices to run in unstable power environments, which means the system needs often checkpointing to save the executions and recover the system after power resumptions. However, existing approaches require system to suspend for checkpointing at the runtime and also can not flexibly adjust the frequency of checkpointing. This paper presents a design that enables the system without runtime checkpointing and also enables the system be checkpointed at flexible timing. We integrated the design into FreeRTOS on a Texas Instruments device. The results of experiments show that our design significantly increases the forward progress up to 95%.