{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,6]],"date-time":"2026-06-06T01:16:50Z","timestamp":1780708610919,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":71,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,10,4]],"date-time":"2015-10-04T00:00:00Z","timestamp":1443916800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100006245","name":"Ministry of Science and Technology, Israel","doi-asserted-by":"publisher","award":["3-9779"],"award-info":[{"award-number":["3-9779"]}],"id":[{"id":"10.13039\/501100006245","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003977","name":"Israel Science Foundation","doi-asserted-by":"publisher","award":["605\/12"],"award-info":[{"award-number":["605\/12"]}],"id":[{"id":"10.13039\/501100003977","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,10,4]]},"DOI":"10.1145\/2815400.2815420","type":"proceedings-article","created":{"date-parts":[[2015,10,1]],"date-time":"2015-10-01T12:01:58Z","timestamp":1443700918000},"page":"311-327","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":23,"title":["Virtual CPU validation"],"prefix":"10.1145","author":[{"given":"Nadav","family":"Amit","sequence":"first","affiliation":[{"name":"Israel Institute of Technology"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dan","family":"Tsafrir","sequence":"additional","affiliation":[{"name":"Israel Institute of Technology"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Assaf","family":"Schuster","sequence":"additional","affiliation":[{"name":"Israel Institute of Technology"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ahmad","family":"Ayoub","sequence":"additional","affiliation":[{"name":"Intel Corporation"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Eran","family":"Shlomo","sequence":"additional","affiliation":[{"name":"Intel Corporation"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2015,10,4]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"USENIX Annual Technical Conference (ATC)","author":"Agesen O.","year":"2011"},{"key":"e_1_3_2_2_2_1","unstructured":"Albertini A. x86 oddities. http:\/\/code.google.com\/p\/corkami\/wiki\/x86oddities 2011.  Albertini A. x86 oddities. http:\/\/code.google.com\/p\/corkami\/wiki\/x86oddities 2011."},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/1884866.1884871"},{"key":"e_1_3_2_2_4_1","unstructured":"Amit N. Increase the number of fixed MTRR regs to 10. http:\/\/comments.gmane.org\/gmane.linux.kernel\/1727771 2014.  Amit N. Increase the number of fixed MTRR regs to 10. http:\/\/comments.gmane.org\/gmane.linux.kernel\/1727771 2014."},{"key":"e_1_3_2_2_5_1","unstructured":"Amit N. Two CPU conformance issues in KVM\/x86. http:\/\/article.gmane.org\/gmane.comp.emulators.kvm.devel\/133306 2015.  Amit N. Two CPU conformance issues in KVM\/x86. http:\/\/article.gmane.org\/gmane.comp.emulators.kvm.devel\/133306 2015."},{"key":"e_1_3_2_2_6_1","volume-title":"Using Linux as hypervisor with KVM. CERN Computing Seminar http:\/\/indico.cern.ch\/event\/39755\/material\/slides\/0.pdf","author":"Arcangeli A.","year":"2008"},{"key":"e_1_3_2_2_7_1","volume-title":"The economics of virtualization: Moving toward an application-based cost model. www.vmware.com\/files\/pdf\/Virtualization-application-based-cost-model-WP-EN.pdf International Data Corporation (IDC)","author":"Bailey M.","year":"2009"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/1247360.1247401"},{"key":"e_1_3_2_2_9_1","volume-title":"USENIX Symposium on Operating Systems Design & Implementation (OSDI)","author":"Ben-Yehuda M.","year":"2010"},{"key":"e_1_3_2_2_10_1","volume-title":"KVM Forum","author":"Benn\u00e9e A.","year":"2014"},{"key":"e_1_3_2_2_11_1","volume-title":"x86-64: properly handle FPU code\/data selectors. Linux Kernel Mailing List http:\/\/lkml.org\/lkml\/2013\/10\/16\/258","author":"Beulich J.","year":"2013"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346286"},{"key":"e_1_3_2_2_15_1","first-page":"1","volume-title":"Workshops and Phd Forum (IPDPSW)","author":"Bohra A. E.","year":"2010"},{"key":"e_1_3_2_2_16_1","volume-title":"KVM: x86 emulator: emulate MOVAPS and MOVAPD SSE instructions. Linux Kernel Mailing List http:\/\/lkml.org\/lkml\/2014\/3\/17\/384","author":"Bonzini P.","year":"2014"},{"key":"e_1_3_2_2_17_1","volume-title":"DEF CON","author":"Bulygin Y.","year":"2014"},{"key":"e_1_3_2_2_18_1","unstructured":"Citrix Systems. Xen security advisories. http:\/\/xenbits.xen.org\/xsa\/. Visited: Mar 2015.  Citrix Systems. Xen security advisories. http:\/\/xenbits.xen.org\/xsa\/. Visited: Mar 2015."},{"key":"e_1_3_2_2_19_1","unstructured":"Citrix Systems. Citrix XenServer 6.2.0 administrator's guide 2014.  Citrix Systems. Citrix XenServer 6.2.0 administrator's guide 2014."},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35843-2_1"},{"key":"e_1_3_2_2_21_1","unstructured":"Corbet J. Safe device assignment with VFIO. LWN.net http:\/\/lwn.net\/Articles\/474088\/ 2012.  Corbet J. Safe device assignment with VFIO. LWN.net http:\/\/lwn.net\/Articles\/474088\/ 2012."},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2541940.2541946"},{"key":"e_1_3_2_2_23_1","volume-title":"Gigaom","author":"Darrow B.","year":"2014"},{"key":"e_1_3_2_2_24_1","volume-title":"Gigaom","author":"Darrow B.","year":"2015"},{"key":"e_1_3_2_2_25_1","volume-title":"Virtunoid: Breaking out of KVM. Black Hat USA","author":"Elhage N.","year":"2011"},{"key":"e_1_3_2_2_26_1","unstructured":"Ersek L. Open virtual machine firmware (OVMF status report). http:\/\/www.linux-kvm.org\/downloads\/lersek\/ovmf-whitepaper-c770f8c.txt 2014.  Ersek L. Open virtual machine firmware (OVMF status report). http:\/\/www.linux-kvm.org\/downloads\/lersek\/ovmf-whitepaper-c770f8c.txt 2014."},{"key":"e_1_3_2_2_27_1","volume-title":"https:\/\/gcc.gnu.org\/onlinedocs\/gcc\/Gcov.html","year":"2015"},{"key":"e_1_3_2_2_28_1","volume-title":"Visited","author":"Google","year":"2015"},{"key":"e_1_3_2_2_29_1","volume-title":"VUPEN Vulnerability Research Team (VRT) Blog, 2012","author":"Gruskovnjak J.","year":"2012"},{"key":"e_1_3_2_2_30_1","volume-title":"KVM Forum","author":"Honig A.","year":"2014"},{"key":"e_1_3_2_2_31_1","volume-title":"Intel 64 and IA-32 Architectures Software Developer's Manual. Reference number: 325462","author":"Intel Corporation","year":"2014"},{"key":"e_1_3_2_2_32_1","volume":"3","author":"Intel Corporation","year":"2014","journal-title":"Rev. 2"},{"key":"e_1_3_2_2_33_1","volume-title":"Intel Xeon processor E5 family specification update. Reference number 326510-015","author":"Intel Corporation","year":"2014"},{"key":"e_1_3_2_2_34_1","volume-title":"http:\/\/bugzilla.kernel.org\/show_bug.cgi?id=86161","author":"Kernel Bug Tracker","year":"2014"},{"key":"e_1_3_2_2_35_1","first-page":"225","volume-title":"Ottawa Linux Symposium (OLS)","volume":"1","author":"Kivity A.","year":"2007"},{"key":"e_1_3_2_2_36_1","volume-title":"KVM: the Linux Virtual Machine Monitor. Ottawa Linux Symposium (OLS)","author":"Kivity A.","year":"2007"},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629596"},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1811039.1811057"},{"key":"e_1_3_2_2_39_1","first-page":"7","volume":"1996","author":"Lawton K. P.","journal-title":"Linux Journal"},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1952682.1952692"},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-05089-3_51"},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2189750.2151012"},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831730"},{"key":"e_1_3_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572303"},{"key":"e_1_3_2_2_45_1","unstructured":"Mattson J. Running nested VMs. http:\/\/communities.vmware.com\/docs\/DOC-8970 2015.  Mattson J. Running nested VMs. http:\/\/communities.vmware.com\/docs\/DOC-8970 2015."},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.2013.121"},{"key":"e_1_3_2_2_47_1","unstructured":"McKenney P. E. Reducing OS jitter due to per-CPU kthreads. Linux 3.19:Documentation\/kernel-per-CPU-kthreads.txt.  McKenney P. E. Reducing OS jitter due to per-CPU kthreads. Linux 3.19:Documentation\/kernel-per-CPU-kthreads.txt."},{"key":"e_1_3_2_2_48_1","doi-asserted-by":"crossref","unstructured":"Microsoft. \"0\u00d720001\" stop error when you start a Linux VM in Windows Server 2008 R2 SP1. KB2550569 2011.  Microsoft. \"0\u00d720001\" stop error when you start a Linux VM in Windows Server 2008 R2 SP1. KB2550569 2011.","DOI":"10.1016\/B978-1-59749-578-3.00001-3"},{"key":"e_1_3_2_2_49_1","volume-title":"Cross-page memory read or write operation crashes virtual machine. KB2894485","author":"Microsoft","year":"2013"},{"key":"e_1_3_2_2_50_1","unstructured":"Natapov G. KVM: VMX: mark unusable segment as nonpresent. http:\/\/comments.gmane.org\/gmane.comp.emulators.kvm.devel\/111948 2013.  Natapov G. KVM: VMX: mark unusable segment as nonpresent. http:\/\/comments.gmane.org\/gmane.comp.emulators.kvm.devel\/111948 2013."},{"key":"e_1_3_2_2_51_1","unstructured":"Nayshtut A. KVM: x86: emulate MOVDQA. http:\/\/bugs.launchpad.net\/ubuntu\/+source\/linux\/+bug\/1330177 2014.  Nayshtut A. KVM: x86: emulate MOVDQA. http:\/\/bugs.launchpad.net\/ubuntu\/+source\/linux\/+bug\/1330177 2014."},{"key":"e_1_3_2_2_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/2168836.2168851"},{"key":"e_1_3_2_2_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/361011.361073"},{"key":"e_1_3_2_2_54_1","volume-title":"http:\/\/wiki.qemu.org\/QMP","author":"The","year":"2015"},{"key":"e_1_3_2_2_55_1","unstructured":"Red Hat Inc. Red Hat vulnerabilities. http:\/\/access.redhat.com\/security\/cve\/ 2014.  Red Hat Inc. Red Hat vulnerabilities. http:\/\/access.redhat.com\/security\/cve\/ 2014."},{"key":"e_1_3_2_2_56_1","unstructured":"Red Hat Inc. Bug 1167595. Bugzilla http:\/\/bugzilla.redhat.com\/show_bug.cgi?id=1167595 2015.  Red Hat Inc. Bug 1167595. Bugzilla http:\/\/bugzilla.redhat.com\/show_bug.cgi?id=1167595 2015."},{"key":"e_1_3_2_2_57_1","unstructured":"Red Hat Inc. Linux containers compared to KVM virtualization. http:\/\/access.redhat.com\/documentation\/en-US\/Red_Hat_Enterprise_Linux\/7\/html\/Resource_Management_and_Linux_Containers_Guide\/sec-Linux_Containers_Compared_to_KVM_Virtualization.html 2015.  Red Hat Inc. Linux containers compared to KVM virtualization. http:\/\/access.redhat.com\/documentation\/en-US\/Red_Hat_Enterprise_Linux\/7\/html\/Resource_Management_and_Linux_Containers_Guide\/sec-Linux_Containers_Compared_to_KVM_Virtualization.html 2015."},{"key":"e_1_3_2_2_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/1653662.1653687"},{"key":"e_1_3_2_2_59_1","unstructured":"Roedel J. SVM: Keep intercepting task switching with NPT enabled. KVM mailing list http:\/\/thread.gmane.org\/gmane.comp.emulators.kvm.devel\/80905 2011.  Roedel J. SVM: Keep intercepting task switching with NPT enabled. KVM mailing list http:\/\/thread.gmane.org\/gmane.comp.emulators.kvm.devel\/80905 2011."},{"key":"e_1_3_2_2_60_1","doi-asserted-by":"publisher","DOI":"10.1109\/54.895008"},{"key":"e_1_3_2_2_61_1","unstructured":"Sinitsyn V. Understanding the Jailhouse hypervisor. LWN.net http:\/\/lwn.net\/Articles\/578295 2014.  Sinitsyn V. Understanding the Jailhouse hypervisor. LWN.net http:\/\/lwn.net\/Articles\/578295 2014."},{"key":"e_1_3_2_2_62_1","unstructured":"Slavicic S. and Campbell B. XP machine freeze. KVM mailing list http:\/\/comments.gmane.org\/gmane.comp.emulators.kvm.devel\/133956 2014.  Slavicic S. and Campbell B. XP machine freeze. KVM mailing list http:\/\/comments.gmane.org\/gmane.comp.emulators.kvm.devel\/133956 2014."},{"key":"e_1_3_2_2_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/1815961.1816003"},{"key":"e_1_3_2_2_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/1755913.1755935"},{"key":"e_1_3_2_2_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/2046707.2046754"},{"key":"e_1_3_2_2_66_1","unstructured":"The Linux Kernel Organization. Kernel bug tracker. http:\/\/bugzilla.kernel.org. Visited: Aug 2014.  The Linux Kernel Organization. Kernel bug tracker. http:\/\/bugzilla.kernel.org. Visited: Aug 2014."},{"key":"e_1_3_2_2_67_1","unstructured":"Ubuntu Bug Tracker. Bug 1268906. https:\/\/bugs.launchpad.net\/ubuntu\/+source\/linux\/+bug\/1268906.  Ubuntu Bug Tracker. Bug 1268906. https:\/\/bugs.launchpad.net\/ubuntu\/+source\/linux\/+bug\/1268906."},{"key":"e_1_3_2_2_68_1","unstructured":"Ubuntu Bug Tracker. Bug 924247. http:\/\/bugs.launchpad.net\/ubuntu\/+source\/qemu-kvm\/+bug\/924247 .  Ubuntu Bug Tracker. Bug 924247. http:\/\/bugs.launchpad.net\/ubuntu\/+source\/qemu-kvm\/+bug\/924247 ."},{"key":"e_1_3_2_2_69_1","unstructured":"Weins K. Xen bug drives cloud reboot: Survey shows users undeterred. http:\/\/www.rightscale.com\/blog\/cloud-industry-insights\/xen-bug-drives-cloud-reboot-survey-shows-users-undeterred 2014.  Weins K. Xen bug drives cloud reboot: Survey shows users undeterred. http:\/\/www.rightscale.com\/blog\/cloud-industry-insights\/xen-bug-drives-cloud-reboot-survey-shows-users-undeterred 2014."},{"key":"e_1_3_2_2_70_1","volume-title":"In-target probe. https:\/\/en.wikipedia.org\/wiki\/In-target_probe","author":"Wikipedia","year":"2015"},{"key":"e_1_3_2_2_71_1","first-page":"43","author":"Wilhelm F.","year":"2014","journal-title":"Microsoft Hyper-V. ERNW Newsletter"},{"key":"e_1_3_2_2_72_1","volume-title":"KVM: x86 emulator: emulate MOVNTDQ. Linux Kernel Mailing List http:\/\/lkml.org\/lkml\/2014\/7\/11\/569","author":"Williamson A.","year":"2014"},{"key":"e_1_3_2_2_73_1","unstructured":"Xen Project. Nested virtualization in Xen. http:\/\/wiki.xenproject.org\/wiki\/Nested_Virtualization_in_Xen 2014.  Xen Project. Nested virtualization in Xen. http:\/\/wiki.xenproject.org\/wiki\/Nested_Virtualization_in_Xen 2014."}],"event":{"name":"SOSP '15: ACM SIGOPS 25th Symposium on Operating Systems Principles","location":"Monterey California","acronym":"SOSP '15","sponsor":["SSRC Storage Systems Research Center, UC Santa Cruz","SIGOPS ACM Special Interest Group on Operating Systems"]},"container-title":["Proceedings of the 25th Symposium on Operating Systems Principles"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2815400.2815420","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2815400.2815420","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:43:13Z","timestamp":1750225393000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2815400.2815420"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,4]]},"references-count":71,"alternative-id":["10.1145\/2815400.2815420","10.1145\/2815400"],"URL":"https:\/\/doi.org\/10.1145\/2815400.2815420","relation":{},"subject":[],"published":{"date-parts":[[2015,10,4]]},"assertion":[{"value":"2015-10-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}