@inproceedings{48a26f3089414a5ca45ce1764f4c4b78,
title = "Towards Fault-Tolerant Task Backup and Recovery in the seL4 Microkernel",
abstract = "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, machinechecked operating system kernel, has become one of the ideal platforms for safety-critical systems, but the lack of faulttolerant 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.",
keywords = "Fault-tolerant, SeL4, Task backup, Task recovery",
author = "Guangqiang Luan and Yuebin Bai and Libin Xu and Chao Yu and Chunyang Wang and Junfang Zeng and Qingbin Chen and Weitao Wang",
note = "Publisher Copyright: {\textcopyright} 2018 IEEE.; 42nd IEEE Computer Software and Applications Conference, COMPSAC 2018 ; Conference date: 23-07-2018 Through 27-07-2018",
year = "2018",
month = jun,
day = "8",
doi = "10.1109/COMPSAC.2018.00107",
language = "英语",
series = "Proceedings - International Computer Software and Applications Conference",
publisher = "IEEE Computer Society",
pages = "721--726",
editor = "Chung-Horng Lung and Thomas Conte and Ling Liu and Toyokazu Akiyama and Kamrul Hasan and Edmundo Tovar and Hiroki Takakura and William Claycomb and Stelvio Cimato and Ji-Jiang Yang and Zhiyong Zhang and Ahamed, \{Sheikh Iqbal\} and Sorel Reisman and Claudio Demartini and Motonori Nakamura",
booktitle = "Proceedings - 2018 IEEE 42nd Annual Computer Software and Applications Conference, COMPSAC 2018",
address = "美国",
}