一LWIP內(nèi)存管理

LWIP的內(nèi)存管理使用了2種方式：內(nèi)存池memp和內(nèi)存堆mem，如圖1所示。

內(nèi)存池的特點(diǎn)是預(yù)先開辟多組固定大小的內(nèi)存塊組織成鏈表，實(shí)現(xiàn)簡(jiǎn)單，分配和回收速度快，不會(huì)產(chǎn)生內(nèi)存碎片，但是大小固定，并且需要預(yù)估算準(zhǔn)確。

內(nèi)存堆的本質(zhì)是對(duì)一個(gè)事先定義好的內(nèi)存塊進(jìn)行合理有效的組織和管理，主要用于任意大小的內(nèi)存分配，實(shí)現(xiàn)較復(fù)雜，分配需要查找，回收需要合并，容易產(chǎn)生內(nèi)存碎片，需要合理估算內(nèi)存堆的總大小。

圖1內(nèi)存池與內(nèi)存堆

1. 數(shù)據(jù)包管理

數(shù)據(jù)包管理結(jié)構(gòu)pbuf共有四種類型，它們的特點(diǎn)和使用場(chǎng)合如表1所示。

表1 pbuf類型與特點(diǎn)

每一種pbuf分配內(nèi)存的方式都不一樣，如圖2所示。

圖2四種數(shù)據(jù)包管理結(jié)構(gòu)

只有選擇合適的pbuf類型才能發(fā)揮LWIP的最大性能，一個(gè)數(shù)據(jù)包可能是多種pbuf的組合，用鏈表連接起來(lái)，如圖3所示。

圖3 pbuf鏈表

2. 設(shè)置內(nèi)存大小

為L(zhǎng)WIP開辟一個(gè)專用的內(nèi)存堆是應(yīng)該的，這樣一來(lái)LWIP的mem_alloc()和mem_free()都將基于該堆內(nèi)存進(jìn)行分配和回收，不影響其他系統(tǒng)內(nèi)存的使用。如圖1左所示，lwipopt.h文件中宏MEM_SIZE定義了堆區(qū)的大小，對(duì)于一個(gè)負(fù)荷較重的系統(tǒng)堆區(qū)需要分配較大。

圖4堆和PBUF_ROM內(nèi)存區(qū)

LWIP使用PBUF_ROM類型的內(nèi)存池來(lái)發(fā)送“只讀”數(shù)據(jù)（處于ROM中或者其他進(jìn)程中不可修改），宏MEMP_NUM_PBUF定義了該緩沖池的個(gè)數(shù)，如圖2右所示。

在ISR（中斷服務(wù)程序中）經(jīng)常需要快速分配一部分內(nèi)存進(jìn)行數(shù)據(jù)存儲(chǔ)，這是通過PBUF_POOL類型的緩沖區(qū)實(shí)現(xiàn)的。為此需要定義兩個(gè)宏：PBUF_POOL_SIZE定義緩沖池的個(gè)數(shù)，PBUF_POOL_BUFSIZE定義單個(gè)緩沖區(qū)的大小，如圖5所示。

圖5PBUF_POOL內(nèi)存區(qū)

3宏編譯開關(guān)

若定義MEM_LIBC_MALLOC=1，直接使用C庫(kù)中的malloc、free來(lái)分配動(dòng)態(tài)內(nèi)存；否則使用LWIP自帶的mem_malloc、mem_free等函數(shù)。

若定義MEMP_MEM_MALLOC=1，則memp.c中的全部?jī)?nèi)容不會(huì)被編譯，用內(nèi)存堆來(lái)實(shí)現(xiàn)內(nèi)存池分配，使用這種方式得考慮是否能忍受內(nèi)存堆分配帶來(lái)的時(shí)間延遲。

若定義MEM_USE_POOLS=1，則mem.c中的全部?jī)?nèi)容不會(huì)被編譯，用內(nèi)存池來(lái)實(shí)現(xiàn)內(nèi)存堆的分配，使用這種方式得考慮是否能忍受因?yàn)镻OOL內(nèi)存固定大小而帶來(lái)的內(nèi)存浪費(fèi)。此外用戶需要定義宏MEM_USE_CUSTOM_POOLS=1，還需要額外實(shí)現(xiàn)一個(gè)頭文件lwippools.h，并在其中開辟一些用于內(nèi)存堆分配函數(shù)的內(nèi)存池POOL，開辟空間的格式如下：

LWIP_MALLOC_MEMPOOL_START

LWIP_MALLOC_MEMPOOL(20, 256)

LWIP_MALLOC_MEMPOOL(10, 512)

LWIP_MALLOC_MEMPOOL_END

二LWIP啟動(dòng)時(shí)序

