Difference between revisions of "Argo: Hypervisor-Mediated Exchange (HMX) for Xen"

From Xen
(Argo)
(Argo)
(5 intermediate revisions by the same user not shown)
Line 7: Line 7:
 
[https://www.platformsecuritysummit.com/2018/speaker/clark/ PSEC 2018 talk by Christopher Clark] (May 2018)
 
[https://www.platformsecuritysummit.com/2018/speaker/clark/ PSEC 2018 talk by Christopher Clark] (May 2018)
   
== V4V ==
+
== V4V (historical) ==
   
 
V4V was created for Citrix XenClient and derivatives are currently deployed in production systems for [https://github.com/openxt OpenXT] and Bromium [https://bromium.com/opensource uXen].
 
V4V was created for Citrix XenClient and derivatives are currently deployed in production systems for [https://github.com/openxt OpenXT] and Bromium [https://bromium.com/opensource uXen].
Line 19: Line 19:
   
 
* [[Media:DRAFT_RFC_Argo_and_HMX_2018-06-19-23-45.pdf| v0.1 design documentation for Argo]] (June 2018)
 
* [[Media:DRAFT_RFC_Argo_and_HMX_2018-06-19-23-45.pdf| v0.1 design documentation for Argo]] (June 2018)
  +
* [https://docs.google.com/document/d/1VUPdWwd1raDOPhjReVVkmb6YoQB3X5oU12E4ExjO1n0/view Minutes of x86 community call] (September 2018)
  +
* [https://lists.xen.org/archives/html/xen-devel/2018-12/msg00005.html v1 patch series] (November 2018)
  +
* [https://lists.xen.org/archives/html/xen-devel/2019-01/msg00310.html v3 patch series] (January 6 2019)
  +
* [https://lists.xenproject.org/archives/html/xen-devel/2019-01/msg01051.html v4 patch series] (January 14, 2019)
  +
  +
== Related Work ==
  +
  +
* Xinhua Zhang: [https://www.cs.uic.edu/~xzhang/vchan/ Xen libvchan] (2014)
  +
* Roman Kagan: [http://events17.linuxfoundation.org/sites/events/files/slides/VMBus%20%28Hyper-V%29%20devices%20in%20QEMU%252FKVM_0.pdf VMBus (Hyper-V) devices in QEMU/KVM] (2015)
  +
* Michael S. Tsirkin: [https://www.linux-kvm.org/images/0/03/Virtio_fall_2017.pdf The future of virtio: riddles, myths and surprises] (2017)

Revision as of 21:24, 15 January 2019


Hypervisor Mediated Exchange (HMX)

The technologies provided by VMMs for communication between VMs have a critical impact on VM isolation properties, on the confidence components can have in the delivery of data and in the integrity of the data that is received. The video below identifies aspects of inter-VM communication system architecture that support important properties that are valuable for building secure systems. Terminology is introduced to enable classification of the existing body of art and survey relevant communication technologies in modern hypervisor, OS and microkernel systems. An example is presented — Argo, an inter-VM communication mechanism developed for the Xen hypervisor — and how it is distinguished from other communication channels on the Xen platform and elsewhere.

PSEC 2018 talk by Christopher Clark (May 2018)

V4V (historical)

V4V was created for Citrix XenClient and derivatives are currently deployed in production systems for OpenXT and Bromium uXen.

Argo

Argo is derived from V4V and patches will be submitted to xen-devel in 2018.

Related Work