動(dòng)加載全鏈路：HDF_INIT、HCS 與 Bind/Init)
翻內(nèi)核日志的時(shí)候,經(jīng)常能看到這么一行:hdf_devhost: [HdfDriverLoaderLoadNode] load driver xxx success。不少人第一次見到會(huì)以為 HDF 只是個(gè)日志前綴,實(shí)際從內(nèi)核啟動(dòng)到驅(qū)動(dòng)的Init被真正調(diào)用,中間隔著一整套注冊(cè)、匹配、綁定、發(fā)布服務(wù)的鏈路,任何一環(huán)對(duì)不上,驅(qū)動(dòng)就是靜悄悄不加載。這篇是鴻蒙源碼分析系列的第二十六篇,我打算把 HDF(Hardware Driver Foundation)從驅(qū)動(dòng)入口到服務(wù)發(fā)布這條線從頭捋一遍,重點(diǎn)落在源碼調(diào)用鏈上,而不是停留在API 怎么調(diào)的層面。如果你正在寫內(nèi)核態(tài)外設(shè)驅(qū)動(dòng),或者被驅(qū)動(dòng)明明編進(jìn)去了卻沒有任何日志這種問題卡過,這篇內(nèi)容應(yīng)該能幫你把鏈路補(bǔ)全。1. 先看清 HDF 在內(nèi)核啟動(dòng)鏈條里的站位1.1 一條驅(qū)動(dòng)加載日志能反推出的調(diào)用棧大部分排查都是從日志開始的。內(nèi)核起來之后,hdf_devhost和hdf_core這兩類 tag 的打印密度會(huì)明顯上升,順序大致是這樣的:先出現(xiàn) HDF 框架自身的初始化打印,然后是 host 服務(wù)的創(chuàng)建,接著是逐個(gè)設(shè)備的加載日志,最后才是服務(wù)發(fā)布成功的提示。這個(gè)順序不是隨便排的,它對(duì)應(yīng)著一條實(shí)打?qū)嵉恼{(diào)用鏈。我一般會(huì)按這個(gè)思路反推:內(nèi)核啟動(dòng)階段先跑HdfCoreInit(不同版本里可能是DeviceManagerInit之類,名字會(huì)漂移),它做的第一件正經(jīng)事是把散落在各段的驅(qū)動(dòng)入口收集起來,構(gòu)建成一張可供查找的驅(qū)動(dòng)表;第二步是解析編譯期就固化好的 HCS 配置,拿到 host 列表和設(shè)備列表;第三步是為每個(gè) host 拉起一個(gè) devhost 服務(wù),由服務(wù)去逐個(gè)驅(qū)動(dòng)它名下的設(shè)備;第四步才是匹配驅(qū)動(dòng)、Bind、Init、發(fā)布服務(wù)?？辞暹@條鏈路的價(jià)值在于:日志停在哪個(gè)階段,問題基本就鎖定在哪一段。停在 host 創(chuàng)建之前,大概率是配置沒被解析到;停在設(shè)備加載階段但沒到Bind,那就是moduleName沒匹配上;進(jìn)了Init但沒出來,那是驅(qū)動(dòng)自身邏輯卡住了。這套判斷方式比盲目加打印高效得多。1.2 HDF 替內(nèi)核擋住了哪些重復(fù)勞動(dòng)在沒有驅(qū)動(dòng)框架的年代,每寫一個(gè)外設(shè)驅(qū)動(dòng),作者都要自己處理什么時(shí)候注冊(cè)、注冊(cè)到哪、別人怎么找到我這三件事。設(shè)備樹、platform 總線這些機(jī)制解決了一部分,但跨內(nèi)核態(tài)和用戶態(tài)的驅(qū)動(dòng)模型、服務(wù)發(fā)布、客戶端尋址這些還是各寫各的。HDF 的核心價(jià)值就是把這幾件事抽象成統(tǒng)一的模型:驅(qū)動(dòng)只聲明一個(gè)入口結(jié)構(gòu)體,把Bind、Init、Release三個(gè)函數(shù)指針填好,剩下的注冊(cè)時(shí)機(jī)、查找匹配、服務(wù)發(fā)布全交給框架。代價(jià)是你必須遵守框架約定的命名和配置規(guī)則,一旦某個(gè)字段寫岔了,框架不會(huì)報(bào)錯(cuò),只會(huì)安靜地跳過你這個(gè)設(shè)備——這也是新手最容易栽的地方。我個(gè)人的判斷是,HDF 更接近一種驅(qū)動(dòng)運(yùn)行時(shí) 服務(wù)注冊(cè)中心的組合體,而不是單純的驅(qū)動(dòng)加載器。理解這一點(diǎn),后面看源碼時(shí)就不會(huì)困惑為什么一堆代碼在做服務(wù)管理而不是驅(qū)動(dòng)加載。1.3 內(nèi)核態(tài)和用戶態(tài)是兩套加載器,別混著看這點(diǎn)必須單獨(dú)拎出來講,因?yàn)樗苯記Q定了你調(diào)試時(shí)該看哪份代碼。內(nèi)核態(tài)驅(qū)動(dòng)的加載依賴鏈接期的段收集,驅(qū)動(dòng)入口是在編譯鏈接階段就被塞進(jìn)鏡像的,啟動(dòng)時(shí)由內(nèi)核代碼直接遍歷調(diào)用;用戶態(tài)驅(qū)動(dòng)則是運(yùn)行期通過動(dòng)態(tài)加載的方式把.so拉起來,再調(diào)用里面的入口函數(shù)。兩者的入口結(jié)構(gòu)體長(zhǎng)得一樣,但入口怎么被找到這件事完全不同。維度內(nèi)核態(tài)驅(qū)動(dòng)用戶態(tài)驅(qū)動(dòng)入口發(fā)現(xiàn)方式鏈接期段收集,啟動(dòng)時(shí)遍歷運(yùn)行期動(dòng)態(tài)加載模塊加載失敗表現(xiàn)無日志,設(shè)備被跳過通常有加載失敗打印調(diào)試手段內(nèi)核日志、串口用戶態(tài)日志、進(jìn)程調(diào)試配置策略字段policy 通常為 1policy 通常為 2如果你在調(diào)用戶態(tài)驅(qū)動(dòng),卻一直盯著內(nèi)核側(cè)的注冊(cè)代碼找問題,那基本上是在浪費(fèi)時(shí)間。反過來也一樣。先確認(rèn)policy字段的值,再?zèng)Q定去看哪套加載邏輯,這是我吃過虧之后養(yǎng)成的習(xí)慣。2. HDF_INIT 宏背后的段注冊(cè)機(jī)制2.1 宏展開之后到底發(fā)生了什么HDF 驅(qū)動(dòng)的入口寫法很固定,幾乎每個(gè)示例都長(zhǎng)這樣:struct HdfDriverEntry g_sampleDriverEntry { .moduleVersion 1, .moduleName sample_driver, .Bind SampleDriverBind, .Init SampleDriverInit, .Release SampleDriverRelease, }; HDF_INIT(g_sampleDriverEntry);很多人寫到這就結(jié)束了,從沒想過HDF_INIT到底做了什么。它做的事其實(shí)很樸素:把驅(qū)動(dòng)入口的指針放進(jìn)一個(gè)專門的段(section)里,并且告訴編譯器這個(gè)符號(hào)不能被優(yōu)化掉。展開后的形式大致是這樣(具體宏名和段名在不同分支上有差異,思路是一致的):#define HDF_INIT(module) \ static const struct HdfDriverEntry *g_hdfDriverEntry##module \ __attribute__((used, section(.hdf_init))) moduleused屬性很關(guān)鍵。沒有它,編譯器看到這個(gè)變量沒人引用,可能在優(yōu)化階段直接刪掉,驅(qū)動(dòng)入口就憑空消失了。section屬性則把它歸到一個(gè)自定義段里,方便鏈接腳本統(tǒng)一處理。2.2 鏈接腳本把這段拼成了連續(xù)數(shù)組單個(gè)驅(qū)動(dòng)入口塞進(jìn).hdf_init段沒什么意義,真正的魔法在鏈接腳本里。鏈接階段會(huì)把所有目標(biāo)文件里同名段的內(nèi)容拼在一起,形成一個(gè)連續(xù)的區(qū)塊,并且用兩個(gè)符號(hào)標(biāo)出起止地址:__hdf_init_start .; KEEP(*(.hdf_init)) __hdf_init_end .;有了起止地址,框架遍歷就變得極其簡(jiǎn)單:拿到起始指針,按指針大小逐個(gè)往后走,直到結(jié)束地址。每個(gè)元素都是一個(gè)HdfDriverEntry *,取出來就是完整的驅(qū)動(dòng)描述。這個(gè)過程不依賴任何運(yùn)行時(shí)分配,也不需要提前知道有多少個(gè)驅(qū)動(dòng)。KEEP這個(gè)指令同樣不能少,它防止鏈接器做垃圾回收時(shí)把這段丟掉。我見過有人自己改裁剪配置,結(jié)果.hdf_init段被當(dāng)成無用段清掉,現(xiàn)象就是驅(qū)動(dòng)代碼明明在,但完全沒有加載痕跡,排查了大半天才想到是鏈接腳本的問題。2.3 為什么不用一張全局驅(qū)動(dòng)表看到這里你可能會(huì)問,為什么不維護(hù)一個(gè)全局?jǐn)?shù)組,讓每個(gè)驅(qū)動(dòng)自己去注冊(cè)?答案在于解耦和裁剪。用全局表的話,核心代碼就得知道所有驅(qū)動(dòng)的名字,每加一個(gè)驅(qū)動(dòng)都要改核心文件,這在有幾十上百個(gè)驅(qū)動(dòng)的系統(tǒng)里是不可接受的。段收集的方式讓驅(qū)動(dòng)和核心完全解耦:驅(qū)動(dòng)只聲明自己的入口,核心只負(fù)責(zé)遍歷,雙方互不認(rèn)識(shí)。裁剪時(shí)把某個(gè)驅(qū)動(dòng)從編譯列表里去掉,段里的內(nèi)容自然就少了,不需要?jiǎng)雍诵囊恍写a。另一個(gè)好處是初始化順序確定。段內(nèi)元素的排列順序跟鏈接順序相關(guān),雖然不應(yīng)該依賴這個(gè)順序做業(yè)務(wù)邏輯,但至少它不會(huì)像注冊(cè)表那樣受到運(yùn)行時(shí)調(diào)度影響。這一點(diǎn)在調(diào)試時(shí)序相關(guān)問題時(shí)挺有用,至少你能確定遍歷順序是穩(wěn)定的。3. 驅(qū)動(dòng)模塊從 HCS 配置到 Bind/Init 的完整鏈路3.1 device_info.hcs 里三個(gè)必須對(duì)齊的字段配置文件和驅(qū)動(dòng)代碼之間的耦合點(diǎn),集中在三個(gè)字段上:moduleName、serviceName、deviceName。典型配置長(zhǎng)這樣:device_sample :: device { device0 :: deviceNode { policy 2; priority 100; preload 0; permission 0664; moduleName sample_driver; serviceName sample_service; } }moduleName必須和驅(qū)動(dòng)入口里的moduleName完全一致,大小寫都不能差。這是匹配驅(qū)動(dòng)的唯一依據(jù),匹配不上就是直接跳過,連個(gè)錯(cuò)誤日志都未必有。serviceName是發(fā)布服務(wù)時(shí)對(duì)外暴露的名字,客戶端靠它來尋址。policy決定服務(wù)發(fā)布的位置,0表示不發(fā)布,1表示內(nèi)核態(tài)發(fā)布,2表示用戶態(tài)發(fā)布。priority和preload影響加載時(shí)序。preload通常表示是否在啟動(dòng)階段就加載,priority決定了同 host 內(nèi)多個(gè)設(shè)備的加載先后。如果你寫的驅(qū)動(dòng)依賴另一個(gè)驅(qū)動(dòng)提供的服務(wù),這兩個(gè)字段就得認(rèn)真填,否則可能出現(xiàn)服務(wù)還沒發(fā)布,消費(fèi)者就去找了的情況。3.2 驅(qū)動(dòng)加載器的逐步拆解以用戶態(tài)加載為例,核心函數(shù)是HdfDriverLoaderLoadNode,它的職責(zé)是把一個(gè)設(shè)備節(jié)點(diǎn)和它的驅(qū)動(dòng)入口綁定起來。拆開看主要做四件事:根據(jù)moduleName在已經(jīng)注冊(cè)的驅(qū)動(dòng)表里查找對(duì)應(yīng)的HdfDriverEntry;查到了就把驅(qū)動(dòng)的模塊句柄(用戶態(tài)下是動(dòng)態(tài)庫(kù)句柄)掛到設(shè)備節(jié)點(diǎn)上;分配并初始化HdfDeviceObject,把配置里的屬性填進(jìn)去;依次調(diào)用driverEntry-Bind和driverEntry-Init,任一返回非零都視為失敗并觸發(fā)回滾。第一步找不到就直接返回了,這是最常見的失敗點(diǎn)。第二步在用戶態(tài)下可能涉及動(dòng)態(tài)庫(kù)加載失敗,比如路徑不對(duì)、依賴缺失。第三步和第四步是驅(qū)動(dòng)作者自己代碼最容易出問題的地方。這里有個(gè)細(xì)節(jié)要注意:Bind和Init的失敗處理不一樣。Bind失敗通常意味著這個(gè)設(shè)備壓根不該由這個(gè)驅(qū)動(dòng)接管,框架會(huì)把設(shè)備節(jié)點(diǎn)清理掉;Init失敗則可能已經(jīng)分配了部分資源,驅(qū)動(dòng)自己有責(zé)任在返回失敗前把資源釋放干凈,框架不會(huì)替你兜底。3.3 Bind 和 Init 分成兩段不是沒道理的新手經(jīng)常問,既然Bind里能拿到HdfDeviceObject,Init里也能拿,那為什么不分一個(gè)函數(shù)搞定?我的理解是這樣:Bind做的是接線,把設(shè)備對(duì)象、服務(wù)接口、驅(qū)動(dòng)私有數(shù)據(jù)之間的關(guān)系建立起來,這個(gè)動(dòng)作應(yīng)該是輕量的、幾乎不會(huì)失敗的;Init做的是通電,可能涉及硬件復(fù)位、時(shí)鐘配置、中斷注冊(cè)這些耗時(shí)甚至可能失敗的操作。分開的好處是失敗邊界清晰:接線階段失敗,說明模型層面就不匹配,直接放棄;通電階段失敗,說明設(shè)備存在但起不來,可以按需重試或者降級(jí)。另一個(gè)現(xiàn)實(shí)原因是服務(wù)發(fā)布的時(shí)機(jī)。有些驅(qū)動(dòng)希望服務(wù)在Bind階段就已經(jīng)可見,這樣別的模塊可以在Init之前就訂閱到它。把這兩件事拆開,框架就有了插入服務(wù)發(fā)布邏輯的空間,不用把所有邏輯壓在最后一個(gè)回調(diào)里。4. HdfDeviceObject 與節(jié)點(diǎn)對(duì)象模型4.1 三個(gè)結(jié)構(gòu)體的掛載關(guān)系HDF 里的對(duì)象模型不算復(fù)雜,核心是三個(gè)結(jié)構(gòu)體層層嵌套:DevHostService管一批設(shè)備,HdfDevice代表一個(gè)邏輯設(shè)備,HdfDeviceNode代表設(shè)備下的一個(gè)節(jié)點(diǎn)實(shí)例。簡(jiǎn)化后的關(guān)系大致是這樣:struct DevHostService { struct HdfSListNode node; struct HdfSList devices; ... }; struct HdfDevice { struct HdfSListNode node; struct HdfSListNode serviceList; struct DevHostService *hostService; ... }; struct HdfDeviceNode { struct HdfSListNode entry; struct HdfDeviceObject deviceObject; struct HdfDevice *device; struct HdfDriverEntry *driverEntry; ... };HdfDeviceNode里內(nèi)嵌了一個(gè)HdfDeviceObject,這個(gè)對(duì)象才是真正傳給Bind和Init的參數(shù)。剩下的device和driverEntry是框架自己用的,用來做反向查找和資源釋放。理解這個(gè)嵌套關(guān)系,看Release的調(diào)用順序時(shí)就不會(huì)暈。4.2 private 數(shù)據(jù)該存在哪HdfDeviceObject里有一個(gè)用于掛私有數(shù)據(jù)的指針,驅(qū)動(dòng)的運(yùn)行時(shí)狀態(tài)基本都放在這里。Bind階段分配,Release階段釋放,這是標(biāo)準(zhǔn)做法。這里有個(gè)坑值得單獨(dú)說:私有數(shù)據(jù)的生命周期跟設(shè)備節(jié)點(diǎn)綁定,不是跟驅(qū)動(dòng)綁定。同一個(gè)驅(qū)動(dòng)可能被多個(gè)設(shè)備節(jié)點(diǎn)復(fù)用,如果你把狀態(tài)寫成全局變量,多個(gè)設(shè)備就會(huì)互相踩。我見過不止一個(gè)驅(qū)動(dòng)因?yàn)檫@個(gè)問題,單設(shè)備測(cè)試一切正常,多設(shè)備一上就行為詭異。正確的做法是把所有狀態(tài)掛在deviceObject-priv上,在Bind里根據(jù)節(jié)點(diǎn)情況分別初始化。還有一個(gè)更隱蔽的點(diǎn):Bind里分配失敗時(shí),Release不一定會(huì)被調(diào)用。所以Bind內(nèi)部的錯(cuò)誤分支需要自己清理已分配的部分,不能全指望Release兜底。4.3 引用計(jì)數(shù)與釋放順序Release觸發(fā)的前提是引用計(jì)數(shù)歸零。設(shè)備節(jié)點(diǎn)被移除或者服務(wù)被解綁時(shí),計(jì)數(shù)減一,減到零才走釋放流程。這個(gè)設(shè)計(jì)的目的是防止正在被使用的服務(wù)被提前銷毀。但引用計(jì)數(shù)也帶來一個(gè)常見問題:如果某處訂閱了服務(wù)卻忘了取消訂閱,引用計(jì)數(shù)永遠(yuǎn)不歸零,Release就永遠(yuǎn)不執(zhí)行,資源泄漏就成了慢性病。排查這類問題,我通常會(huì)在Release里加一條日志,跑一遍完整流程后看看日志有沒有出現(xiàn),沒出現(xiàn)就說明有地方?jīng)]釋放引用。釋放順序同樣講究。一般約定是先停服務(wù)、再釋放私有數(shù)據(jù)、最后清對(duì)象。順序反了的話,可能出現(xiàn)釋放邏輯里還在訪問已經(jīng)被銷毀的服務(wù)指針,這類問題往往不會(huì)當(dāng)場(chǎng)崩,而是在壓力測(cè)試時(shí)隨機(jī)炸,非常難定位。5. 服務(wù)化:從 Publish 到客戶端 Bind5.1 HdfServiceObserver 解決的時(shí)序問題服務(wù)發(fā)布和服務(wù)訂閱天然存在時(shí)序矛盾:消費(fèi)者可能比生產(chǎn)者先啟動(dòng)。如果只有發(fā)布這一個(gè)動(dòng)作,先啟動(dòng)的消費(fèi)者就永遠(yuǎn)等不到服務(wù)了。HDF 引入觀察者(HdfServiceObserver)來解決這個(gè)問題。發(fā)布側(cè)發(fā)布服務(wù)時(shí)會(huì)通知觀察者,訂閱側(cè)訂閱時(shí)也會(huì)通知觀察者,觀察者負(fù)責(zé)把兩邊對(duì)上:如果發(fā)布時(shí)已經(jīng)有訂閱者,立刻通知;如果訂閱時(shí)服務(wù)還沒發(fā)布,記錄下來等發(fā)布時(shí)再通知。這是個(gè)很經(jīng)典的發(fā)布訂閱模式,但放到驅(qū)動(dòng)場(chǎng)景里價(jià)值更大,因?yàn)轵?qū)動(dòng)的啟動(dòng)順序并不完全可控。實(shí)際項(xiàng)目中,這個(gè)機(jī)制能省掉大量延遲啟動(dòng)的臨時(shí)方案。以前做驅(qū)動(dòng)集成,經(jīng)常被迫在消費(fèi)側(cè)寫個(gè)循環(huán)重試等對(duì)方起來,現(xiàn)在交給觀察者就行了。不過要注意,通知回調(diào)里不要做耗時(shí)操作,否則會(huì)拖慢整個(gè)發(fā)布流程。5.2 客戶端拿到的到底是什么客戶端通過HdfIoServiceBind之類的方法拿服務(wù),拿到的并不是服務(wù)實(shí)現(xiàn)本身,而是一個(gè)代理對(duì)象。這個(gè)代理內(nèi)部封裝了尋址信息和調(diào)用通道,客戶端通過它調(diào)用服務(wù)方法。理解這一點(diǎn)的意義在于:代理對(duì)象的創(chuàng)建和銷毀是有成本的,不要在循環(huán)里反復(fù) Bind 和釋放。我一般會(huì)在模塊初始化時(shí) Bind 一次,把代理緩存起來,模塊銷毀時(shí)統(tǒng)一釋放。這樣既省開銷,也避免引用計(jì)數(shù)加加減減帶來的邊界問題。操作典型時(shí)機(jī)注意事項(xiàng)Bind 服務(wù)模塊初始化緩存代理,避免重復(fù)綁定調(diào)用服務(wù)方法業(yè)務(wù)邏輯中注意返回值,別忽略失敗釋放服務(wù)模塊銷毀確保與綁定次數(shù)一一對(duì)應(yīng)5.3 同進(jìn)程調(diào)用和跨進(jìn)程調(diào)用的差異同一個(gè) host 內(nèi)的服務(wù)調(diào)用,框架可以做優(yōu)化,走的是相對(duì)輕量的路徑;跨 host 或者跨內(nèi)核態(tài)用戶態(tài)的調(diào)用,則要經(jīng)過完整的進(jìn)程間通信路徑。這個(gè)差異在性能敏感場(chǎng)景下很關(guān)鍵。如果你的驅(qū)動(dòng)每秒要處理大量調(diào)用,又恰好跨了進(jìn)程邊界,那每次調(diào)用的開銷都不能忽略。這種情況下,合理的做法是把批量操作合并成一個(gè)接口,減少調(diào)用次數(shù),而不是靠?jī)?yōu)化單次調(diào)用來解決。另外,跨進(jìn)程調(diào)用對(duì)參數(shù)的要求更嚴(yán)格,不是所有類型都能直接傳。序列化和反序列化的過程會(huì)消耗額外資源,大塊數(shù)據(jù)的傳遞要謹(jǐn)慎設(shè)計(jì)。我在做過的一個(gè)采集類驅(qū)動(dòng)里就吃過這個(gè)虧,最初設(shè)計(jì)成每次上報(bào)一個(gè)采樣點(diǎn),跨進(jìn)程開銷占了大頭,后來改成攢一批再上報(bào),整體開銷降了一個(gè)數(shù)量級(jí)。6. HCS 配置的編譯鏈路與運(yùn)行時(shí)解析6.1 編譯期把文本配置變成了什么HCS 是 HDF 的配置描述語言,語法上有點(diǎn)像簡(jiǎn)化版的 JSON,但它是編譯期處理而不是運(yùn)行時(shí)解析文本的。構(gòu)建系統(tǒng)里有一個(gè)hc-gen之類的工具,負(fù)責(zé)把.hcs源文件編譯成二進(jìn)制配置文件。為什么不在運(yùn)行時(shí)直接讀文本?答案還是啟動(dòng)性能。啟動(dòng)階段解析文本配置需要詞法語法分析,開銷不小,而且容易出錯(cuò)。預(yù)編譯成二進(jìn)制之后,運(yùn)行時(shí)只需要按內(nèi)存布局讀取,速度快得多,也避免了配置格式錯(cuò)誤引發(fā)的啟動(dòng)異常。代價(jià)是調(diào)試麻煩。配置改了之后必須重新編譯才會(huì)生效,直接改鏡像里的文件通常沒用。我剛開始接觸的時(shí)候,改完配置發(fā)現(xiàn)行為沒變,折騰半天才意識(shí)到配置是編進(jìn)鏡像的,得重新構(gòu)建。6.2 運(yùn)行時(shí)讀配置的兩種姿勢(shì)運(yùn)行時(shí)讀配置主要有兩種方式:一種是框架在加載設(shè)備時(shí)把屬性填進(jìn)HdfDeviceObject,驅(qū)動(dòng)直接取用;另一種是驅(qū)動(dòng)主動(dòng)調(diào)用配置讀取接口,按路徑去查具體字段。第一種適合配置量少、結(jié)構(gòu)固定的場(chǎng)景,moduleName、policy這些都屬于這一類。第二種適合配置項(xiàng)多、需要按需讀取的場(chǎng)景,比如某些參數(shù)只有特定硬件版本才用得上。用第二種的時(shí)候要注意節(jié)點(diǎn)路徑的寫法,路徑寫錯(cuò)了不會(huì)報(bào)錯(cuò),只會(huì)返回空值,然后你的代碼拿著一堆默認(rèn)值跑下去,現(xiàn)象就是配置明明改了卻沒生效。6.3 配置錯(cuò)誤為什么最難查配置錯(cuò)誤難查的根本原因是它不產(chǎn)生編譯錯(cuò)誤,也不一定產(chǎn)生運(yùn)行時(shí)錯(cuò)誤。moduleName拼錯(cuò)一個(gè)字母,驅(qū)動(dòng)就是靜默跳過。serviceName寫重了,可能出現(xiàn)服務(wù)互相覆蓋。policy填錯(cuò),服務(wù)發(fā)布位置不對(duì),客戶端就是找不到。我的應(yīng)對(duì)辦法是在開發(fā)階段把能加的校驗(yàn)都加上:驅(qū)動(dòng)Init里打印自己的moduleName,發(fā)布服務(wù)后打印服務(wù)名,客戶端綁定失敗時(shí)打印嘗試的名字。這些日志在正常運(yùn)行時(shí)顯得啰嗦,但排查配置問題時(shí)能省下大量時(shí)間。等穩(wěn)定之后再按日志級(jí)別關(guān)掉。7. 實(shí)測(cè)踩坑記錄與排查手段7.1 驅(qū)動(dòng)不加載時(shí),先查這三個(gè)斷點(diǎn)驅(qū)動(dòng)完全不加載,我總結(jié)出三個(gè)高頻斷點(diǎn),按順序查基本能覆蓋大部分情況。第一個(gè)斷點(diǎn)是段注冊(cè)。確認(rèn)驅(qū)動(dòng)入口確實(shí)進(jìn)了.hdf_init段,方法是對(duì)著編譯產(chǎn)物的符號(hào)表查一下,看看入口符號(hào)在不在。不在的話就是HDF_INIT沒用,或者被裁剪規(guī)則干掉了。第二個(gè)斷點(diǎn)是名稱匹配。對(duì)比配置里的moduleName和驅(qū)動(dòng)入口里的moduleName,逐字符核對(duì)。這一步看似低級(jí),實(shí)際出問題比例很高,尤其是從別的項(xiàng)目復(fù)制配置的時(shí)候。第三個(gè)斷點(diǎn)是加載策略。確認(rèn)policy和驅(qū)動(dòng)的運(yùn)行位置一致。內(nèi)核態(tài)驅(qū)動(dòng)配了用戶態(tài)策略,或者反過來,都不會(huì)有加載日志。這個(gè)坑我自己踩過一次,查了半天代碼,最后發(fā)現(xiàn)是配置里一個(gè)數(shù)字寫錯(cuò)了。7.2 Init 卡死和內(nèi)核態(tài)調(diào)試手段Init里卡死是很惡心的問題,因?yàn)楝F(xiàn)象往往是系統(tǒng)啟動(dòng)停住,連日志都刷不出來。常見原因有兩個(gè):一是拿了鎖沒放,二是等待一個(gè)永遠(yuǎn)不會(huì)就緒的硬件狀態(tài)。內(nèi)核態(tài)下調(diào)試手段有限,我一般會(huì)在進(jìn)Init和出Init各加一條日志,先確認(rèn)是不是卡在這個(gè)函數(shù)里。確認(rèn)之后再往里插日志,二分定位。等待硬件狀態(tài)的循環(huán)一定要加超時(shí),這是硬性要求,寧可返回失敗也不要死等,否則整個(gè)系統(tǒng)都被拖住。還有一個(gè)容易被忽略的點(diǎn):Init里如果有睡眠操作,要注意調(diào)用上下文是否允許睡眠。在不當(dāng)?shù)纳舷挛睦锼?表現(xiàn)可能是隨機(jī)崩潰而不是穩(wěn)定卡死,更難查。涉及這類操作時(shí),先確認(rèn)調(diào)用棧,再?zèng)Q定用哪種同步原語。7.3 版本差異導(dǎo)致的 API 漂移HDF 的代碼在這幾年里改過不少次,函數(shù)名、結(jié)構(gòu)體字段、目錄結(jié)構(gòu)都有變化。你今天看的分析文章,代碼可能來自兩年前的分支,直接照著找函數(shù)很可能找不到。我的習(xí)慣是先確認(rèn)自己手上這份代碼的版本號(hào),再去對(duì)應(yīng)分支查函數(shù)。如果實(shí)在找不到同名函數(shù),就用關(guān)鍵詞搜,比如搜driverEntry或者搜段名,一般能順著找到等價(jià)實(shí)現(xiàn)。結(jié)構(gòu)體字段也是同理,字段名可能換了,但語義大體保留,對(duì)照著看能推出來。提示:任何時(shí)候都不要假設(shè)網(wǎng)上那篇文章的代碼和你手上的代碼完全一致,先定位版本,再動(dòng)手。另外,跨版本移植驅(qū)動(dòng)時(shí),HdfDriverEntry的字段可能有增減,但moduleVersion、moduleName、Bind、Init、Release這五個(gè)核心成員一直比較穩(wěn)定。移植時(shí)優(yōu)先保證這五個(gè)對(duì)齊,其余差異逐個(gè)處理。我個(gè)人在反復(fù)調(diào)試 HDF 驅(qū)動(dòng)的過程中最大的體會(huì)是:框架本身很少出問題,絕大多數(shù)故障都藏在配置和驅(qū)動(dòng)自己的邏輯里。所以每當(dāng)有人問為什么我的驅(qū)動(dòng)不加載,我都會(huì)先讓他把moduleName、policy、段注冊(cè)這三件事各打印一遍,十有八九問題就現(xiàn)形了。這份源碼分析到這里算告一段落,后面如果繼續(xù)往下挖,我打算聊聊 HDF 里的服務(wù)代理在跨進(jìn)程場(chǎng)景下具體怎么走通,那塊涉及的細(xì)節(jié)比發(fā)布訂閱還要繞。 鴻蒙 HDF 驅(qū)動(dòng)加載全鏈路：HDF_INIT、HCS 與 Bind/Init
翻內(nèi)核日志的時(shí)候,經(jīng)常能看到這么一行:hdf_devhost: [HdfDriverLoaderLoadNode] load driver xxx success。不少人第一次見到會(huì)以為 HDF 只是個(gè)日志前綴,實(shí)際從內(nèi)核啟動(dòng)到驅(qū)動(dòng)的Init被真正調(diào)用,中間隔著一整套注冊(cè)、匹配、綁定、發(fā)布服務(wù)的鏈路,任何一環(huán)對(duì)不上,驅(qū)動(dòng)就是靜悄悄不加載。這篇是鴻蒙源碼分析系列的第二十六篇,我打算把 HDF(Hardware Driver Foundation)從驅(qū)動(dòng)入口到服務(wù)發(fā)布這條線從頭捋一遍,重點(diǎn)落在源碼調(diào)用鏈上,而不是停留在API 怎么調(diào)的層面。如果你正在寫內(nèi)核態(tài)外設(shè)驅(qū)動(dòng),或者被驅(qū)動(dòng)明明編進(jìn)去了卻沒有任何日志這種問題卡過,這篇內(nèi)容應(yīng)該能幫你把鏈路補(bǔ)全。1. 先看清 HDF 在內(nèi)核啟動(dòng)鏈條里的站位1.1 一條驅(qū)動(dòng)加載日志能反推出的調(diào)用棧大部分排查都是從日志開始的。內(nèi)核起來之后,hdf_devhost和hdf_core這兩類 tag 的打印密度會(huì)明顯上升,順序大致是這樣的:先出現(xiàn) HDF 框架自身的初始化打印,然后是 host 服務(wù)的創(chuàng)建,接著是逐個(gè)設(shè)備的加載日志,最后才是服務(wù)發(fā)布成功的提示。這個(gè)順序不是隨便排的,它對(duì)應(yīng)著一條實(shí)打?qū)嵉恼{(diào)用鏈。我一般會(huì)按這個(gè)思路反推:內(nèi)核啟動(dòng)階段先跑HdfCoreInit(不同版本里可能是DeviceManagerInit之類,名字會(huì)漂移),它做的第一件正經(jīng)事是把散落在各段的驅(qū)動(dòng)入口收集起來,構(gòu)建成一張可供查找的驅(qū)動(dòng)表;第二步是解析編譯期就固化好的 HCS 配置,拿到 host 列表和設(shè)備列表;第三步是為每個(gè) host 拉起一個(gè) devhost 服務(wù),由服務(wù)去逐個(gè)驅(qū)動(dòng)它名下的設(shè)備;第四步才是匹配驅(qū)動(dòng)、Bind、Init、發(fā)布服務(wù)?？辞暹@條鏈路的價(jià)值在于:日志停在哪個(gè)階段,問題基本就鎖定在哪一段。停在 host 創(chuàng)建之前,大概率是配置沒被解析到;停在設(shè)備加載階段但沒到Bind,那就是moduleName沒匹配上;進(jìn)了Init但沒出來,那是驅(qū)動(dòng)自身邏輯卡住了。這套判斷方式比盲目加打印高效得多。1.2 HDF 替內(nèi)核擋住了哪些重復(fù)勞動(dòng)在沒有驅(qū)動(dòng)框架的年代,每寫一個(gè)外設(shè)驅(qū)動(dòng),作者都要自己處理什么時(shí)候注冊(cè)、注冊(cè)到哪、別人怎么找到我這三件事。設(shè)備樹、platform 總線這些機(jī)制解決了一部分,但跨內(nèi)核態(tài)和用戶態(tài)的驅(qū)動(dòng)模型、服務(wù)發(fā)布、客戶端尋址這些還是各寫各的。HDF 的核心價(jià)值就是把這幾件事抽象成統(tǒng)一的模型:驅(qū)動(dòng)只聲明一個(gè)入口結(jié)構(gòu)體,把Bind、Init、Release三個(gè)函數(shù)指針填好,剩下的注冊(cè)時(shí)機(jī)、查找匹配、服務(wù)發(fā)布全交給框架。代價(jià)是你必須遵守框架約定的命名和配置規(guī)則,一旦某個(gè)字段寫岔了,框架不會(huì)報(bào)錯(cuò),只會(huì)安靜地跳過你這個(gè)設(shè)備——這也是新手最容易栽的地方。我個(gè)人的判斷是,HDF 更接近一種驅(qū)動(dòng)運(yùn)行時(shí) 服務(wù)注冊(cè)中心的組合體,而不是單純的驅(qū)動(dòng)加載器。理解這一點(diǎn),后面看源碼時(shí)就不會(huì)困惑為什么一堆代碼在做服務(wù)管理而不是驅(qū)動(dòng)加載。1.3 內(nèi)核態(tài)和用戶態(tài)是兩套加載器,別混著看這點(diǎn)必須單獨(dú)拎出來講,因?yàn)樗苯記Q定了你調(diào)試時(shí)該看哪份代碼。內(nèi)核態(tài)驅(qū)動(dòng)的加載依賴鏈接期的段收集,驅(qū)動(dòng)入口是在編譯鏈接階段就被塞進(jìn)鏡像的,啟動(dòng)時(shí)由內(nèi)核代碼直接遍歷調(diào)用;用戶態(tài)驅(qū)動(dòng)則是運(yùn)行期通過動(dòng)態(tài)加載的方式把.so拉起來,再調(diào)用里面的入口函數(shù)。兩者的入口結(jié)構(gòu)體長(zhǎng)得一樣,但入口怎么被找到這件事完全不同。維度內(nèi)核態(tài)驅(qū)動(dòng)用戶態(tài)驅(qū)動(dòng)入口發(fā)現(xiàn)方式鏈接期段收集,啟動(dòng)時(shí)遍歷運(yùn)行期動(dòng)態(tài)加載模塊加載失敗表現(xiàn)無日志,設(shè)備被跳過通常有加載失敗打印調(diào)試手段內(nèi)核日志、串口用戶態(tài)日志、進(jìn)程調(diào)試配置策略字段policy 通常為 1policy 通常為 2如果你在調(diào)用戶態(tài)驅(qū)動(dòng),卻一直盯著內(nèi)核側(cè)的注冊(cè)代碼找問題,那基本上是在浪費(fèi)時(shí)間。反過來也一樣。先確認(rèn)policy字段的值,再?zèng)Q定去看哪套加載邏輯,這是我吃過虧之后養(yǎng)成的習(xí)慣。2. HDF_INIT 宏背后的段注冊(cè)機(jī)制2.1 宏展開之后到底發(fā)生了什么HDF 驅(qū)動(dòng)的入口寫法很固定,幾乎每個(gè)示例都長(zhǎng)這樣:struct HdfDriverEntry g_sampleDriverEntry { .moduleVersion 1, .moduleName sample_driver, .Bind SampleDriverBind, .Init SampleDriverInit, .Release SampleDriverRelease, }; HDF_INIT(g_sampleDriverEntry);很多人寫到這就結(jié)束了,從沒想過HDF_INIT到底做了什么。它做的事其實(shí)很樸素:把驅(qū)動(dòng)入口的指針放進(jìn)一個(gè)專門的段(section)里,并且告訴編譯器這個(gè)符號(hào)不能被優(yōu)化掉。展開后的形式大致是這樣(具體宏名和段名在不同分支上有差異,思路是一致的):#define HDF_INIT(module) \ static const struct HdfDriverEntry *g_hdfDriverEntry##module \ __attribute__((used, section(.hdf_init))) moduleused屬性很關(guān)鍵。沒有它,編譯器看到這個(gè)變量沒人引用,可能在優(yōu)化階段直接刪掉,驅(qū)動(dòng)入口就憑空消失了。section屬性則把它歸到一個(gè)自定義段里,方便鏈接腳本統(tǒng)一處理。2.2 鏈接腳本把這段拼成了連續(xù)數(shù)組單個(gè)驅(qū)動(dòng)入口塞進(jìn).hdf_init段沒什么意義,真正的魔法在鏈接腳本里。鏈接階段會(huì)把所有目標(biāo)文件里同名段的內(nèi)容拼在一起,形成一個(gè)連續(xù)的區(qū)塊,并且用兩個(gè)符號(hào)標(biāo)出起止地址:__hdf_init_start .; KEEP(*(.hdf_init)) __hdf_init_end .;有了起止地址,框架遍歷就變得極其簡(jiǎn)單:拿到起始指針,按指針大小逐個(gè)往后走,直到結(jié)束地址。每個(gè)元素都是一個(gè)HdfDriverEntry *,取出來就是完整的驅(qū)動(dòng)描述。這個(gè)過程不依賴任何運(yùn)行時(shí)分配,也不需要提前知道有多少個(gè)驅(qū)動(dòng)。KEEP這個(gè)指令同樣不能少,它防止鏈接器做垃圾回收時(shí)把這段丟掉。我見過有人自己改裁剪配置,結(jié)果.hdf_init段被當(dāng)成無用段清掉,現(xiàn)象就是驅(qū)動(dòng)代碼明明在,但完全沒有加載痕跡,排查了大半天才想到是鏈接腳本的問題。2.3 為什么不用一張全局驅(qū)動(dòng)表看到這里你可能會(huì)問,為什么不維護(hù)一個(gè)全局?jǐn)?shù)組,讓每個(gè)驅(qū)動(dòng)自己去注冊(cè)?答案在于解耦和裁剪。用全局表的話,核心代碼就得知道所有驅(qū)動(dòng)的名字,每加一個(gè)驅(qū)動(dòng)都要改核心文件,這在有幾十上百個(gè)驅(qū)動(dòng)的系統(tǒng)里是不可接受的。段收集的方式讓驅(qū)動(dòng)和核心完全解耦:驅(qū)動(dòng)只聲明自己的入口,核心只負(fù)責(zé)遍歷,雙方互不認(rèn)識(shí)。裁剪時(shí)把某個(gè)驅(qū)動(dòng)從編譯列表里去掉,段里的內(nèi)容自然就少了,不需要?jiǎng)雍诵囊恍写a。另一個(gè)好處是初始化順序確定。段內(nèi)元素的排列順序跟鏈接順序相關(guān),雖然不應(yīng)該依賴這個(gè)順序做業(yè)務(wù)邏輯,但至少它不會(huì)像注冊(cè)表那樣受到運(yùn)行時(shí)調(diào)度影響。這一點(diǎn)在調(diào)試時(shí)序相關(guān)問題時(shí)挺有用,至少你能確定遍歷順序是穩(wěn)定的。3. 驅(qū)動(dòng)模塊從 HCS 配置到 Bind/Init 的完整鏈路3.1 device_info.hcs 里三個(gè)必須對(duì)齊的字段配置文件和驅(qū)動(dòng)代碼之間的耦合點(diǎn),集中在三個(gè)字段上:moduleName、serviceName、deviceName。典型配置長(zhǎng)這樣:device_sample :: device { device0 :: deviceNode { policy 2; priority 100; preload 0; permission 0664; moduleName sample_driver; serviceName sample_service; } }moduleName必須和驅(qū)動(dòng)入口里的moduleName完全一致,大小寫都不能差。這是匹配驅(qū)動(dòng)的唯一依據(jù),匹配不上就是直接跳過,連個(gè)錯(cuò)誤日志都未必有。serviceName是發(fā)布服務(wù)時(shí)對(duì)外暴露的名字,客戶端靠它來尋址。policy決定服務(wù)發(fā)布的位置,0表示不發(fā)布,1表示內(nèi)核態(tài)發(fā)布,2表示用戶態(tài)發(fā)布。priority和preload影響加載時(shí)序。preload通常表示是否在啟動(dòng)階段就加載,priority決定了同 host 內(nèi)多個(gè)設(shè)備的加載先后。如果你寫的驅(qū)動(dòng)依賴另一個(gè)驅(qū)動(dòng)提供的服務(wù),這兩個(gè)字段就得認(rèn)真填,否則可能出現(xiàn)服務(wù)還沒發(fā)布,消費(fèi)者就去找了的情況。3.2 驅(qū)動(dòng)加載器的逐步拆解以用戶態(tài)加載為例,核心函數(shù)是HdfDriverLoaderLoadNode,它的職責(zé)是把一個(gè)設(shè)備節(jié)點(diǎn)和它的驅(qū)動(dòng)入口綁定起來。拆開看主要做四件事:根據(jù)moduleName在已經(jīng)注冊(cè)的驅(qū)動(dòng)表里查找對(duì)應(yīng)的HdfDriverEntry;查到了就把驅(qū)動(dòng)的模塊句柄(用戶態(tài)下是動(dòng)態(tài)庫(kù)句柄)掛到設(shè)備節(jié)點(diǎn)上;分配并初始化HdfDeviceObject,把配置里的屬性填進(jìn)去;依次調(diào)用driverEntry-Bind和driverEntry-Init,任一返回非零都視為失敗并觸發(fā)回滾。第一步找不到就直接返回了,這是最常見的失敗點(diǎn)。第二步在用戶態(tài)下可能涉及動(dòng)態(tài)庫(kù)加載失敗,比如路徑不對(duì)、依賴缺失。第三步和第四步是驅(qū)動(dòng)作者自己代碼最容易出問題的地方。這里有個(gè)細(xì)節(jié)要注意:Bind和Init的失敗處理不一樣。Bind失敗通常意味著這個(gè)設(shè)備壓根不該由這個(gè)驅(qū)動(dòng)接管,框架會(huì)把設(shè)備節(jié)點(diǎn)清理掉;Init失敗則可能已經(jīng)分配了部分資源,驅(qū)動(dòng)自己有責(zé)任在返回失敗前把資源釋放干凈,框架不會(huì)替你兜底。3.3 Bind 和 Init 分成兩段不是沒道理的新手經(jīng)常問,既然Bind里能拿到HdfDeviceObject,Init里也能拿,那為什么不分一個(gè)函數(shù)搞定?我的理解是這樣:Bind做的是接線,把設(shè)備對(duì)象、服務(wù)接口、驅(qū)動(dòng)私有數(shù)據(jù)之間的關(guān)系建立起來,這個(gè)動(dòng)作應(yīng)該是輕量的、幾乎不會(huì)失敗的;Init做的是通電,可能涉及硬件復(fù)位、時(shí)鐘配置、中斷注冊(cè)這些耗時(shí)甚至可能失敗的操作。分開的好處是失敗邊界清晰:接線階段失敗,說明模型層面就不匹配,直接放棄;通電階段失敗,說明設(shè)備存在但起不來,可以按需重試或者降級(jí)。另一個(gè)現(xiàn)實(shí)原因是服務(wù)發(fā)布的時(shí)機(jī)。有些驅(qū)動(dòng)希望服務(wù)在Bind階段就已經(jīng)可見,這樣別的模塊可以在Init之前就訂閱到它。把這兩件事拆開,框架就有了插入服務(wù)發(fā)布邏輯的空間,不用把所有邏輯壓在最后一個(gè)回調(diào)里。4. HdfDeviceObject 與節(jié)點(diǎn)對(duì)象模型4.1 三個(gè)結(jié)構(gòu)體的掛載關(guān)系HDF 里的對(duì)象模型不算復(fù)雜,核心是三個(gè)結(jié)構(gòu)體層層嵌套:DevHostService管一批設(shè)備,HdfDevice代表一個(gè)邏輯設(shè)備,HdfDeviceNode代表設(shè)備下的一個(gè)節(jié)點(diǎn)實(shí)例。簡(jiǎn)化后的關(guān)系大致是這樣:struct DevHostService { struct HdfSListNode node; struct HdfSList devices; ... }; struct HdfDevice { struct HdfSListNode node; struct HdfSListNode serviceList; struct DevHostService *hostService; ... }; struct HdfDeviceNode { struct HdfSListNode entry; struct HdfDeviceObject deviceObject; struct HdfDevice *device; struct HdfDriverEntry *driverEntry; ... };HdfDeviceNode里內(nèi)嵌了一個(gè)HdfDeviceObject,這個(gè)對(duì)象才是真正傳給Bind和Init的參數(shù)。剩下的device和driverEntry是框架自己用的,用來做反向查找和資源釋放。理解這個(gè)嵌套關(guān)系,看Release的調(diào)用順序時(shí)就不會(huì)暈。4.2 private 數(shù)據(jù)該存在哪HdfDeviceObject里有一個(gè)用于掛私有數(shù)據(jù)的指針,驅(qū)動(dòng)的運(yùn)行時(shí)狀態(tài)基本都放在這里。Bind階段分配,Release階段釋放,這是標(biāo)準(zhǔn)做法。這里有個(gè)坑值得單獨(dú)說:私有數(shù)據(jù)的生命周期跟設(shè)備節(jié)點(diǎn)綁定,不是跟驅(qū)動(dòng)綁定。同一個(gè)驅(qū)動(dòng)可能被多個(gè)設(shè)備節(jié)點(diǎn)復(fù)用,如果你把狀態(tài)寫成全局變量,多個(gè)設(shè)備就會(huì)互相踩。我見過不止一個(gè)驅(qū)動(dòng)因?yàn)檫@個(gè)問題,單設(shè)備測(cè)試一切正常,多設(shè)備一上就行為詭異。正確的做法是把所有狀態(tài)掛在deviceObject-priv上,在Bind里根據(jù)節(jié)點(diǎn)情況分別初始化。還有一個(gè)更隱蔽的點(diǎn):Bind里分配失敗時(shí),Release不一定會(huì)被調(diào)用。所以Bind內(nèi)部的錯(cuò)誤分支需要自己清理已分配的部分,不能全指望Release兜底。4.3 引用計(jì)數(shù)與釋放順序Release觸發(fā)的前提是引用計(jì)數(shù)歸零。設(shè)備節(jié)點(diǎn)被移除或者服務(wù)被解綁時(shí),計(jì)數(shù)減一,減到零才走釋放流程。這個(gè)設(shè)計(jì)的目的是防止正在被使用的服務(wù)被提前銷毀。但引用計(jì)數(shù)也帶來一個(gè)常見問題:如果某處訂閱了服務(wù)卻忘了取消訂閱,引用計(jì)數(shù)永遠(yuǎn)不歸零,Release就永遠(yuǎn)不執(zhí)行,資源泄漏就成了慢性病。排查這類問題,我通常會(huì)在Release里加一條日志,跑一遍完整流程后看看日志有沒有出現(xiàn),沒出現(xiàn)就說明有地方?jīng)]釋放引用。釋放順序同樣講究。一般約定是先停服務(wù)、再釋放私有數(shù)據(jù)、最后清對(duì)象。順序反了的話,可能出現(xiàn)釋放邏輯里還在訪問已經(jīng)被銷毀的服務(wù)指針,這類問題往往不會(huì)當(dāng)場(chǎng)崩,而是在壓力測(cè)試時(shí)隨機(jī)炸,非常難定位。5. 服務(wù)化:從 Publish 到客戶端 Bind5.1 HdfServiceObserver 解決的時(shí)序問題服務(wù)發(fā)布和服務(wù)訂閱天然存在時(shí)序矛盾:消費(fèi)者可能比生產(chǎn)者先啟動(dòng)。如果只有發(fā)布這一個(gè)動(dòng)作,先啟動(dòng)的消費(fèi)者就永遠(yuǎn)等不到服務(wù)了。HDF 引入觀察者(HdfServiceObserver)來解決這個(gè)問題。發(fā)布側(cè)發(fā)布服務(wù)時(shí)會(huì)通知觀察者,訂閱側(cè)訂閱時(shí)也會(huì)通知觀察者,觀察者負(fù)責(zé)把兩邊對(duì)上:如果發(fā)布時(shí)已經(jīng)有訂閱者,立刻通知;如果訂閱時(shí)服務(wù)還沒發(fā)布,記錄下來等發(fā)布時(shí)再通知。這是個(gè)很經(jīng)典的發(fā)布訂閱模式,但放到驅(qū)動(dòng)場(chǎng)景里價(jià)值更大,因?yàn)轵?qū)動(dòng)的啟動(dòng)順序并不完全可控。實(shí)際項(xiàng)目中,這個(gè)機(jī)制能省掉大量延遲啟動(dòng)的臨時(shí)方案。以前做驅(qū)動(dòng)集成,經(jīng)常被迫在消費(fèi)側(cè)寫個(gè)循環(huán)重試等對(duì)方起來,現(xiàn)在交給觀察者就行了。不過要注意,通知回調(diào)里不要做耗時(shí)操作,否則會(huì)拖慢整個(gè)發(fā)布流程。5.2 客戶端拿到的到底是什么客戶端通過HdfIoServiceBind之類的方法拿服務(wù),拿到的并不是服務(wù)實(shí)現(xiàn)本身,而是一個(gè)代理對(duì)象。這個(gè)代理內(nèi)部封裝了尋址信息和調(diào)用通道,客戶端通過它調(diào)用服務(wù)方法。理解這一點(diǎn)的意義在于:代理對(duì)象的創(chuàng)建和銷毀是有成本的,不要在循環(huán)里反復(fù) Bind 和釋放。我一般會(huì)在模塊初始化時(shí) Bind 一次,把代理緩存起來,模塊銷毀時(shí)統(tǒng)一釋放。這樣既省開銷,也避免引用計(jì)數(shù)加加減減帶來的邊界問題。操作典型時(shí)機(jī)注意事項(xiàng)Bind 服務(wù)模塊初始化緩存代理,避免重復(fù)綁定調(diào)用服務(wù)方法業(yè)務(wù)邏輯中注意返回值,別忽略失敗釋放服務(wù)模塊銷毀確保與綁定次數(shù)一一對(duì)應(yīng)5.3 同進(jìn)程調(diào)用和跨進(jìn)程調(diào)用的差異同一個(gè) host 內(nèi)的服務(wù)調(diào)用,框架可以做優(yōu)化,走的是相對(duì)輕量的路徑;跨 host 或者跨內(nèi)核態(tài)用戶態(tài)的調(diào)用,則要經(jīng)過完整的進(jìn)程間通信路徑。這個(gè)差異在性能敏感場(chǎng)景下很關(guān)鍵。如果你的驅(qū)動(dòng)每秒要處理大量調(diào)用,又恰好跨了進(jìn)程邊界,那每次調(diào)用的開銷都不能忽略。這種情況下,合理的做法是把批量操作合并成一個(gè)接口,減少調(diào)用次數(shù),而不是靠?jī)?yōu)化單次調(diào)用來解決。另外,跨進(jìn)程調(diào)用對(duì)參數(shù)的要求更嚴(yán)格,不是所有類型都能直接傳。序列化和反序列化的過程會(huì)消耗額外資源,大塊數(shù)據(jù)的傳遞要謹(jǐn)慎設(shè)計(jì)。我在做過的一個(gè)采集類驅(qū)動(dòng)里就吃過這個(gè)虧,最初設(shè)計(jì)成每次上報(bào)一個(gè)采樣點(diǎn),跨進(jìn)程開銷占了大頭,后來改成攢一批再上報(bào),整體開銷降了一個(gè)數(shù)量級(jí)。6. HCS 配置的編譯鏈路與運(yùn)行時(shí)解析6.1 編譯期把文本配置變成了什么HCS 是 HDF 的配置描述語言,語法上有點(diǎn)像簡(jiǎn)化版的 JSON,但它是編譯期處理而不是運(yùn)行時(shí)解析文本的。構(gòu)建系統(tǒng)里有一個(gè)hc-gen之類的工具,負(fù)責(zé)把.hcs源文件編譯成二進(jìn)制配置文件。為什么不在運(yùn)行時(shí)直接讀文本?答案還是啟動(dòng)性能。啟動(dòng)階段解析文本配置需要詞法語法分析,開銷不小,而且容易出錯(cuò)。預(yù)編譯成二進(jìn)制之后,運(yùn)行時(shí)只需要按內(nèi)存布局讀取,速度快得多,也避免了配置格式錯(cuò)誤引發(fā)的啟動(dòng)異常。代價(jià)是調(diào)試麻煩。配置改了之后必須重新編譯才會(huì)生效,直接改鏡像里的文件通常沒用。我剛開始接觸的時(shí)候,改完配置發(fā)現(xiàn)行為沒變,折騰半天才意識(shí)到配置是編進(jìn)鏡像的,得重新構(gòu)建。6.2 運(yùn)行時(shí)讀配置的兩種姿勢(shì)運(yùn)行時(shí)讀配置主要有兩種方式:一種是框架在加載設(shè)備時(shí)把屬性填進(jìn)HdfDeviceObject,驅(qū)動(dòng)直接取用;另一種是驅(qū)動(dòng)主動(dòng)調(diào)用配置讀取接口,按路徑去查具體字段。第一種適合配置量少、結(jié)構(gòu)固定的場(chǎng)景,moduleName、policy這些都屬于這一類。第二種適合配置項(xiàng)多、需要按需讀取的場(chǎng)景,比如某些參數(shù)只有特定硬件版本才用得上。用第二種的時(shí)候要注意節(jié)點(diǎn)路徑的寫法,路徑寫錯(cuò)了不會(huì)報(bào)錯(cuò),只會(huì)返回空值,然后你的代碼拿著一堆默認(rèn)值跑下去,現(xiàn)象就是配置明明改了卻沒生效。6.3 配置錯(cuò)誤為什么最難查配置錯(cuò)誤難查的根本原因是它不產(chǎn)生編譯錯(cuò)誤,也不一定產(chǎn)生運(yùn)行時(shí)錯(cuò)誤。moduleName拼錯(cuò)一個(gè)字母,驅(qū)動(dòng)就是靜默跳過。serviceName寫重了,可能出現(xiàn)服務(wù)互相覆蓋。policy填錯(cuò),服務(wù)發(fā)布位置不對(duì),客戶端就是找不到。我的應(yīng)對(duì)辦法是在開發(fā)階段把能加的校驗(yàn)都加上:驅(qū)動(dòng)Init里打印自己的moduleName,發(fā)布服務(wù)后打印服務(wù)名,客戶端綁定失敗時(shí)打印嘗試的名字。這些日志在正常運(yùn)行時(shí)顯得啰嗦,但排查配置問題時(shí)能省下大量時(shí)間。等穩(wěn)定之后再按日志級(jí)別關(guān)掉。7. 實(shí)測(cè)踩坑記錄與排查手段7.1 驅(qū)動(dòng)不加載時(shí),先查這三個(gè)斷點(diǎn)驅(qū)動(dòng)完全不加載,我總結(jié)出三個(gè)高頻斷點(diǎn),按順序查基本能覆蓋大部分情況。第一個(gè)斷點(diǎn)是段注冊(cè)。確認(rèn)驅(qū)動(dòng)入口確實(shí)進(jìn)了.hdf_init段,方法是對(duì)著編譯產(chǎn)物的符號(hào)表查一下,看看入口符號(hào)在不在。不在的話就是HDF_INIT沒用,或者被裁剪規(guī)則干掉了。第二個(gè)斷點(diǎn)是名稱匹配。對(duì)比配置里的moduleName和驅(qū)動(dòng)入口里的moduleName,逐字符核對(duì)。這一步看似低級(jí),實(shí)際出問題比例很高,尤其是從別的項(xiàng)目復(fù)制配置的時(shí)候。第三個(gè)斷點(diǎn)是加載策略。確認(rèn)policy和驅(qū)動(dòng)的運(yùn)行位置一致。內(nèi)核態(tài)驅(qū)動(dòng)配了用戶態(tài)策略,或者反過來,都不會(huì)有加載日志。這個(gè)坑我自己踩過一次,查了半天代碼,最后發(fā)現(xiàn)是配置里一個(gè)數(shù)字寫錯(cuò)了。7.2 Init 卡死和內(nèi)核態(tài)調(diào)試手段Init里卡死是很惡心的問題,因?yàn)楝F(xiàn)象往往是系統(tǒng)啟動(dòng)停住,連日志都刷不出來。常見原因有兩個(gè):一是拿了鎖沒放,二是等待一個(gè)永遠(yuǎn)不會(huì)就緒的硬件狀態(tài)。內(nèi)核態(tài)下調(diào)試手段有限,我一般會(huì)在進(jìn)Init和出Init各加一條日志,先確認(rèn)是不是卡在這個(gè)函數(shù)里。確認(rèn)之后再往里插日志,二分定位。等待硬件狀態(tài)的循環(huán)一定要加超時(shí),這是硬性要求,寧可返回失敗也不要死等,否則整個(gè)系統(tǒng)都被拖住。還有一個(gè)容易被忽略的點(diǎn):Init里如果有睡眠操作,要注意調(diào)用上下文是否允許睡眠。在不當(dāng)?shù)纳舷挛睦锼?表現(xiàn)可能是隨機(jī)崩潰而不是穩(wěn)定卡死,更難查。涉及這類操作時(shí),先確認(rèn)調(diào)用棧,再?zèng)Q定用哪種同步原語。7.3 版本差異導(dǎo)致的 API 漂移HDF 的代碼在這幾年里改過不少次,函數(shù)名、結(jié)構(gòu)體字段、目錄結(jié)構(gòu)都有變化。你今天看的分析文章,代碼可能來自兩年前的分支,直接照著找函數(shù)很可能找不到。我的習(xí)慣是先確認(rèn)自己手上這份代碼的版本號(hào),再去對(duì)應(yīng)分支查函數(shù)。如果實(shí)在找不到同名函數(shù),就用關(guān)鍵詞搜,比如搜driverEntry或者搜段名,一般能順著找到等價(jià)實(shí)現(xiàn)。結(jié)構(gòu)體字段也是同理,字段名可能換了,但語義大體保留,對(duì)照著看能推出來。提示:任何時(shí)候都不要假設(shè)網(wǎng)上那篇文章的代碼和你手上的代碼完全一致,先定位版本,再動(dòng)手。另外,跨版本移植驅(qū)動(dòng)時(shí),HdfDriverEntry的字段可能有增減,但moduleVersion、moduleName、Bind、Init、Release這五個(gè)核心成員一直比較穩(wěn)定。移植時(shí)優(yōu)先保證這五個(gè)對(duì)齊,其余差異逐個(gè)處理。我個(gè)人在反復(fù)調(diào)試 HDF 驅(qū)動(dòng)的過程中最大的體會(huì)是:框架本身很少出問題,絕大多數(shù)故障都藏在配置和驅(qū)動(dòng)自己的邏輯里。所以每當(dāng)有人問為什么我的驅(qū)動(dòng)不加載,我都會(huì)先讓他把moduleName、policy、段注冊(cè)這三件事各打印一遍,十有八九問題就現(xiàn)形了。這份源碼分析到這里算告一段落,后面如果繼續(xù)往下挖,我打算聊聊 HDF 里的服務(wù)代理在跨進(jìn)程場(chǎng)景下具體怎么走通,那塊涉及的細(xì)節(jié)比發(fā)布訂閱還要繞。