圖6展示了LWIP啟動(dòng)時(shí)序，大部分函數(shù)都是LWIP自帶的，主要的移植代碼是eth_init()實(shí)現(xiàn)初始化以太網(wǎng)接口，啟動(dòng)程序會(huì)創(chuàng)建2個(gè)線程：tcpip_thread負(fù)責(zé)LWIP的絕大部分工作（主要是協(xié)議棧的解析和系統(tǒng)運(yùn)行），ethernetif_thread負(fù)責(zé)從網(wǎng)口接收數(shù)據(jù)包再交付給tcpip_thread線程進(jìn)行處理。

圖6LWIP啟動(dòng)函數(shù)

三LWIP運(yùn)行邏輯

1接收數(shù)據(jù)包

圖7接收數(shù)據(jù)包

當(dāng)以太網(wǎng)口接收到一個(gè)數(shù)據(jù)包后，EMAC_IRQ中斷服務(wù)程序通過信號(hào)量通知ethernetif線程，ethernetif線程調(diào)用low_level_input()接收該數(shù)據(jù)包并通過郵箱交付給tcpip_thread線程，tcpip_thread根據(jù)該數(shù)據(jù)包的類型進(jìn)行相應(yīng)處理。它是建立在消息傳遞的基礎(chǔ)上的，如圖8所示。

圖8數(shù)據(jù)包消息的產(chǎn)生和處理

2 SequentialAPI函數(shù)調(diào)用

API設(shè)計(jì)的核心在于讓用戶進(jìn)程負(fù)責(zé)盡可能多的工作，例如數(shù)據(jù)的計(jì)算、拷貝等；而協(xié)議棧進(jìn)程只負(fù)責(zé)簡(jiǎn)單的通信工作，這是很合理的，因?yàn)橄到y(tǒng)可能存在多個(gè)應(yīng)用程序，它們都使用協(xié)議棧進(jìn)程提供的通信服務(wù)，保證內(nèi)核進(jìn)程的高效性和實(shí)時(shí)性是提高系統(tǒng)性能的重要保障。進(jìn)程之間通信使用IPC技術(shù)，包括郵箱、信號(hào)量和共享內(nèi)存，如圖9所示。

圖9協(xié)議棧API實(shí)現(xiàn)

以函數(shù)netconn_bind()為例看API是如何實(shí)現(xiàn)的，首先用戶程序中調(diào)用函數(shù)netconn_bind()綁定一個(gè)連接，則這個(gè)函數(shù)實(shí)現(xiàn)時(shí)，是通過向內(nèi)核進(jìn)程發(fā)送一個(gè)TCPIP_MSG_API類型的消息，告訴內(nèi)核進(jìn)程執(zhí)行do_bind函數(shù)：在消息發(fā)送后，函數(shù)阻塞在信號(hào)量上，等待內(nèi)核處理該消息；內(nèi)核在處理消息時(shí)，會(huì)根據(jù)消息內(nèi)容調(diào)用do_bind，而do_bind會(huì)根據(jù)連接的類型調(diào)用內(nèi)核函數(shù)udp_bind、tcp_bind或raw_bind；當(dāng)do_bind執(zhí)行完后，它會(huì)釋放信號(hào)量，這使被阻塞的netconn_bind得以繼續(xù)執(zhí)行，整個(gè)過程如圖10所示。

圖10API函數(shù)實(shí)現(xiàn)

四TCP/IP核心知識(shí)點(diǎn)

1. 滑動(dòng)窗口

圖11滑動(dòng)窗口

接收窗口相關(guān)的字段中，rcv_nxt是自己期望收到的下一個(gè)字節(jié)編號(hào)，rcv_wnd表示接收窗口的大小，rcv_ann_wnd表示將向?qū)Ψ酵ǜ娴拇翱诖笮≈担@個(gè)值在報(bào)文發(fā)送時(shí)會(huì)被填在首部中的窗口大小字段，rcv_ann_right_edge記錄了上一次窗口通告時(shí)窗口右邊界取值。上面這四個(gè)字段都會(huì)隨著數(shù)據(jù)的發(fā)送和接收動(dòng)態(tài)地改變，如圖12所示。

圖12接收窗口

發(fā)送窗口中，lastack記錄了被接收方確認(rèn)的最高序列號(hào)，snd_nxt表示自己將要發(fā)送的下一個(gè)數(shù)據(jù)的起始編號(hào)，snd_wnd記錄了當(dāng)前的發(fā)送窗口大小，它常被設(shè)置為接收方通告的接收窗口值，snd_lbb記錄了下一個(gè)被應(yīng)用程序緩存的數(shù)據(jù)的起始編號(hào)，如圖10所示。

上面這四個(gè)字段的值也是動(dòng)態(tài)變化的，每當(dāng)收到接收方的一個(gè)有效ACK后，lastack的值就做相應(yīng)的增加，指向下一個(gè)待確認(rèn)數(shù)據(jù)的編號(hào)，當(dāng)發(fā)送一個(gè)報(bào)文后，snd_nxt的值就做相應(yīng)的增加，指向下一個(gè)待發(fā)送數(shù)據(jù)，snd_nxt和lastack之間的差值不能超過snd_wnd的大小。

