Architectural virtualization extensions: A systems perspective

Smith, 2005 Rosenblum, 2004, The reincarnation of virtual machines, Queue, 2, 40, 10.1145/1016998.1017000 Borja Sotomayor, Rubéen Santiago Montero, Ignacio Martín Llorente, Ian Foster, Resource leasing and the art of suspending virtual machines, in: Proceedings of the 2009 11th International Conference on High Performance Computing and Communications, 2009, pp. 59–68. Whitaker, 2002, Scale and performance in the Denali isolation kernel, SIGOPS Oper. Syst. Rev., 36, 195, 10.1145/844128.844147 Arun Babu Nagarajan, Frank Mueller, Christian Engelmann, Stephen L. Scott, Proactive fault tolerance for HPC with Xen virtualization, in: Proceedings of the 21st Annual International Conference on Supercomputing, 2007, pp. 23–32. Michael R. Marty, Mark D. Hill, Virtual hierarchies to support server consolidation, in: Proceedings of the 34th Annual International Symposium on Computer Architecture, 2007, pp. 46–56. Vogels, 2008, Beyond server consolidation, Queue, 6, 20, 10.1145/1348583.1348590 Adabala, 2005, From virtualized resources to virtual computing grids: the In-VIGO system, Future Gener. Comput. Syst., 21, 896, 10.1016/j.future.2003.12.021 Foster, 2001, The anatomy of the grid: enabling scalable virtual organizations, Int. J. High Perform. Comput. Appl., 15, 200, 10.1177/109434200101500302 Daniel Nurmi, Rich Wolski, Chris Grzegorczyk, Graziano Obertelli, Sunil Soman, Lamia Youseff, Dmitrii Zagorodnov, The eucalyptus open-source cloud-computing system, in: Proceedings of the 2009 9th International Symposium on Cluster Computing and the Grid, 2009, pp. 124–131. Neiger, 2006, Intel virtualization technology: hardware support for efficient processor virtualization, Intel Technol. J., 10, 10.1535/itj.1003.01 Jun Nakajima, Intel updates, in: Xen Summit, www.xen.org/files/xensummit_fall07/12_JunNakajima.pdf, November 2007. AMD, Secure virtual machine architecture reference manual, May 2005. T. Deshane, Z. Shepherd, J.N. Matthews, M. Ben-Yehuda, A. Shah, B. Rao, Quantitative comparison of Xen and KVM, in: Xen Summit, 2008, pp. 1–2. Harper, 2008, KVM limits arbitrary or architectural?, KVM Forum Disheng Su, Wenzhi Chen, Wei Huang, Haitao Shan, Yunhong Jiang, SmartVisor: towards an efficient and compatible virtualization platform for embedded system, in: IIES ’09: Proceedings of the Second Workshop on Isolation and Integration in Embedded Systems, 2009, pp. 37–41. Eckart, 2009, An extensible I/O performance analysis framework for distributed environments, Lect. Notes Comput. Sci., 5704, 57, 10.1007/978-3-642-03869-3_9 Uhlig, 2005, Intel virtualization technology, Computer, 38, 48, 10.1109/MC.2005.163 Avi. Kivity, Yaniv. Kamay, Dor. Laor, Uri. Lublin, Anthony Liguori, KVM: the Linux virtual machine monitor, in: Proceedings of the Linux Symposium, 2007, p. 225. Seehwan Yoo, Yunxin Liu, Cheol-Ho Hong, Chuck Yoo, Yongguang Zhang, Mobivmm: a virtual machine monitor for mobile phones, in: MobiVirt ’08: Proceedings of the First Workshop on Virtualization in Mobile Computing, 2008, pp. 1–5. Rosenblum, 2005, Virtual machine monitors: current technology and future trends, Computer, 38, 39, 10.1109/MC.2005.176 Jeremy Sugerman, Ganesh Venkitachalam, Beng-Hong Lim, Virtualizing I/O devices on VMware workstation’s hosted virtual machine monitor, in: Proceedings of the USENIX Annual Technical Conference, 2001, pp. 1–14. Bovet, 2005 Uwe F. Mayer, Port to Linux of BYTE magazine’s BYTEmark benchmark program, www.tux.org/mayer/linux/bmark.html. Passmark Software, Passmark performancetest 6.1. www.passmark.com. Russell, 2008, Virtio: towards a de-facto standard for virtual I/O devices, SIGOPS Oper. Syst. Rev., 42, 10.1145/1400097.1400108 Rusty Russell, Virtio specifications, http://ozlabs.org/rusty/virtio-spec. Popek, 1974, Formal requirements for virtualizable third generation architectures, Commun. ACM, 17, 412, 10.1145/361011.361073 K. Adams, O. Agesen, A comparison of software and hardware techniques for x86 virtualization, in: Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, 2006, pp. 2–13. Fabrice Bellard, Qemu, a fast and portable dynamic translator, in: Proceedings of the USENIX Annual Technical Conference, 2005, p. 41. Lawton, 1996, Bochs: a portable pc emulator for unix/x, Linux J., 7 Chi-Keung Luk, Robert Cohn, Robert Muth, Harish Patil, Artur Klauser, Geoff Lowney, Steven Wallace, Vijay Janapa Reddi, Kim Hazelwood, Pin: building customized program analysis tools with dynamic instrumentation, in: Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2005, pp. 190–200. Nethercote, 2007, Valgrind: a framework for heavyweight dynamic binary instrumentation, SIGPLAN Not., 42, 89, 10.1145/1273442.1250746 Ebcioglu, 2001, Dynamic binary translation and optimization, IEEE Trans. Comput., 50, 529, 10.1109/12.931892 K. Scott, N. Kumar, S. Velusamy, B. Childers, J.W. Davidson, M.L. Soffa, Retargetable and reconfigurable software dynamic translation, in: Proceedings of the International Symposium on Code Generation and Optimization, 2003, pp. 36–47. Waldspurger, 2002, Memory resource management in VMware ESX server, SIGOPS Oper. Syst. Rev., 36, 181, 10.1145/844128.844146 Daniel J. Magenheimer, Thomas W. Christian, vBlades: optimized paravirtualization for the Itanium processor family, in: Proceedings of the 3rd Conference on Virtual Machine Research And Technology Symposium, 2004, pp. 73–82. Lamia Youseff, Keith Seymour, Haihang You, Jack Dongarra, Rich Wolski, The impact of paravirtualized memory hierarchy on linear algebra computational kernels and software, in: Proceedings of the 17th International Symposium on High Performance Distributed Computing, 2008, pp. 141–152. Drepper, 2008, The cost of virtualization, Queue, 6, 28, 10.1145/1348583.1348591 Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, Andrew Warfield, Xen and the art of virtualization, in: Proceedings of the Nineteenth Symposium on Operating Systems Principles, 2003, pp. 164–177. Jose Renato Santos, Yoshio Turner, G. Janakiraman, Ian Pratt, Bridging the gap between software and hardware techniques for I/O virtualization, in: USENIX 2008 Annual Technical Conference on Annual Technical Conference, 2008, pp. 29–42. Diego Ongaro, Alan L. Cox, Scott Rixner, Scheduling I/O in virtual machine monitors, in: Proceedings of the Fourth ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2008, pp. 1–10. Himanshu Raj, Karsten Schwan, High performance and scalable I/O virtualization via self-virtualized devices, in: Proceedings of the 16th International Symposium on High Performance Distributed Computing, 2007, pp. 179–188. Jiuxing Liu, Wei Huang, Bulent Abali, Dhabaleswar K. Panda, High performance VMM- bypass I/O in virtual machines, in: Proceedings of the Annual Conference on USENIX ’06 Annual Technical Conference, 2006, p. 3. Jiuxing Liu, Bulent Abali, Virtualization polling engine (VPE): using dedicated CPU cores to accelerate I/O virtualization, in: ICS ’09: Proceedings of the 23rd International Conference on Supercomputing, 2009, pp. 225–234. François Diakhaté, Marc Perache, Raymond Namyst, Herve Jourdren, Efficient shared memory message passing for inter-VM communications, in: Euro-Par 2008 Workshops—Parallel Processing, 2009, pp. 53–62. Jian Wang, Kwame-Lante Wright, Kartik Gopalan, Xenloop: a transparent high performance inter-VM network loopback, in: HPDC ’08: Proceedings of the 17th International Symposium on High Performance Distributed Computing, 2008, pp. 109–118. Hideki Eiraku, Yasushi Shinjo, Calton Pu, Younggyun Koh, Kazuhiko Kato, Fast networking with socket-outsourcing in hosted virtual machine environments, in: SAC ’09: Proceedings of the 2009 ACM Symposium on Applied Computing, 2009, pp. 310–317. Y. Koh, C. Pu, Y. Shinjo, H. Eiraku, G. Saito, D. Nobori, Improving virtualized windows network performance by delegating network processing, in: Proceedings of the 2009 Eighth IEEE International Symposium on Network Computing and Applications-Volume 00, 2009, pp. 203–210. Mergen, 2006, Virtualization for high-performance computing, SIGOPS Oper. Syst. Rev., 40, 8, 10.1145/1131322.1131328 Abramson, 2006, Intel virtualization technology for directed I/O, Intel Technol. J., 10, 179, 10.1535/itj.1003.02 AMD Corporation, AMD IO virtualization technology (IOMMU) specification. www.amd.com, 2009. M. Ben-Yehuda, J. Mason, O. Krieger, J. Xenidis, L. Van Doorn, A. Mallick, J. Nakajima, E. Wahlig, Utilizing IOMMUs for virtualization in Linux and Xen, in: Proceedings of the 2006 Ottawa Linux Symposium, 2006. Ben-Ami Yassour, Muli Ben-Yehuda, Orit Wasserman, Direct device assignment for untrusted fully-virtualized virtual machines, Technical Report, IBM Research, 2008. J. LeVasseur, R. Panayappan, E. Skoglund, C. du Toit, L. Lynch, A. Ward, D. Rao, R. Neugebauer, D. McAuley, Standardized but flexible I/O for self-virtualizing devices, in: Proceedings of the First Conference on I/O Virtualization, 2008. E. Zhai, G.D. Cummings, Y. Dong, Live migration with pass-through device for Linux VM, in: Proceedings of the Linux Symposium, Ottawa, Ontario, Canada, 2008. XiaoLin, 2010, Dynamic memory paravirtualization transparent to guest OS, Inf. Sci., 53, 77 VMware, Performance evaluation of Intel EPT hardware assist, www.vmware.com/pdf/Perf_ESX_Intel-EPT-eval.pdf. VMware, VMware: timekeeping in VMware Virtual Machines, www.vmware.com/pdf/vmware_timekeeping.pdf, 2008. T. Gleixner, D. Niehaus, Hrtimers and beyond: transforming the linux time subsystems, in: Proceedings of the Ottawa Linux Symposium, Ottawa, Ontario, Canada, 2006. S. Siddha, V. Pallipadi, A. Van De Ven, Getting maximum mileage out of tickless, in: Proceedings of the Linux Symposium, Intel Open Source Technology Center, 2007. L. Nussbaum, F. Anhalt, O. Mornard, J.P. Gelas, Linux-based virtualization for HPC clusters, http://kernel.org/doc/ols/2009/ols2009-pages-221-234.pdf, 2009. Artem Dinaburg, Paul Royal, Monirul Sharif, Wenke Lee, Ether: malware analysis via hardware virtualization extensions, in: Proceedings of the 15th Conference on Computer and Communications Security, 2008, pp. 51–62. S. Lin, Towards virtual machine integrity using introspection, https://ritdml.rit.edu/handle/1850/10648, 2009. M. Fenn, M.A. Murphy, S. Goasguen, A study of a KVM-based cluster for grid computing, in: Proceedings of the 47th Annual Southeast Regional Conference, 2009, p. 34. Betak