Xen and the Art of Virtualization, SIGOPS Oper. Syst. Rev, vol.37, issue.5, pp.164-177, 2003. ,
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. ,
Why Xen, 2009. ,
Transparent fault tolerance of device drivers for virtual machines, IEEE Transactions on Computers, vol.59, issue.11, pp.1466-1479, 2010. ,
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. ,
,
TailBench: a benchmark suite and evaluation methodology for latency-critical applications, IEEE International Symposium on Workload Characterization (IISWC), 2016. ,
The Design of a Practical System for Fault-tolerant Virtual Machines ,
, Syst. Rev, vol.44, issue.4, pp.30-39, 2010.
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. ,
Fast Hypervisor Recovery Without Reboot, 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), pp.115-126, 2018. ,
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
Unikernels: The Rise of the Virtual Library Operating System, Commun. ACM, vol.57, issue.1, pp.61-69, 2014. ,
Recovering Device Drivers, ACM Trans. Comput. Syst, vol.24, issue.4, pp.333-360, 2006. ,
, Mirage OS
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. ,
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
, 2014 USENIX Annual Technical Conference (USENIX ATC 14), pp.305-319, 2014.
, MiniOS
Nooks: An architecture for reliable device drivers, Proceedings of the 10th Workshop on ACM SIGOPS European Workshop, ser. EW 10, pp.102-107, 2002. ,
LXDs: Towards Isolation of Kernel Subsystems, 2019 USENIX Annual Technical Conference (USENIX ATC 19, pp.269-284, 2019. ,
, Xen Security Modules
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
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
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. ,
,
Resilient Virtualized Systems Using ReHype, 2014. ,
UCLA Computer Science Department, 2014. ,
Applying Microreboot to System Software, 2012 IEEE Sixth International Conference on Software Security and Reliability, pp.11-20, 2012. ,
Microreboot -A Technique for Cheap Recovery, Proceedings of the 6th Conference on Symposium on Opearting Systems Design & Implementation, vol.6, pp.3-3, 2004. ,
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. ,
Deconstructing Xen, 24th Annual Network and Distributed System Security Symposium, 2017. ,
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. ,
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. ,
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. ,
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. ,
,