由于實(shí)際數(shù)據(jù)發(fā)送時(shí)是按照?qǐng)?bào)文段的形式組織的，因此可能存在這樣的情況：即使發(fā)送窗口允許，但并不是窗口內(nèi)的所有數(shù)據(jù)都能發(fā)送以填滿窗口，如圖13中編號(hào)為11～13的數(shù)據(jù)，可能因?yàn)樗鼈兲〔荒芙M織成一個(gè)有效的報(bào)文段，因此不會(huì)被發(fā)送。發(fā)送方會(huì)等到新的確認(rèn)到來(lái)，從而使發(fā)送窗口向右滑動(dòng)，使得更多的數(shù)據(jù)被包含在窗口中，這樣再啟動(dòng)下一個(gè)報(bào)文段的發(fā)送。

圖13發(fā)送窗口

2. 三次握手

圖14連接建立過程

3. 斷開連接

圖15連接斷開過程

4.TCP狀態(tài)轉(zhuǎn)換

圖16 TCP狀態(tài)轉(zhuǎn)換圖

5. 同時(shí)打開

圖17雙方同時(shí)打開

6. 同時(shí)關(guān)閉

圖18雙方同時(shí)關(guān)閉

五正確使用LWIP

一般說(shuō)來(lái)LWIP協(xié)議棧是比較穩(wěn)定的，尤其像V1.3.2經(jīng)歷過業(yè)界廣泛使用和工程應(yīng)用，完全可以應(yīng)用于嵌入式產(chǎn)品。那為什么還是有很多人反映LWIP不穩(wěn)定呢？主要是以下幾個(gè)方面的原因：

1. 網(wǎng)絡(luò)硬件驅(qū)動(dòng)確保EMAC口接收與發(fā)送穩(wěn)定可靠

2. 移植LWIP基于OS的移植代碼正確穩(wěn)定

3. 配置LWIP根據(jù)設(shè)備RAM尺寸進(jìn)行合理配置

1) 值(PBUF_POOL_SIZE * PBUF_POOL_BUFSIZE)必須大于TCP_SND_BUF和TCP_WND，否則容易引起錯(cuò)誤；

2) 當(dāng)內(nèi)存有限時(shí)TCP發(fā)送不能太快（具體值依賴于分配內(nèi)存的大小），否則引起tcp_enqueue()邏輯錯(cuò)誤；

4. 調(diào)用LWIP的API函數(shù)正確使用API函數(shù)，特別防止內(nèi)存泄露。

5. 資源不足打開報(bào)警提醒，當(dāng)資源不夠時(shí)提醒設(shè)計(jì)者

六LWIP常見問題

1. 網(wǎng)卡驅(qū)動(dòng)程序

首先，必須將協(xié)議棧完全初始化才能打開網(wǎng)絡(luò)接收功能，接收中斷必須將數(shù)據(jù)封裝在PBUF中，然后交會(huì)給協(xié)議棧內(nèi)核處理。其次，LWIP的全局變量（arp_table,netif_list,udp_pcbs等）確保賦初值0，否則容易一運(yùn)行就崩潰。

2. 內(nèi)存泄露

第一個(gè)原則（責(zé)任制）：誰(shuí)分配內(nèi)存，誰(shuí)就負(fù)責(zé)回收。

第二個(gè)原則（對(duì)稱性）：分配內(nèi)存者與回收內(nèi)存者一一對(duì)應(yīng)構(gòu)成閉環(huán)。

另外，需要特別注意一些系統(tǒng)函數(shù)的調(diào)用，它們也會(huì)帶來(lái)內(nèi)存泄露，如：

例1

newconn = netconn_accept(conn);

do_something_for(newconn);

netconn_close(newconn);

netconn_delete(newconn);/*一定要釋放newconn否則將導(dǎo)致內(nèi)存泄露*/

例2

inbuf = netconn_recv(conn);

do_something_for(inbuf);

netbuf_delete(inbuf);/*一定要釋放inbuf否則將導(dǎo)致內(nèi)存泄露*/

3.PC機(jī)無(wú)法與LWIP建立TCP連接

問題：PC機(jī)能夠與LWIP設(shè)備PING操作成功，但是無(wú)法建立TCP連接。

原因：通過代碼跟蹤，發(fā)現(xiàn)LWIP發(fā)出了SYN+ACK數(shù)據(jù)包，但是PC機(jī)無(wú)法接收該握手?jǐn)?shù)據(jù)包，該數(shù)據(jù)包為60字節(jié)，小于以太網(wǎng)的最小長(zhǎng)度（64字節(jié)），而LWIP設(shè)備的EMAC沒有設(shè)置短小數(shù)據(jù)包填充功能，導(dǎo)致PC機(jī)無(wú)法接收該短數(shù)據(jù)包。

解決：使能EMAC的短小數(shù)據(jù)包填充功能。