基于驅(qū)動程序的協(xié)議棧設(shè)計

1、    基于驅(qū)動程序的協(xié)議棧設(shè)計        謝雪松 胡長陽 時間:2009年06月11日     字 體: 大 中 小        關(guān)鍵詞:        摘要：關(guān)鍵詞： 設(shè)備驅(qū)動 協(xié)議驅(qū)動 操作任務(wù) 協(xié)議棧基于驅(qū)動程序的協(xié)議棧設(shè)計，相比于傳統(tǒng)的基于任務(wù)的協(xié)議棧設(shè)計來說有兩

2、點好處：(1)效率更高；(2)對于有多個協(xié)議棧的系統(tǒng)來說，有更大的兼容性。1 基于任務(wù)的方式在這里存在幾個效率不高的來源：首先，正如圖1中點線所說明的，當包在應(yīng)用程序、上層的通信協(xié)議，以及網(wǎng)絡(luò)接口的設(shè)備驅(qū)動程序之間交換時，下層的操作系統(tǒng)正忙于上下文切換，每一次實時操作系統(tǒng)掛起其中一個任務(wù)，恢復(fù)執(zhí)行另一個任務(wù)，時間都浪費在存取任務(wù)上下文中，考慮到每一個包無論是發(fā)還是收，都要通過協(xié)議棧的每一層，上下文切換的確造成了巨大的浪費。另外，當數(shù)據(jù)和控制包在應(yīng)用程序任務(wù)和網(wǎng)絡(luò)接口之間流動時，包含此類信息的緩沖區(qū)必然重復(fù)在任務(wù)間通信隊列加入或刪除。然而，這個系統(tǒng)開銷是很大的，這本身是由于系統(tǒng)在隊列操作時必然包

3、括需與中斷和上下文切換隔離的臨界區(qū)。因此，不僅時間浪費于隊列操作，而且整個系統(tǒng)對一些重要的事件例如中斷的響應(yīng)變得延遲。2 基于驅(qū)動程序的方法3 緩沖區(qū)拷貝緩沖區(qū)拷貝效率不高的第一個潛在因素在于：當數(shù)據(jù)在層與層之間傳輸時，數(shù)據(jù)緩沖區(qū)的分配、拷貝和釋放，這與協(xié)議棧的結(jié)構(gòu)無關(guān)，僅與緩沖區(qū)本身的結(jié)構(gòu)有關(guān)。一般來說，有兩種常用的方式用于協(xié)議棧層與層之間傳送數(shù)據(jù)，如圖3所示。然而，這兩種方式均有缺陷，我們假設(shè)，應(yīng)用層有一些數(shù)據(jù)需要傳送，通常我們把它稱作消息，消息需被送至協(xié)議棧的最底層，因為在緩沖區(qū)中沒有多余的空間來存放頭尾信息，而協(xié)議層必須給數(shù)據(jù)本身加上頭尾信息，協(xié)議層或分配一個足夠大的緩沖區(qū)得以容納消息

4、本身和頭尾信息，或分配兩個小緩沖區(qū)，一個用于頭信息，一個用于尾信息，然后用指針將三個緩沖區(qū)鏈接起來。眾所周知，每一層加入自己的頭尾信息源于上一層傳來的信息。因此，一個包在自上而下通過網(wǎng)絡(luò)時，必須重復(fù)這一個過程許多次，時間被消耗于內(nèi)存的分配之中(而自下而上則好得多，因為下層的頭尾信息可以被上層忽略)。這種拷貝方式同時伴隨著越來越大的消息，釋放老緩沖區(qū)。鏈接方式雖然不涉及多余的拷貝，但是卻將傳輸包的設(shè)備驅(qū)動程序代碼復(fù)雜化。另一種替代的方式與基于設(shè)備驅(qū)動程序的方式相當吻合，如圖4所示。每次當協(xié)議棧創(chuàng)建或改變時，網(wǎng)絡(luò)服務(wù)模塊執(zhí)行一個查詢以確定整個協(xié)議棧的頭、尾信息和最大傳輸單元要求，這樣一來當應(yīng)用程序

