KVM

Kernel-based Virtual Machine

Internals, code and more

http://slides.com/braoru/kvm#/

  • What behind KVM
  • QEMU and KVM architecture overview
  • KVM internals
  • Very small Introduction to Libvirt
  • KVM in 5 secondes

    • Introduced to make VT-x/AMD-V available to user space
    • Exposes virtualization features securely through a single interface
    • /dev/kvm
    • vailable since 2.6.20 (2006)
    • Clean and efficient dev From first LKML posting to merge: 3 months
    • 100% orthogonal to core kernel

    KVM is not KVM

    First of all there is QEMU then KVM then Libvirt then the whole ecosystems..

    At the begining, Qemu

    • Running a guest involves executing guest code 
    • Handling timers
    • Processing I/O
    • Responding to monitor commands. 
    • Doing all these things at once without pausing guest execution

    Deal with events

    Deal with events

    There are two popular architectures for programs that need to respond to events from multiple sources

    DEAL WITH EVENTS

    Parallel architecture

    Splits work into processes or threads that can execute simultaneously.

    DEAL WITH EVENTS

    Event-driven architecture

    Event-driven architecture reacts to events by running a main loop that dispatches to event handlers. 

    This is commonly implemented using the select(2) or poll(2) family of system calls to wait on multiple file descriptors.

    Threading and event driven model of qemu

    Qemu uses an hybrid architecture

    Qemu the event_loop

    • Event-driven architecture is centered around the event loop which dispatches events to handler functions. QEMU's main event loop is main_loop_wait()
    • Waits for file descriptors to become readable or writable. File descriptors are a critical  because files, sockets, pipes, and various other resources are all file descriptors.
    • Runs expired timers. 
    • Runs bottom-halves (BHs), which  used to avoid reentrancy and overflowing the call stack.

    main-loop.c

    QEMU THE EVENT_LOOP

    A file descriptor becomes ready, a timer expires, or a BH is scheduled, the event loop invokes a callback

    • No other core code is executing at the same time so synchronization is not necessary
    • Execute sequentially and atomically
    • Only 1 thread of control needed at any given time
    • No blocking system calls or long-running computations should be performed.
    • Avoid spending an unbounded amount of time in a callback
    • If you not follow those advices this will force the guest to pause and the monitor to become unresponsive.

    QEMU threads

    To help the event_loop

    Offload what need to be offloaded

    QEMU THREADS

    TO HELP THE EVENT_LOOP
    • There are system calls which have no non-blocking equivalent. 
    • Sometimes long-running computations flood the CPU and can't be easily break up into callbacks.
    • In these cases dedicated worker threads can be used to carefully move these tasks out of core QEMU.
    • One example of worker threads is vnc-jobs.c
    • When a worker thread needs to notify core QEMU, a pipe or a qemu_eventfd() file descriptor is added to the event loop.

    executing guest code

    Here are two mechanism for executing guest code: Tiny Code Generator (TCG) and KVM

    Executing guest code in qemu is very simple, it use thread. 

    Exactly 1 thread by vcpu.

    summary about qemu processing

    • 1 process per guest
    • 1 thread for the main event_loop()
    • 1 thread by vcpu
    • As many (reasonably) threads as needed for offloaded tasks

    All the existing Linux strengths at our disposal

    Memory as Huge page, KSM, IO, Scheduler, Energy, Device hotplug, networking, Security, All the Linux software world, ...

    qemu guest memory

    Guest ram is allocated at qemu start up

    This mapped memory is "really" allocated by the process (with malloc())

    qemu_madvise()

    Tips : use -mem-path to give qemu a memory image to load (can be very very good in #infosec)

    reminder

    why x86 virt is a pain...
    • No hardware provisions
    • Instruction behave differently depending on privilege context
    • Architecture not built for trap and emulate
    • CISC is ... CISC

    A complete theorical virtualisation courses : CS 686: Special Topic: Intel EM64T and VT Extensions (Spring 2007)

    reminder

    how intel vt-x help

    Guest SW <-> VMM  Transitions 

    Virtual-machine control structure

    KVM virtualisation

    KVM is a virtualization feature in the Linux kernel that lets you safely execute guest code directly on the host CPU

    1. open /dev/kvm
    2. use iocrl KVM_RUN (KVM IOCTL doc)

    As simple as :

    1. open("/dev/kvm")
    2. ioctl(KVM_CREATE_VM)
    3. ioctl(KVM_CREATE_VCPU)
    4. for (;;) {
    5. ioctl(KVM_RUN)
    6. switch (exit_reason) {
    7. case KVM_EXIT_IO: /* ... */
    8. case KVM_EXIT_HLT: /* ... */
    9. }
    10. }

    kvm virtualisation

    It's DEMO time

    What do you need : 

    • A bit of C ...

    • A touch of ASM
    • Makefile
    • gcc

    EMU / KVM / CPU / TIME interactions

    Light vs Heavy exit

    QEMU / KVM / CPU / TIME interactions

    causes of VM Exits

    VM Entry : 

    • Transition from VMM to Guest 
    • Enters VMX non-root operation

    • Loads Guest state and Exit criteria from VMCS
    • VMLAUNCH instruction used on initial entry
    • VMRESUME instruction used on subsequent entries

    VM Exit : 

    • VMEXIT instruction used on transition from Guest to VMM

    • Enters VMX root operation
    • Saves Guest state in VMCS
    • Loads VMM state from VMCS

    start a kvm vm in reality

    A bit more complicated than before :

    • KVM CREATE VM : The new VM has no virtual cpus and no memory

    • KVM SET USER MEMORY REGION : MAP userspace memory for the VM
    • KVM CREATE IRQCHIP / ...PIT KVM CREATE VCPU : Create hardware component and map them with VT-X functionnalities
    • KVM SET REGS / ...SREGS / ...FPU / ... KVM SET CPUID / ...MSRS / ...VCPU EVENTS / ... KVM SET LAPIC : hardware configurations
    • KVM RUN : Start the VM

    start a vm in qemu-kvm

    1. /usr/bin/qemu-kvm -S -M pc-0.13 -enable-kvm -m 512 -smp 2,sockets=2,cores=1,threads=1
    2. -name test -uuid e9b4c7be-d60a-c16e-92c3-166421b4daca -nodefcong -nodefaults
    3. -chardev socket,id=monitor,path=/var/lib/libvirt/qemu/test.monitor,server,nowait
    4. -mon chardev=monitor,mode=readline -rtc base=utc -boot c
    5. -drive le=/var/lib/libvirt/images/test.img,if=none,id=drive-virtio-disk0,boot=on,format=raw
    6. -device virtio-blk-pci,bus=pci.0,addr=0x5,drive=drive-virtio-disk0,id=virtio-disk0
    7. -drive if=none,media=cdrom,id=drive-ide0-1-0,readonly=on,format=raw
    8. -device ide-drive,bus=ide.1,unit=0,drive=drive-ide0-1-0,id=ide0-1-0
    9. -device virtio-net-pci,vlan=0,id=net0,mac=52:54:00:cc:1c:10,bus=pci.0,addr=0x3
    10. -net tap,fd=59,vlan=0,name=hostnet0 -chardev pty,id=serial0 -device isa-serial,chardev=serial0
    11. -usb -device usb-tablet,id=input0 -vnc 127.0.0.1:0 -vga cirrus -device AC97,id=sound0,bus=pci.0,addr=0x4
    12. -device virtio-balloon-pci,id=balloon0,bus=pci.0,addr=0x6

    Now you really know why tools are great

    KVM processing

    What about passthroug, paravirt and virtio

    Reduce VM exits or make them lightweight

    Improve I/O throughput & latency (less emulation)

    Compensates virtualization effects

    Enable direct host-guest interaction

    VIRTIO device

    • Network

    • Block
    • Serial I/O (console, host-guest channel, ...)
    • Memory balloon
    • File system (9P)
    • SCSI

    Based on generic RX/TX buffer

    Logic distributed in the guest driver (aka virtual device) and qemu backend (and kernel backend in some cases)

    Virtio device

    vhost example
    • High throughput

    • Low latency guest networking

    Normally the QEMU userspace process emulates I/O accesses from the guest. 

    Vhost puts virtio emulation code into the kernel

    • Dont forget vhost-blk and vhost-scsi

    Virtio

    vhost example
    • vhost-net driver creates a /dev/vhost-net character device on the host

    • QEMU is launched with -netdev tap,vhost=on and open /dev/vhost-net
    • vhost driver creates a kernel thread called vhost-$pid
    • $pid = pidof(QEMU)
    • Job of the worker thread is to handle I/O events and perform the device emulation.
    • vhost architecture is not directly linked to KVM
    • Use ioeventfd and irqfd

    Virtio device

    Virtio device

    vhost

    Kernel code : 

    The QEMU userspace code shows how to initialize the vhost instance :

    LIBVIRT

    very small introduction
    • Virtualization library: manage guest on one or many nodes

    • Share the application stack between hypervisors
    • Long term stability and compatibility of API and ABI
    • Provide security and remote access “out of the box”
    • Expand to management APIs (Node, Storage, Network)

    livirt

    Very small introduction

    [转] KVM Internals, code and more的更多相关文章

    1. [转] KVM虚拟化技术生态环境介绍

      KVM虚拟化技术生态环境介绍 http://xanpeng.github.io/wiki/virt/kvm-virtulization-echosystem-intro.html kvm和qemu/q ...

    2. qemu kvm 虚拟化

      虚拟化: KVM是一个基于Linux内核的虚拟机,属于完全虚拟化.虚拟机监控的实现模型有两类:监控模型(Hypervisor)和宿主机模型(Host-based).由于监控模型需要进行处理器调度,还需 ...

    3. <Mastering KVM Virtualization>:第二章 KVM内部原理

      在本章中,我们将讨论libvirt.QEMU和KVM的重要数据结构和内部实现.然后,我们将深入了解KVM下vCPU的执行流程. 在这一章,我们将讨论: libvirt.QEMU和KVM的内部运作方式. ...

    4. [原] KVM 虚拟化原理探究(2)— QEMU启动过程

      KVM 虚拟化原理探究- QEMU启动过程 标签(空格分隔): KVM [TOC] 虚拟机启动过程 第一步,获取到kvm句柄 kvmfd = open("/dev/kvm", O_ ...

    5. 重读 code complete 说说代码质量

      重读code complete 说说代码质量 2014年的第一篇文章本来计划写些过去一年的总结和新年展望,但是因为还有一些事情要过一阵才能完成,所以姑且不谈这个,说说最近重读code complete ...

    6. KVM 介绍(8):使用 libvirt 迁移 QEMU/KVM 虚机和 Nova 虚机 [Nova Libvirt QEMU/KVM Live Migration]

      学习 KVM 的系列文章: (1)介绍和安装 (2)CPU 和 内存虚拟化 (3)I/O QEMU 全虚拟化和准虚拟化(Para-virtulizaiton) (4)I/O PCI/PCIe设备直接分 ...

    7. Following a Select Statement Through Postgres Internals

      This is the third of a series of posts based on a presentation I did at the Barcelona Ruby Conferenc ...

    8. Flink Internals

      https://cwiki.apache.org/confluence/display/FLINK/Flink+Internals   Memory Management (Batch API) In ...

    9. Windows Internals学习笔记(五)Synchronization

      参考资料: 1. <Windows Internals> 2. 自旋锁spinlock剖析与改进 3. Lock指令前缀 4. Lock指令前缀(二) 5. Kernel Dispatch ...

    随机推荐

    1. sencha grid templatecolumn模板列,actioncolumn和renderer实现单元格重绘

      templatecolumn列: {                                     xtype: 'templatecolumn',                     ...

    2. Asp.Net 配置IISExpress允许外部访问

      1.找到IISExpress的配置文件,或位于(文档/IISExpress/config)文件夹下,打开applicationhost.config,找到如下代码:<site name=&quo ...

    3. csharp:百度翻译

      参考:http://api.fanyi.baidu.com/api/trans/product/index http://developer.baidu.com/wiki/index.php?titl ...

    4. Studio for WPF:定制 C1WPFChart 标记

      在本篇文章中,我们将阐述如何定制 C1WPFChart 数据点的标记. 下面分步讲解实现: 1.定制自定义样式: 1: <Window.Resources> 2: <Style x: ...

    5. 解决Cannot change version of project facet Dynamic Web M

      dynamic web module 版本之间的区别: Servlet 3.0 December 2009 JavaEE 6, JavaSE 6 Pluggability, Ease of devel ...

    6. [PHP] java读取PHP接口数据

      和安卓是一个道理,读取json数据 PHP文件: <?php class Test{ //日志路径 const LOG_PATH="E:\phpServer\Apache\logs\\ ...

    7. JavaWebSession

      一.Session简单介绍 在WEB开发中,服务器可以为每个用户浏览器创建一个会话对象(session对象),注意:一个浏览器独占一个session对象(默认情况下).因此,在需要保存用户数据时,服务 ...

    8. [python学习笔记]Day3

      函数 如: def is_leapyear(year): if (year%4 == 0 and year%100 != 0) or (year%400 == 0): return True else ...

    9. Math对象常用方法汇总

      前几天翻阅<JavaScript权威指南>,看到了Math对象,于是汇总了一下. Math对象不同于其他的对象,它可以说是一个公共数学类,里面有很多数学方法,用于各种数学运算,但是Math ...

    10. CSS布局——横向两列布局

      1.固定两栏布局,使用float,注意对紧邻元素清除浮动影响.IE6在使用float布局同时设置横行margin的情况下会有双边距BUG,解决方案是加入_display:inline 代码如下: &l ...