P. Barham, B. Dragovic, K. Fraser, S. Hand, T. Harris et al., Xen and the Art of Virtualization, SIGOPS Oper. Syst. Rev, vol.37, issue.5, pp.164-177, 2003.

K. Fraser, S. Hand, R. Neugebauer, I. Pratt, A. Warfield et al., Safe Hardware Access with the Xen Virtual Machine Monitor, Proceedings of the 1st Workshop on Operating System and Architectural Support for the on demand IT InfraStructure (OASIS), 2004.

S. Spector, Why Xen, 2009.

H. Jo, H. Kim, J. Jang, J. Lee, and S. Maeng, Transparent fault tolerance of device drivers for virtual machines, IEEE Transactions on Computers, vol.59, issue.11, pp.1466-1479, 2010.

P. Colp, M. Nanavati, J. Zhu, W. Aiello, G. Coker et al., Breaking Up is Hard to Do: Security and Functionality in a Commodity Hypervisor, Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles, ser. SOSP '11, pp.189-202, 2011.

,

H. Kasture and D. Sanchez, TailBench: a benchmark suite and evaluation methodology for latency-critical applications, IEEE International Symposium on Workload Characterization (IISWC), 2016.

D. J. Scales, M. Nelson, and G. Venkitachalam, The Design of a Practical System for Fault-tolerant Virtual Machines

, Syst. Rev, vol.44, issue.4, pp.30-39, 2010.

M. Le and Y. Tamir, ReHype: Enabling VM Survival Across Hypervisor Failures, Proceedings of the 7th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, ser. VEE '11, pp.63-74, 2011.

D. Zhou and Y. Tamir, Fast Hypervisor Recovery Without Reboot, 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), pp.115-126, 2018.

C. Tan, Y. Xia, H. Chen, and B. Zang, TinyChecker: Transparent protection of VMs against hypervisor failures with nested virtualization, IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN 2012, pp.1-6, 2012.

, The Linux Foundation

A. Madhavapeddy and D. J. Scott, Unikernels: The Rise of the Virtual Library Operating System, Commun. ACM, vol.57, issue.1, pp.61-69, 2014.

M. M. Swift, M. Annamalai, B. N. Bershad, and H. M. Levy, Recovering Device Drivers, ACM Trans. Comput. Syst, vol.24, issue.4, pp.333-360, 2006.

, Mirage OS

O. Mutlu, The RowHammer Problem and Other Issues We May Face As Memory Becomes Denser, Proceedings of the Conference on Design, Automation & Test in Europe, ser. DATE '17, vol.3001, pp.1116-1121, 2017.

L. Cojocar, K. Razavi, C. Giuffrida, and H. Bos, Exploiting Correcting Codes: On the Effectiveness of ECC Memory Against Rowhammer Attacks, S&P, 2019.

, Exploring performance of etcd, zookeeper and consul consistent key-value datastores

D. Ongaro and J. Ousterhout, 2014 USENIX Annual Technical Conference (USENIX ATC 14), pp.305-319, 2014.

, MiniOS

M. M. Swift, S. Martin, H. M. Levy, and S. J. Eggers, Nooks: An architecture for reliable device drivers, Proceedings of the 10th Workshop on ACM SIGOPS European Workshop, ser. EW 10, pp.102-107, 2002.

V. Narayanan, A. Balasubramanian, C. Jacobsen, S. Spall, S. Bauer et al., LXDs: Towards Isolation of Kernel Subsystems, 2019 USENIX Annual Technical Conference (USENIX ATC 19, pp.269-284, 2019.

, Xen Security Modules

C. Clark, K. Fraser, S. Hand, J. G. Hansen, E. Jul et al., Live migration of virtual machines, Proceedings of the 2nd Conference on Symposium on Networked Systems Design and Implementation, ser. NSDI'05. USA: USENIX Association, pp.273-286, 2005.

, ApacheBench

D. Mvondo, B. Teabe, A. Tchana, D. Hagimont, and N. Palma, Closer: A New Design Principle for the Privileged Virtual Machine OS, 2019 IEEE 27th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS), pp.49-60, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02333582

D. G. Murray, G. Milos, and S. Hand, Improving Xen Security Through Disaggregation, Proceedings of the Fourth ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, ser. VEE '08, pp.151-160, 2008.

,

M. Le and T. , Resilient Virtualized Systems Using ReHype, 2014.

M. Le, UCLA Computer Science Department, 2014.

M. Le and Y. Tamir, Applying Microreboot to System Software, 2012 IEEE Sixth International Conference on Software Security and Reliability, pp.11-20, 2012.

G. Candea, S. Kawamoto, Y. Fujiki, G. Friedman, and A. Fox, Microreboot -A Technique for Cheap Recovery, Proceedings of the 6th Conference on Symposium on Opearting Systems Design & Implementation, vol.6, pp.3-3, 2004.

A. Depoutovitch and M. Stumm, Otherworld: Giving Applications a Chance to Survive OS Kernel Crashes, Proceedings of the 5th European Conference on Computer Systems, ser. EuroSys '10, pp.181-194, 2010.

L. Shi, Y. Wu, Y. Xia, N. Dautenhahn, H. Chen et al., Deconstructing Xen, 24th Annual Network and Distributed System Security Symposium, 2017.

X. Jin, S. Park, T. Sheng, R. Chen, Z. Shan et al., FTXen: Making hypervisor resilient to hardware faults on relaxed cores, 2015 IEEE 21st International Symposium on High Performance Computer Architecture (HPCA), pp.451-462, 2015.

S. Doddamani, P. Sinha, H. Lu, T. K. Cheng, H. H. Bagdi et al., Fast and Live Hypervisor Replacement, Proceedings of the 15th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, ser. VEE 2019, pp.45-58, 2019.

X. Zhang, X. Zheng, Z. Wang, Q. Li, J. Fu et al., Fast and Scalable VMM Live Upgrade in Large Cloud Infrastructure, booktitle = Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems," ser. ASPLOS '19, pp.93-105, 2019.

S. Wang, C. Li, H. Hoffmann, S. Lu, W. Sentosa et al., Understanding and auto-adjusting performance-sensitive configurations, Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems, ser. ASPLOS '18, pp.154-168, 2018.

,