5、向協(xié)議棧發(fā)消息時，網(wǎng)絡(luò)服務(wù)模塊相應(yīng)地分配一些足夠大容納整個協(xié)議棧頭尾信息的緩沖區(qū)，每一層僅僅將頭尾信息填充至這些緩沖區(qū)，而不需內(nèi)存分配或拷貝，這一機制對于性能有顯著的改善。重傳緩沖區(qū)另一個效率不高的原因在于，協(xié)議層提供確認與重傳機制，一個可靠的協(xié)議層的實現(xiàn)通常包括為每個包分配一個重傳緩沖區(qū)，將包的內(nèi)容拷貝至重傳緩沖區(qū)中。如果遠程系統(tǒng)的同一層確認了正確接收，重傳緩沖區(qū)將被釋放，然而，如果一個“NACK”發(fā)生，協(xié)議層重傳緩沖區(qū)的內(nèi)容，同時再分配一個重傳緩沖區(qū)，拷貝內(nèi)容至重傳緩沖區(qū)。如果已經(jīng)發(fā)出的包可以被協(xié)議層標記為“Unmarked”或“Reserved”的話，上述機制就可被取消，這種情況僅保存一

6、個指針而不拷貝。當設(shè)備驅(qū)動程序完成傳送包并試圖釋放緩沖區(qū)，緩沖區(qū)系統(tǒng)確認此緩沖區(qū)保留，并不釋放包，僅僅將它標記為“已傳輸”，當相應(yīng)的協(xié)議層收到確認(ACK)之后，就把包去掉標識，并且釋放緩沖區(qū)，通過把這一特性固化至網(wǎng)絡(luò)服務(wù)模塊中，整個協(xié)議棧的效率將大大提高。4 細節(jié)任何合理的基于驅(qū)動程序的協(xié)議棧都會包含相似的數(shù)據(jù)結(jié)構(gòu)、數(shù)據(jù)和控制原語及模塊函數(shù)。下面介紹一下細節(jié)數(shù)據(jù)結(jié)構(gòu)，以下是一些可能用到的數(shù)據(jù)結(jié)構(gòu)。(1) 設(shè)備入口提供實時操作系統(tǒng)和某一特殊的協(xié)議模塊的管道；(2) 驅(qū)動程序靜態(tài)變量對于每一協(xié)議層僅分配一次，不管協(xié)議層下的網(wǎng)絡(luò)接口有多少，它是協(xié)議層的全局存儲區(qū)域；(3) 邏輯單位靜態(tài)變量僅基于接

7、口分配，所以如果你有一個設(shè)備驅(qū)動程序控制兩個接口，就應(yīng)有兩個邏輯單位靜態(tài)變量，但是僅有一個驅(qū)動程序變量和一個設(shè)備條目數(shù)據(jù)結(jié)構(gòu)；(4) 路徑變量基于應(yīng)用程序?qū)f(xié)議的調(diào)用，僅分配一次?；谏鲜鏊姆N定義，協(xié)議中的各種數(shù)據(jù)應(yīng)被定義為最合適的類型，被選定的數(shù)據(jù)結(jié)構(gòu)應(yīng)當基于這個變量如何被使用：是被協(xié)議狀態(tài)機所使用，還是接口或是應(yīng)用程序，例如，一個特定的網(wǎng)絡(luò)接口芯片在內(nèi)存中的基址就應(yīng)定義為邏輯單位靜態(tài)變量。5 函數(shù)如果你正開發(fā)不止一個協(xié)議棧，編寫一系列通用的函數(shù)會有幫助，表1、表2描述了一些基于驅(qū)動程序的協(xié)議?？蚣艿臄?shù)據(jù)和控制傳輸原語及參數(shù)。?參考文獻1 Curt Schwaderer.A DriverBased Approach to Protocol Stack Design. Embedded Systems Programming,1999