Home‎ > ‎2012讀書會‎ > ‎

2012-07-17


07/17 星系主題:探討第三代 microkernel + hypervisor (microhypervisor) by Jserv

hypervisor.org


簽到

sting@itri.org.tw
jserv
Ben6
C.C. Huang 黃呈章 cc.huang@jorjin.com.tw
Y. Chao
Kito Cheng
Anndy
tomjpsun


Definition Kernel
- Monolithic Kernel
- Micro kernel

Key Man: Liedtke
   --> 1993 year : L4

= Concepts =

Tasks
 - Represnet domain of protection and isolation


3 management operations
 - Map/Unmap
 - Grant
 - Flush

Performance bottleneck of Mach due to IPC

MAP Reference
 - 對應到硬體的Paging 來提高效能

Security: 
ACL control --> Capability Based

Recursive Address Space
1995 "優雅的設計"

Memory allocation is users' responsibility

Bug-free kernel?

一個很大的突破:把資源抽象化為cabilities

cability table / cability handler
Everything is a cability

seL4
 - Revised IPC
   - AsyncEP

interrupt object

Asynchronous (功耗較小)
* avoid blocking
* receiver can poll and wait

okL4 source code download link:


VM -- ( VM Exit ) --> Hypervisor
Hypervisor -- ( VM Entry ) --> VM

VMCS for Guest OS <-> Hypervisor switching (similar to context switching?)

NOVA Hypervisor
 - 9000 LOC for MicroHypervisor


L4Ka -> FIASCO -> FIASCO.OC

The NOVA Microhypervisor 簡報:
簡報與code實作是完全一致的。 (令人非常感動啊!)

Source Code
 - Entry of NOVA code reading: ioapic.cpp

use kernel object to seach code
 ex: tss.cpp, vmm.cpp

GPU 還沒有做出


L4Re -- POSIX Driver

NOVA debuging by L4ka

- NICTA

SDR : Software Defined Radio

ARM
  big.Little viedeo for introduction


Linaro
 - QEMU ARM fast-modeling
   - cortex-a15 + a9/a7
    ARM virtualiz(s)er
    

x86 Virtualization種類:
  • Software-only VMMs
  •  Binary translation
  •  Paravirtualization
  •  Device Emulation
  • Hardware-assisted Virtualization
  • Processor Focus
  • Intel VT-x for intel IA-32 and Intel 64
  • (Intel VT-i for intel Itanium )
  • AMD-V for AMD CPU
  • 補充:Nested Paging
  • I/O Virtualization
  • Intel VT-d, VT-c
  • AMD-Vi (IOMMU)
  • 補充:GPU direct access from guest OS (graphic performance will be improved significantly. )
  • Reference:
  • Intel Virtualization Technology Roadmap and VT-d Support in Xen 
  • Intel Virtualization Technology Overview

Comments