From mboxrd@z Thu Jan 1 00:00:00 1970 From: Anthony Liguori Subject: Re: Automated para-virtualization Date: Tue, 05 Apr 2005 22:56:42 -0500 Message-ID: <42535DFA.10006@us.ibm.com> References: Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Return-path: In-Reply-To: List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Sender: xen-devel-bounces@lists.xensource.com Errors-To: xen-devel-bounces@lists.xensource.com To: Joshua LeVasseur Cc: xen-devel@lists.xensource.com List-Id: xen-devel@lists.xenproject.org Joshua LeVasseur wrote: >Hello, > > Hi Joshua, >We, University of Karlsruhe and UNSW/NICTA, have been working on a technique >to automate para-virtualization, in the hopes of simplifying the maintenance >of the various guest OSs, and would like to share our results to date. > > Very interesting... >The basis of our solution is instruction substitution at the assembler level >in order to replace the virtualization-sensitive operations of the guest OS. >The virtualization-sensitive operations include instructions and memory >accesses (such as to page tables or device registers). > > So you annotate access to mmio or page tables? Was this for performance or was it not possible to emulate mmio operations and trap writes to the page table? If you were able to avoid having to annotate these things, I presume you could virtualize Linux with no modifications? Even if this resulted in performance degradation, I can imagine scenarios where having this option would be very useful (especially for supporting legacy distributions). >annotations). There are a few additional changes for the build process. > > Would it be possible to package your tools as a cross-compiler environment so that all you had to do is set CROSS_COMPILE appropriately? >Our current research is to enable run-time migrations between incompatible >hypervisors, or between different versions of the same hypervisor, by >rewriting the instruction substitutions at time of migration. Additionally, >we envisage that one can install a hypervisor underneath an OS which runs on >bare metal. > > Does this mean that you maintain the patch table and support unpatching a patched image or do you simply keep a copy of the unpatched kernel? Any thoughts on supporting kernel modules? Would you have to prepatch a module? >We have a high speed network device emulation, for the DP83820 driver, based >on the sensitive memory instruction substitution (an additional several line >patch to enable manual annotations). If the guest OS uses the DP83820 >device, then it has high-speed access to devices running in Dom0. The speed >is comparable to using a customized device driver. By using the DP83820 >device, a guest OS can migrate between different hypervisors, since the >state is encapsulated in a model, and not a driver. > > Have you implemented any other emulated devices? >We will shortly release the code under a BSD license. > > Great! Look forward to seeing the code. Looks like you guys have been doing really cool stuff :-) Regards, Anthony Liguori