DragonFly kernel List (threaded) for 2012-03
[
Date Prev][
Date Next]
[
Thread Prev][
Thread Next]
[
Date Index][
Thread Index]
Re: support of hardware nested page table for vkernels
Samuel J. Greear <sjg <at> evilcode.net> writes:
>
>
> On Mon, Mar 19, 2012 at 7:29 AM, Jitendra Singh <jpsingh <at>
cs.stonybrook.edu> wrote:
>
>
>
>
>
>
>
> Hi,
>
>
>
>
> We are a group of two Grad students from Stony Brook University, NY. We are
keenly interested and want to contribute in the project for supporting hardware
nested page table for vkernels for mentioned in the GSoC 2012. In fact, we would
even love to add support
> for all hardware virtualization features provided by AMD-V architecture and
Intel-VT architecture if it already has not been supported.Â
>
>
>
>
> As a matter of fact, we are already working towards providing software and
hardware nested paging support for JOSÂ (JOS is an Operating System developed at
MIT for academic purposes)Â and also towards providing support for emulation of
AMD-V virtualization features
> in GEM5 emulator.
>
>
>
>
> Our past experience with Operating Systems and Virtualization includes design
and implementation of various features of JOS form scratch (like the bootloader,
Virtual Memory set-up, Multiprogramming and Interrupt Setup, IPC setup,
filesystem and network driver
> set up). We also design and implemented a paravirtualized Virtual Machine
Manager for JOS for one our course projects. Apart from this, we are working
towards design and implementation of first ever device driver and filesystem for
Shingled Magnetic Recording
> disks in LINUX.
>
>
>
>
> We strongly believe that our current work towards support of AMD-V emulation
in GEM5 and support of nested paging for JOS will give us significant exposure
to gain considerable insights into the hardware Virtualization and hence would
help us in adding an efficient
> support for hardware Virtualization features in DragonFly BSD.
>
>
>
>
> We are looking forward to hear from you.
>
>
>
>
> Thanks,
>
> Ankur Agrawal, Jitendra Pratap Singh
>
> MS, Computer Science
> Stony Brook University
>
>
>
>
>
>
>
>
> This is potentially a large (difficult) enough project that it could be split
into two independent GSoC projects with no overlap, but the two of you will have
to work out how to make that happen and it is possible that only one of the two
proposals might be selected, or etc. Both proposals (there must be two, since
there are two of you -- that is not to say that both of you can't work on it,
just that you both need an independent proposal to be an official student and
paid/recognized by Google) must be able to stand on their own and each must
propose to result in something that will be potentially commit-able and use-able
on its own.
>
> These two articles:
>
> http://lwn.net/Articles/228404/
>
>
> http://lwn.net/Articles/230658/
>
> Give an excellent overview of the architecture of the vkernel architecture,
how it manages page tables and how it all relates to the vm subsystem in
DragonFly. I believe it should be possible to implemented (optional) hardware
nested pagetable support within the existing vmspaces kernel API, which already
implements software nested pagetables (but if it turns out slight tweaks need to
happen, that's probably OK too).
>
> There is nothing saying you can't take this further, and one of the two of you
work on optional IO-MMU support or etc., the project ideas are simply that,
ideas.
>
> Best,
> Sam
>
Hi,
Thanks for your encouraging mails. We eagerly look forward to this project
As suggested by you, we are already aware of the difficulty and the size of the
project and hence we are working towards splitting this idea into two non-
overlapping but correlated modules.
While we are already working at it, we will be glad to have any ideas or
suggestion that you think might be useful for us in splitting the project.
Thanks
Jitendra, Ankur
[
Date Prev][
Date Next]
[
Thread Prev][
Thread Next]
[
Date Index][
Thread Index]