摘 要： 針對(duì)Linux驅(qū)動(dòng)程序開發(fā)缺少快速高效測(cè)試手段的問題，提出了精確硬件仿真、實(shí)時(shí)驅(qū)動(dòng)狀態(tài)控制和高效數(shù)據(jù)注入技術(shù)，并應(yīng)用到了無線驅(qū)動(dòng)程序開發(fā)實(shí)踐中。結(jié)果證明,該技術(shù)能夠快速、有效地查找出驅(qū)動(dòng)缺陷,提高驅(qū)動(dòng)程序的可靠性,達(dá)到了豐富驅(qū)動(dòng)開發(fā)測(cè)試手段、加快驅(qū)動(dòng)開發(fā)進(jìn)度的效果。
關(guān)鍵詞： Linux; WiFi; 驅(qū)動(dòng)程序; 測(cè)試
近年來，隨著WiFi技術(shù)的快速發(fā)展和普及，WiFi芯片及相關(guān)驅(qū)動(dòng)的設(shè)計(jì)開發(fā)已成為短距離無線通信領(lǐng)域的研究熱點(diǎn)。根據(jù)研究，在系統(tǒng)運(yùn)行過程中驅(qū)動(dòng)模塊的缺陷出現(xiàn)頻度是其他內(nèi)核模塊的3~7倍[1]，因此需要采用富有成效的開發(fā)測(cè)試方案和手段來提高驅(qū)動(dòng)程序的穩(wěn)定可靠性。本文針對(duì)Linux平臺(tái)下的WiFi無線驅(qū)動(dòng)程序的開發(fā)測(cè)試技術(shù)展開論述，對(duì)無線協(xié)議及驅(qū)動(dòng)開發(fā)測(cè)試技術(shù)進(jìn)行簡(jiǎn)單概述，介紹驅(qū)動(dòng)開發(fā)存在的開發(fā)測(cè)試手段匱乏問題，提出了硬件仿真、狀態(tài)控制和數(shù)據(jù)注入技術(shù)。
1 無線協(xié)議概述
WiFi技術(shù)經(jīng)過十幾年的快速發(fā)展，所支持的無線傳輸速率已從最初的1 Mb/s提升到1 Gb/s以上。WiFi技術(shù)主要涉及到網(wǎng)絡(luò)協(xié)議簇的最低兩層：物理層和媒體接入層，其典型的實(shí)現(xiàn)方案如圖1所示。在圖1中，物理層采用純硬件的實(shí)現(xiàn)形式，而媒體接入層則采用軟硬件聯(lián)合的實(shí)現(xiàn)方式：對(duì)于時(shí)延特性要求高的功能,采用協(xié)議硬件加速器來實(shí)現(xiàn);對(duì)于網(wǎng)絡(luò)管理等對(duì)時(shí)延要求不高的其他功能,采用驅(qū)動(dòng)程序來實(shí)現(xiàn)[2-3]。驅(qū)動(dòng)在執(zhí)行過程中需根據(jù)網(wǎng)絡(luò)當(dāng)前狀態(tài)對(duì)硬件進(jìn)行實(shí)時(shí)配置，其可靠性和穩(wěn)定性直接決定了整個(gè)WiFi芯片及網(wǎng)絡(luò)的可用性。
在驅(qū)動(dòng)程序的開發(fā)中需要結(jié)合快速、有效的開發(fā)測(cè)試技術(shù)，但Linux系統(tǒng)在驅(qū)動(dòng)開發(fā)方法和工具方面取得的進(jìn)展有限，目前主要采用printk信息打印、kgdb源碼調(diào)試及kdump崩潰存儲(chǔ)技術(shù)[4]。由于需要開發(fā)人員精通內(nèi)核底層數(shù)據(jù)結(jié)構(gòu)，技術(shù)門檻較高，導(dǎo)致只有printk打印方式得到了廣泛的應(yīng)用。對(duì)于非法內(nèi)存訪問、無效內(nèi)存管理及軟硬件響應(yīng)不匹配等常見的無線驅(qū)動(dòng)缺陷類型,當(dāng)缺陷發(fā)生時(shí)會(huì)導(dǎo)致內(nèi)核和系統(tǒng)的崩潰，而采用printk等技術(shù)很難查找出這些缺陷[1, 5]。而對(duì)于用戶空間驅(qū)動(dòng)程序、高層建模開發(fā)語言等新興的驅(qū)動(dòng)開發(fā)方案來說[1,5]，由于尚未提供完整的驅(qū)動(dòng)開發(fā)解決方案,且執(zhí)行效率較低，不適合實(shí)時(shí)吞吐量大的網(wǎng)絡(luò)驅(qū)動(dòng)程序的開發(fā)。
因此需要在現(xiàn)有驅(qū)動(dòng)開發(fā)測(cè)試手段的基礎(chǔ)上，提出新的高效的開發(fā)測(cè)試技術(shù)，以能夠快速全面查找和定位驅(qū)動(dòng)缺陷，提高驅(qū)動(dòng)程序的可靠性和穩(wěn)定性。
2 開發(fā)測(cè)試方案
無線驅(qū)動(dòng)程序需要實(shí)現(xiàn)Linux系統(tǒng)對(duì)無線網(wǎng)絡(luò)的管理接口，必須與硬件實(shí)時(shí)交互。因此，無線驅(qū)動(dòng)程序的開發(fā)涉及到軟硬件聯(lián)合開發(fā)測(cè)試,其面臨的主要問題包括：
(1)硬件不可用。由于硬件開發(fā)周期長(zhǎng)，驅(qū)動(dòng)必須能夠在硬件尚不可用的情形下獨(dú)立開展開發(fā)和測(cè)試。
(2)聯(lián)合測(cè)試問題多且不易定位。在軟硬件聯(lián)合測(cè)試時(shí)，必須能夠快速定位出問題的位置是位于驅(qū)動(dòng)還是位于硬件部分。
(3)驅(qū)動(dòng)測(cè)試手段匱乏，開發(fā)效率低。這是驅(qū)動(dòng)程序開發(fā)所面臨的一個(gè)共同問題，必須提出一個(gè)行之有效的驅(qū)動(dòng)開發(fā)測(cè)試方案來加快驅(qū)動(dòng)的開發(fā)進(jìn)程。
針對(duì)上述問題，在實(shí)際的無線驅(qū)動(dòng)開發(fā)過程中，本文提出了以下幾種開發(fā)測(cè)試技術(shù)：
(1)精確硬件仿真。為了解決硬件尚不可用的問題，編寫了可精確模擬硬件的接口及行為的內(nèi)核仿真模塊，提供了對(duì)硬件接口、硬件協(xié)議加速器和基帶的精確模擬。具體來說，模擬的功能包括硬件中斷的產(chǎn)生和處理、數(shù)據(jù)的發(fā)送和接收、硬件發(fā)送隊(duì)列的管理，以及對(duì)硬件寄存器和存儲(chǔ)區(qū)的模擬等。除了模擬硬件正常工作時(shí)的場(chǎng)景，還可以模擬硬件在實(shí)際工作中可能會(huì)產(chǎn)生的各種錯(cuò)誤，進(jìn)而測(cè)試軟件驅(qū)動(dòng)模塊在硬件發(fā)生異常時(shí)的行為及穩(wěn)定性，而這是在采用實(shí)際的硬件進(jìn)行測(cè)試時(shí)很難做到的。通過采用精確硬件仿真技術(shù)，使得無線驅(qū)動(dòng)程序代碼在與實(shí)際的硬件聯(lián)合測(cè)試時(shí)只需要進(jìn)行少量修改，甚至不需要修改也能夠正常運(yùn)行。
(2)實(shí)時(shí)驅(qū)動(dòng)狀態(tài)控制。無線協(xié)議本質(zhì)上是一個(gè)FSM有限狀態(tài)機(jī)，相應(yīng)的驅(qū)動(dòng)程序也被設(shè)計(jì)為一個(gè)基于事件-消息驅(qū)動(dòng)的系統(tǒng)：根據(jù)最新發(fā)生的事件或接收到的消息確定下一步的行為和狀態(tài)。如果能夠?qū)︱?qū)動(dòng)程序的狀態(tài)進(jìn)行控制，能夠?qū)Ⅱ?qū)動(dòng)設(shè)置為任意的狀態(tài)，就可以遍歷驅(qū)動(dòng)程序的狀態(tài)進(jìn)行測(cè)試。為了實(shí)現(xiàn)驅(qū)動(dòng)狀態(tài)控制功能，在保持驅(qū)動(dòng)程序具有良好的層次結(jié)構(gòu)和清晰的狀態(tài)轉(zhuǎn)移過程的同時(shí)，增加了驅(qū)動(dòng)狀態(tài)控制模塊，能夠按需控制和設(shè)置驅(qū)動(dòng)的當(dāng)前狀態(tài)及所需數(shù)據(jù)。在具體實(shí)現(xiàn)時(shí)，該控制功能由位于用戶空間的控制程序和位于內(nèi)核空間的控制模塊組成，采用netlink接口作為兩者之間的通信接口，運(yùn)行自定義的接口通信協(xié)議。在測(cè)試時(shí)，控制模塊根據(jù)所接收到的控制程序的設(shè)置命令，將驅(qū)動(dòng)程序配置為指定的運(yùn)行狀態(tài)，并全面收集驅(qū)動(dòng)程序的最新事件和消息，并及時(shí)反饋給控制程序，從而實(shí)現(xiàn)了所需的實(shí)時(shí)驅(qū)動(dòng)狀態(tài)控制功能。
(3)高效用戶態(tài)數(shù)據(jù)的注入和輸出。在對(duì)無線驅(qū)動(dòng)進(jìn)行測(cè)試時(shí)，除了需要實(shí)時(shí)控制驅(qū)動(dòng)程序的狀態(tài)，還需要向驅(qū)動(dòng)注入大量的測(cè)試數(shù)據(jù)。常規(guī)的方法是通過ioctl接口傳輸配置命令，通過用戶空間的測(cè)試程序發(fā)送和接收待測(cè)數(shù)據(jù)包。該方法存在的問題:一是數(shù)據(jù)傳輸效率低，二是開發(fā)人員可控的因素較少，很難構(gòu)造出復(fù)雜多變及特殊的測(cè)試數(shù)據(jù)。為了解決上述問題，本文提出了一種高效的用戶態(tài)數(shù)據(jù)的注入和輸出解決方案。在該方案中，由位于用戶空間的測(cè)試程序產(chǎn)生符合各種測(cè)試需求的測(cè)試數(shù)據(jù)，通過netlink接口直接注入到位于內(nèi)核空間的無線驅(qū)動(dòng)程序中；由位于內(nèi)核空間的測(cè)試代理模塊及時(shí)收集驅(qū)動(dòng)的測(cè)試結(jié)果及相關(guān)數(shù)據(jù)，并通過netlink接口直接輸出到用戶空間的測(cè)試程序。采用本方案，可以構(gòu)造出任意格式的測(cè)試數(shù)據(jù)，覆蓋各種測(cè)試功能，可以編寫功能強(qiáng)大的用戶空間分析測(cè)試程序?qū)y(cè)試數(shù)據(jù)和結(jié)果進(jìn)行分析，快速發(fā)現(xiàn)和定位驅(qū)動(dòng)缺陷。
為了實(shí)現(xiàn)上述開發(fā)方案，需要在既有的無線驅(qū)動(dòng)模塊的基礎(chǔ)上增加如圖2所示的其他內(nèi)核模塊和用戶程序。在圖2中，既有的驅(qū)動(dòng)程序模塊實(shí)現(xiàn)了無線協(xié)議的功能；新增的位于用戶空間的控制程序?qū)崟r(shí)控制和監(jiān)視驅(qū)動(dòng)狀態(tài)、生成各種測(cè)試數(shù)據(jù)并分析驅(qū)動(dòng)的處理結(jié)果；新增的內(nèi)核控制模塊是控制程序的內(nèi)核代理，負(fù)責(zé)根據(jù)控制程序的命令設(shè)置驅(qū)動(dòng)的狀態(tài)、將測(cè)試數(shù)據(jù)注入到驅(qū)動(dòng)中，并收集驅(qū)動(dòng)的狀態(tài)和數(shù)據(jù)上傳給控制程序進(jìn)行分析處理；新增的硬件仿真模塊提供對(duì)硬件的精確模擬功能。通過在既有的驅(qū)動(dòng)模塊基礎(chǔ)上增加上述軟件模塊，可以在硬件尚不具備的情況下獨(dú)立開展無線驅(qū)動(dòng)程序的開發(fā)測(cè)試工作。
3 測(cè)試結(jié)果
在進(jìn)行驅(qū)動(dòng)開發(fā)時(shí)，為了避免由驅(qū)動(dòng)缺陷導(dǎo)致的系統(tǒng)崩潰時(shí)調(diào)試信息丟失的問題，采用了如圖3所示的雙機(jī)遠(yuǎn)程開發(fā)測(cè)試方案。在圖3中，將被測(cè)機(jī)器(運(yùn)行無線驅(qū)動(dòng)程序的機(jī)器)通過有線網(wǎng)絡(luò)連接到遠(yuǎn)程控制機(jī)器，與圖2采用的單機(jī)開發(fā)測(cè)試方案相比，將位于用戶空間的控制程序遷移到遠(yuǎn)程控制機(jī)器，而用遠(yuǎn)程控制程序代理守護(hù)進(jìn)程來代替控制程序，該代理負(fù)責(zé)轉(zhuǎn)發(fā)遠(yuǎn)程控制程序發(fā)送的設(shè)置命令和測(cè)試數(shù)據(jù)到內(nèi)核控制模塊，收集內(nèi)核控制模塊發(fā)送的狀態(tài)信息和測(cè)試結(jié)果再轉(zhuǎn)發(fā)給遠(yuǎn)程的控制程序。采用這種開發(fā)配置方案，由于遠(yuǎn)程控制機(jī)器與被測(cè)機(jī)器相互獨(dú)立，當(dāng)驅(qū)動(dòng)程序在運(yùn)行過程中由于缺陷導(dǎo)致被測(cè)機(jī)器崩潰時(shí)，則可以在被測(cè)機(jī)器重新啟動(dòng)的同時(shí)，在遠(yuǎn)程控制機(jī)器上分析驅(qū)動(dòng)程序輸出的運(yùn)行期信息和調(diào)試日志，確定系統(tǒng)崩潰時(shí)驅(qū)動(dòng)程序的狀態(tài)及相關(guān)的數(shù)據(jù)，查找出缺陷并及時(shí)更正，然后通過svn下載到被測(cè)機(jī)器運(yùn)行測(cè)試，從而可以節(jié)約驅(qū)動(dòng)調(diào)試時(shí)間，加快驅(qū)動(dòng)缺陷修復(fù)的進(jìn)度。
采用本文介紹的驅(qū)動(dòng)程序開發(fā)技術(shù)和方案，經(jīng)過4個(gè)多月的開發(fā)測(cè)試，成功開發(fā)出了一款滿足課題需求的無線驅(qū)動(dòng)程序，其中和硬件聯(lián)合測(cè)試的時(shí)間僅用了一個(gè)月左右，80%以上的驅(qū)動(dòng)缺陷都已經(jīng)在軟硬件聯(lián)合測(cè)試之前就被找到和得以解決。在無線驅(qū)動(dòng)的開發(fā)過程中，統(tǒng)計(jì)出來的驅(qū)動(dòng)缺陷的類別及該缺陷所占的比例總結(jié)如表1所示。
在驅(qū)動(dòng)開發(fā)過程中發(fā)現(xiàn)，由于涉及模塊較多、軟件和硬件單獨(dú)開發(fā)等原因，出現(xiàn)了較多的軟件模塊間及軟硬件間定義不一致的問題，這類問題以及較為普遍的空指針問題，容易導(dǎo)致地址非法訪問而系統(tǒng)崩潰。這些問題均通過本文所提出的數(shù)據(jù)注入和驅(qū)動(dòng)狀態(tài)遠(yuǎn)程輸出技術(shù)得以發(fā)現(xiàn)和解決，并通過實(shí)時(shí)驅(qū)動(dòng)狀態(tài)控制技術(shù)發(fā)現(xiàn)和解決了程序邏輯錯(cuò)誤類型的缺陷。硬件本身所具有的缺陷占到了1/4以上，通過對(duì)硬件進(jìn)行精確全面的仿真，驅(qū)動(dòng)程序代碼基本上不需要做過多的改動(dòng)，即可在真正的硬件上通過測(cè)試，并在輔助硬件開發(fā)人員定性和定位硬件缺陷方面發(fā)揮了較大的作用。
在Linux驅(qū)動(dòng)程序開發(fā)過程中，由于高效的開發(fā)測(cè)試手段的匱乏，使得驅(qū)動(dòng)程序的開發(fā)變得緩慢和困難。本文提出了硬件仿真、狀態(tài)控制和數(shù)據(jù)注入等技術(shù)，可以有效地輔助完成驅(qū)動(dòng)的開發(fā)測(cè)試工作，快速高效地查找出驅(qū)動(dòng)缺陷，加快驅(qū)動(dòng)開發(fā)的進(jìn)度，在驅(qū)動(dòng)程序開發(fā)測(cè)試方面具有良好的借鑒意義。
參考文獻(xiàn)
[1] 秦瑩,戴華東,顏躍進(jìn).單一內(nèi)核操作系統(tǒng)設(shè)備驅(qū)動(dòng)程序缺陷研究[J]. 計(jì)算機(jī)科學(xué),2011,38(4):182-184.
[2] 潘志鵬,吳斌,楊坤,等.基于AHB總線的靈活可配置WLAN芯片架構(gòu)設(shè)計(jì)[J]. 電子技術(shù)應(yīng)用,2012,38(7):62-65.
[3] 何柳,程鵬,陳勇,等. 802.11網(wǎng)卡Windows驅(qū)動(dòng)的設(shè)計(jì)與實(shí)現(xiàn)[J].微型機(jī)與應(yīng)用,2013,32(4):3-5.
[4] VENKATESWARAN S.精通Linux設(shè)備驅(qū)動(dòng)程序開發(fā)[M].宋寶華,譯. 北京:人民郵電出版社,2010.
[5] 劉軍衛(wèi), 李曦, 陳香蘭,等. 用戶態(tài)驅(qū)動(dòng)框架的研究與實(shí)現(xiàn)[J].計(jì)算機(jī)系統(tǒng)應(yīng)用,2011,20(11):67-71.