Towards Fault-Tolerant Task Backup and Recovery in the seL4 Microkernel
Guangqiang Luan, Yuebin Bai, Libin Xu, Chao Yu, Chunyang Wang, Junfang Zeng, Qingbin Chen, Weitao Wang · 2018
With the improvement of the reliability requirements of modern computer systems, fault-tolerant technology has been widely used in all aspects of computer systems as a key mechanism to ensure system reliability. The seL4 microkernel as the world's first complete, formal, machine-checked operating system kernel, has become one of the ideal platforms for safety-critical systems, but the lack of fault-tolerant mechanism reduces its reliability and availability. This paper designs and implements a fault-tolerant backup and recovery mechanism based on checkpoint in the seL4 microkernel and makes the optimization of resource. The experiment demonstrates the performance of the backup and recovery mechanism in terms of time and space.