背景
Read the fucking source code!--By 魯迅A picture is worth a thousand words.--By 高爾基
說明:
- KVM版本:5.9.1
- QEMU版本:5.0.0
- 工具:Source Insight 3.5, Visio
概述
- 從本文開始將研究一下virtio;
- 本文會從一個網卡虛擬化的例子來引入virtio,并從大體架構上進行介紹,有個宏觀的認識;
- 細節的闡述后續的文章再跟進;
1. 網卡
1.1 網卡作業原理
先來看一下網卡的架構圖(以Intel的82540為例):

- OSI模型,將網路通信中的資料流劃分為7層,最底下兩層為物理層和資料鏈路層,對應到網卡上就是
PHY和MAC控制器; PHY:對應物理層,負責通信設備與網路媒介(網線)之間的互通,它定義傳輸的光電信號、線路狀態等;MAC控制器:對應資料鏈路層,負責網路尋址、錯誤偵測和改錯等;PHY和MAC通過MII/GMII(Media Independent Interface)和MDIO(Management Data Input/output)相連;MII/GMII(Gigabit MII):由IEEE定義的以太網行業標準,與媒介無關,包含資料介面和管理介面,用于網路資料傳輸;MDIO介面,也是由IEEE定義,一種簡單的串行介面,通常用于控制收發器,并收集狀態資訊等;- 網卡通過PCI介面接入到PCI總線中,CPU可以通過訪問BAR空間來獲取資料包,也有網卡直接掛在記憶體總線上;
- 網卡還有一顆EEPROM芯片,用于記錄廠商ID、網卡的MAC地址、配置資訊等;
我們主要關心它的資料流,所以,看看它的作業原理吧:

- 網路包的接收與發送,都是典型的
生產者-消費者模型,簡單來說,CPU會在記憶體中維護兩個ring-buffer,分別代表RX和TX,ring-buffer中存放的是描述符,描述符里包含了一個網路包的資訊,包括了網路包地址、長度、狀態等資訊; ring-buffer有頭尾兩個指標,發送端為:TDH(Transmit Descriptor Head)和TDT(Transmit Descriptor Tail),同理,接收端為:RDH(Receive Descriptor Head)和RDT(Receive Descriptor Tail),在資料傳輸時,由CPU和網卡來分開更新頭尾指標的值,這也就是生產者更新尾指標,消費者更新頭指標,永遠都是消費者追著生產者跑,ring-buffer也就能轉起來了;- 資料的傳輸,使用DMA來進行搬運,CPU的拷貝顯然是一種低效的選擇,在之前PCI系列分析文章中分析過,PCI設備有自己的BAR空間,可以通過DMA在BAR空間和DDR空間內進行搬運;
1.2 Linux網卡驅動
在網卡資料流圖中,我們也基本看到了網卡驅動的影子,驅動與網卡之間是異步通信:

- 驅動程式負責硬體的初始化,以及TX和RX的
ring-buffer的創建及初始化; ndo_start_xmit負責將網路包通過驅動程式發送出去,netif_receive_skb負責通過驅動程式接收網路包資料;- 資料通過
struct sk_buff來存盤; - 發送資料時,CPU負責準備TX網路包資料以及描述符資源,更新TDT指標,并通知NIC可以進行資料發送了,當資料發送完畢后NIC通過中斷信號通知CPU進行下一個包的處理;
- 接收資料時,CPU負責準備RX的描述符資源,接收資料后,NIC通過中斷通知CPU,驅動程式通過調度內核執行緒來處理網路包資料,處理完成后進行下一包的接收;
2. 網卡全虛擬化
2.1 全虛擬化方案
全虛擬化方案,通過軟體來模擬網卡,Qemu+KVM的方案如下圖:

- Qemu中,設備的模擬稱為前端,比如
e1000,前端與后端通信,后端再與底層通信,我們來分別看看發送和接收處理的流程;
-
發送:
- Guest OS在準備好網路包資料以及描述符資源后,通過寫
TDT暫存器,觸發VM的例外退出,由KVM模塊接管; - KVM模塊回傳到Qemu后,Qemu會檢查VM退出的原因,比如檢查到
e1000暫存器訪問出錯,因而觸發e1000前端作業; - Qemu能訪問Guest OS中的地址內容,因而
e1000前端能獲取到Guest OS記憶體中的網路包資料,發送給后端,后端再將網路包資料發送給TUN/TAP驅動,其中TUN/TAP為虛擬網路設備; - 資料發送完成后,除了更新
ring-buffer的指標及描述符狀態資訊外,KVM模塊會模擬TX中斷; - 當再次進入VM時,Guest OS看到的是資料已經發送完畢,同時還需要進行中斷處理;
- Guest OS跑在vCPU執行緒中,發送資料時相當于會打算它的執行,直到處理完后再恢復回來,也就是一個嚴格的同步處理程序;
- Guest OS在準備好網路包資料以及描述符資源后,通過寫
-
接收:
- 當TUN/TAP有網路包資料時,可以通過讀取TAP檔案描述符來獲取;
- Qemu中的I/O執行緒會被喚醒并觸發后端處理,并將資料發送給
e1000前端; e1000前端將資料拷貝到Guest OS的物理記憶體中,并模擬RX中斷,觸發VM的退出,并由KVM模塊接管;- KVM模塊回傳到Qemu中進行處理后,并最終重新進入Guest OS的執行中斷處理;
- 由于有I/O執行緒來處理接收,能與vCPU執行緒做到并行處理,這一點與發送不太一樣;
2.2 弊端
- Guest OS去操作暫存器的時候,會觸發VM退出,涉及到KVM和Qemu的處理,并最終再次進入VM,overhead較大;
- 不管是在Host還是Guest中,中斷處理的開銷也很大,中斷涉及的暫存器訪問也較多;
- 軟體模擬的方案,吞吐量性能也比較低,時延較大;
所以,讓我們大聲喊出本文的主角吧!
3. 網卡半虛擬化
在進入主題前,先思考幾個問題:
- 全虛擬化下Guest可以重用驅動、網路協議堆疊等,但是在軟體全模擬的情況下,我們是否真的需要去訪問暫存器嗎(比如中斷處理),真的需要模擬網卡的自協商機制以及EEPROM等功能嗎?
- 是否真的需要模擬大量的硬體控制暫存器,而這些暫存器在軟體看來毫無意義?
- 是否真的需要生產者/消費者模型的通知機制(暫存器訪問、中斷)?
3.1 virtio
網卡的作業程序是一個生產者消費者模型,但是在前文中可以看出,在全虛擬化狀態下存在一些弊端,一個更好的生產者消費者模型應該遵循以下原則:
- 暫存器只被生產者使用去通知消費者
ring-buffer有資料(消費者可以繼續消費),而不再被用作存盤狀態資訊; - 中斷被消費者用來通知生產者
ring-buffer是非滿狀態(生產者可以繼續生產); - 生產者和消費者的狀態資訊應該存盤在記憶體中,這樣讀取狀態資訊時不需要VM退出,減少overhead;
- 生產者和消費者跑在不同的執行緒中,可以并行運行,并且盡可能多的處理任務;
- 非必要情況下,相互之間的通知應該避免使用;
- 忙等待(比如輪詢)不是一個可以接受的通用解決方案;
基于上述原則,我們來看看從特殊到一般的程序:

- 第一行是針對網卡的實作,第二行更進一步的抽象,第三行是通用的解決方案了,對I/O操作的虛擬化通用支持;
所以,在virtio的方案下,網卡的虛擬化看上去就是下邊這個樣子了:

- Hypervisor和Guest都需要實作virtio,這也就意味著Guest的設備驅動知道自己本身運行在VM中;
- virtio的目標是高性能的設備虛擬化,已經形成了規范來定義標準的訊息傳遞API,用于驅動和Hypervisor之間的傳遞,不同的驅動和前端可以使用相同的API;
- virtio驅動(比如圖中的virtio-net driver)的作業是將OS-specific的訊息轉換成virtio格式的訊息,而對端(virtio-net frontend)則是做相反的作業;
virtio的資料傳遞使用scatter-gather list(sg-list):

- sg-list是概念上的(物理)地址和長度對的鏈表,通常作為陣列來實作;
- 每個sg-list描述一個多塊的buffer,消費者用它來作為輸入或輸出操作;
virtio的核心是virtqueue(VQ)的抽象:
- VQ是佇列,sg-list會被Guest的驅動放置到VQ中,以供Hypervisor來消費;
- 輸出sg-list用于向Hypervisor來發送資料,而輸入sg-list用于接收Hypervisor的資料;
- 驅動可以使用一個或多個
virqueue;

- 當Guest的驅動產生一個sg-list時,呼叫
add_buf(SG, Token)入列; - Hypervisor進行出列操作,并消費sg-list,并將sg-list push回去;
- Guest通過
get_buf()進行清理作業;
上圖說的是資料流方向,那么事件的通知機制如下:

- 當Guest驅動想要Hypervisor消費sg-list時,通過VQ的
kick來進行通知; - 當Hypervisor通知Guest驅動已經消費完了,通過
interupt來進行通知;
大體的資料流和控制流講完了,細節實作后續再跟進了,
3.2 半虛擬化方案
那么,半虛擬化框架下的網卡虛擬化資料流是啥樣的呢?
- 發送

- 接收

相信你應該對virtio有個大概的了解了,好了,收工,
參考
《Virtio networking: A case study of I/O paravirtualization》
《 PCI/PCI-X Family of Gigabit Ethernet Controllers Software Developer's Manual》
歡迎關注個人公眾號,不定期更新Linux相關技術文章,

轉載請註明出處,本文鏈接:https://www.uj5u.com/caozuo/251919.html
標籤:Linux
上一篇:PX4加入新應用,顯示CMake Error at cmake/px4_add_module.cmake:205 (get_target_property)
