做嵌入式這些年我越發(fā)覺(jué)得內(nèi)存在整個(gè)嵌入式開(kāi)發(fā)里是最難講明白、也最值得深挖的一塊。很多人學(xué)完C語(yǔ)言、寫(xiě)完幾個(gè)開(kāi)發(fā)板例程就開(kāi)始刷驅(qū)動(dòng)、調(diào)外設(shè)等到真正碰上隨機(jī)死機(jī)、設(shè)備重啟、運(yùn)行久了系統(tǒng)變慢這類(lèi)問(wèn)題才發(fā)現(xiàn)自己對(duì)內(nèi)存的理解還停留在malloc完了要記得free這種層面。本文想把我實(shí)際項(xiàng)目里踩過(guò)的內(nèi)存坑、面試中反復(fù)被問(wèn)到的那幾道內(nèi)存題、以及幾個(gè)開(kāi)源項(xiàng)目里比較成熟的池化思路串起來(lái)聊一聊嵌入式內(nèi)存管理的完整圖景——從C內(nèi)存布局到分配器選型從結(jié)構(gòu)體對(duì)齊到泄漏排查盡量講清楚每個(gè)關(guān)鍵決策背后的為什么。不管你是剛?cè)腴T(mén)的學(xué)生、想轉(zhuǎn)嵌入式的工程師還是已經(jīng)在做產(chǎn)品開(kāi)發(fā)、想系統(tǒng)補(bǔ)一補(bǔ)內(nèi)存這塊短板的開(kāi)發(fā)者這篇文章都值得耐心看完。我會(huì)把每個(gè)話(huà)題盡量拆得通俗一些用生活里的類(lèi)比來(lái)講原理同時(shí)也會(huì)給出可以直接落到代碼和工程里的做法。1. 嵌入式內(nèi)存全景為什么這條戰(zhàn)線(xiàn)繞不開(kāi)1.1 嵌入式內(nèi)存和PC內(nèi)存的最大不同先聊個(gè)很根本的問(wèn)題嵌入式內(nèi)存和PC內(nèi)存到底哪里不一樣PC上你寫(xiě)代碼基本不用操心物理內(nèi)存長(zhǎng)什么樣因?yàn)椴僮飨到y(tǒng)給你包了一層虛擬內(nèi)存。你的程序以為自己獨(dú)享4GB或者32GB的空間背后是操作系統(tǒng)的頁(yè)表和缺頁(yè)中斷在處理映射關(guān)系。寫(xiě)崩一個(gè)地址最多彈窗報(bào)錯(cuò)進(jìn)程掛掉系統(tǒng)通常沒(méi)事。嵌入式環(huán)境就完全是另一套邏輯。大多數(shù)MCU單片機(jī)級(jí)別的芯片根本沒(méi)有MMUMemory Management Unit所有代碼跑在物理地址上。你寫(xiě)一個(gè)野指針訪問(wèn)到的不是一段非法內(nèi)存而可能是某個(gè)外設(shè)寄存器——輕則數(shù)據(jù)被改壞重則直接觸發(fā)硬件錯(cuò)誤把整個(gè)系統(tǒng)打趴。這個(gè)差異決定了嵌入式開(kāi)發(fā)者必須比純應(yīng)用開(kāi)發(fā)者更敬畏內(nèi)存。在帶MMU的嵌入式Linux平臺(tái)上情況介于兩者之間。你確實(shí)有虛擬地址空間但資源是受限的。板子可能只有64MB內(nèi)存跑著內(nèi)核、根文件系統(tǒng)和你的業(yè)務(wù)進(jìn)程任何一個(gè)不注意的分配泄漏都可能在運(yùn)行幾天后悄悄拖垮系統(tǒng)。很多設(shè)備不在人身邊不能像PC那樣重啟一下再用這就對(duì)內(nèi)存管理的穩(wěn)定性提出了特別苛刻的要求。1.2 一張內(nèi)存地圖SRAM、DDR與Flash要理解嵌入式內(nèi)存腦子里得先有一張芯片內(nèi)部的地圖。對(duì)MCU來(lái)說(shuō)內(nèi)存基本分為幾塊Flash非易失性用來(lái)放程序代碼和只讀數(shù)據(jù)掉電不丟SRAM靜態(tài)隨機(jī)存儲(chǔ)器用來(lái)放程序運(yùn)行時(shí)數(shù)據(jù)掉電就丟還有寄存器空間映射到CPU地址空間的特定區(qū)域是操作外設(shè)的入口。以STM32F4為例典型的配置是1MB Flash 192KB SRAM地址空間從0x08000000開(kāi)始是Flash從0x20000000開(kāi)始是SRAM。對(duì)運(yùn)行Linux的應(yīng)用處理器來(lái)說(shuō)外部掛的是DDR內(nèi)存容量從幾十MB到幾GB不等地址空間中間還有各種外設(shè)寄存器的映射區(qū)。你在用戶(hù)態(tài)寫(xiě)代碼時(shí)malloc到的內(nèi)存實(shí)際上是內(nèi)核通過(guò)缺頁(yè)機(jī)制一點(diǎn)點(diǎn)分配給你的物理頁(yè)你操作GPIO或者讀取DMA緩沖也得通過(guò)/dev/mem或者ioremap來(lái)映射物理地址。這里有一個(gè)很多新手會(huì)忽略的點(diǎn)嵌入式內(nèi)存地圖的每一段都有它的性格。Flash適合存常量字符串但不能頻繁擦寫(xiě)SRAM速度快但容量小適合放棧和熱點(diǎn)數(shù)據(jù)DDR容量大但時(shí)序復(fù)雜帶寬可能成為性能瓶頸。寫(xiě)代碼時(shí)如果對(duì)數(shù)據(jù)放哪一段有意識(shí)性能差異是能感覺(jué)出來(lái)的。我見(jiàn)過(guò)有人把一個(gè)大查找表定義成const數(shù)組放在Flash里比放在RAM里省了一大片空間這就是最簡(jiǎn)單的內(nèi)存性格運(yùn)用。1.3 從內(nèi)存夠用到內(nèi)存省著用第二個(gè)觀念上的轉(zhuǎn)變是從內(nèi)存夠不夠用變成內(nèi)存省著用、精準(zhǔn)用。PC應(yīng)用開(kāi)發(fā)者的思維通常是內(nèi)存不夠加程序運(yùn)行卡換更好的機(jī)器這種思路在嵌入式場(chǎng)景里寸步難行。做產(chǎn)品的時(shí)候芯片選型一旦定下來(lái)內(nèi)存容量就定死了你還得跟競(jìng)爭(zhēng)對(duì)手比成本、比功耗每一顆多余的DDR顆粒都會(huì)增加BOM成本。所以嵌入式內(nèi)存管理的核心命題不是如何讓程序跑得起來(lái)而是如何讓程序在給定的內(nèi)存上限里穩(wěn)定、高效、持續(xù)地運(yùn)行。這種省著用不是讓你寫(xiě)代碼摳摳搜搜而是要有全局意識(shí)哪些數(shù)據(jù)生命周期短可以放棧上哪些要長(zhǎng)期保存必須用靜態(tài)區(qū)哪些是臨時(shí)緩沖區(qū)可以復(fù)用哪些高頻分配的小對(duì)象值得建一個(gè)內(nèi)存池。把這些設(shè)計(jì)做在前面后期排查問(wèn)題時(shí)你會(huì)省出幾十倍的時(shí)間。2. 棧、堆、靜態(tài)區(qū)三種內(nèi)存的相處之道2.1 棧區(qū)嵌入式開(kāi)發(fā)的主戰(zhàn)場(chǎng)與隱藏陷阱C程序的內(nèi)存布局里有三個(gè)主角棧、堆、靜態(tài)區(qū)。嵌入式開(kāi)發(fā)里棧是默認(rèn)的主戰(zhàn)場(chǎng)。函數(shù)調(diào)用、局部變量、函數(shù)參數(shù)、返回地址全在棧上。棧的分配和釋放完全是編譯器生成的代碼在管理速度極快因?yàn)樗举|(zhì)就是移動(dòng)一下棧指針。但棧有一個(gè)致命的特點(diǎn)大小是有限的。在裸機(jī)工程里棧的大小一般由啟動(dòng)文件或者鏈接腳本指定常見(jiàn)的是1KB到8KB在嵌入式Linux里每個(gè)線(xiàn)程的棧默認(rèn)是8MB可以通過(guò)ulimit查看和修改但實(shí)際物理內(nèi)存不一定支撐你開(kāi)很多線(xiàn)程。棧溢出的典型癥狀有兩種一是程序飛了表現(xiàn)為PC指針跑到0xFFFFFFFF或者隨機(jī)地址二是局部數(shù)組越界寫(xiě)悄悄改掉了相鄰變量的值出現(xiàn)各種難以解釋的邏輯錯(cuò)誤。怎么避坑我給自己立了三條規(guī)矩。第一不在棧上放大的數(shù)組比如幾百字節(jié)以上的緩沖區(qū)盡量用靜態(tài)區(qū)或者動(dòng)態(tài)分配第二遞歸函數(shù)在嵌入式里能不用就不用一層遞歸就是一個(gè)棧幀深度不可控第三裸機(jī)工程里明確估算每個(gè)任務(wù)的棧需求留出至少30%的余量。比如中斷處理函數(shù)如果嵌套層級(jí)深前面所有函數(shù)的局部變量都會(huì)疊在同一個(gè)棧上這種場(chǎng)景特別容易爆棧。2.2 堆區(qū)malloc/free背后的代價(jià)堆是大家最熟悉又最容易出問(wèn)題的地方。malloc、free、new、delete這段自由內(nèi)存看起來(lái)很隨意但嵌入式環(huán)境下的堆管理遠(yuǎn)遠(yuǎn)沒(méi)有你想象的那么自由。先說(shuō)說(shuō)malloc的底層機(jī)制。在glibc或者Newlib這類(lèi)C庫(kù)的實(shí)現(xiàn)里malloc從操作系統(tǒng)或者裸機(jī)的堆區(qū)間一次性申請(qǐng)一大塊內(nèi)存然后在進(jìn)程內(nèi)部用一個(gè)空閑鏈表來(lái)管理。每次malloc分配器會(huì)按某種策略比如first-fit或best-fit從空閑鏈表中切一塊出來(lái)free的時(shí)候再把塊還回鏈表。這個(gè)過(guò)程有幾個(gè)代價(jià)一是鏈表查找有時(shí)間開(kāi)銷(xiāo)頻繁分配釋放會(huì)出現(xiàn)性能和碎片問(wèn)題二是每個(gè)分配出去的內(nèi)存塊頭部都要存元信息大小、狀態(tài)、前后指針小對(duì)象分配這種開(kāi)銷(xiāo)占比極高三是碎片積累到一定程度明明總空閑內(nèi)存夠但連續(xù)大塊分配失敗。嵌入式里如果要用堆我的建議是能不用就不用用了就要管住生命周期。特別是長(zhǎng)期運(yùn)行的系統(tǒng)如果分配釋放模式無(wú)序碎片會(huì)在幾天甚至幾小時(shí)內(nèi)把堆搞成一盤(pán)散沙。一次典型的事故是設(shè)備連續(xù)運(yùn)行一周后突然malloc失敗排查發(fā)現(xiàn)網(wǎng)絡(luò)上來(lái)的每個(gè)請(qǐng)求都分配了一個(gè)幾KB的緩沖區(qū)請(qǐng)求結(jié)束后釋放但釋放時(shí)機(jī)和大小模式不均勻碎片越積越多到最后分不出一個(gè)足夠大的連續(xù)塊。這種問(wèn)題頂多靠定期重啟緩解根治還得改架構(gòu)。2.3 靜態(tài)區(qū)全局變量的代價(jià)與收益靜態(tài)區(qū)存放的是全局變量、static變量和字符串常量。這個(gè)區(qū)域在程序啟動(dòng)時(shí)就固定好了布局生命周期跟程序一樣長(zhǎng)不涉及運(yùn)行時(shí)分配也沒(méi)有碎片問(wèn)題——這是它的好處。但天下沒(méi)有免費(fèi)的午餐。靜態(tài)區(qū)的空間在編譯鏈接時(shí)就占了整個(gè)程序運(yùn)行期間都不可能被回收。如果一個(gè)系統(tǒng)里全是全局變量、全局緩沖區(qū)內(nèi)存壓力就會(huì)變成硬性壓力。更麻煩的是全局變量在多任務(wù)環(huán)境下天然是并發(fā)訪問(wèn)的溫床你要用鎖、關(guān)中斷、原子操作去保護(hù)稍不留神就會(huì)埋下競(jìng)態(tài)條件的隱患。我的經(jīng)驗(yàn)是分級(jí)使用真正的系統(tǒng)級(jí)配置、硬件寄存器映射、以及需要在整個(gè)生命周期內(nèi)存活的常量數(shù)據(jù)放到靜態(tài)區(qū)沒(méi)問(wèn)題但那些只在某個(gè)業(yè)務(wù)階段才會(huì)用到的大塊緩沖完全可以設(shè)計(jì)成按需分配用完了釋放掉。比如協(xié)議棧里某個(gè)大緩沖區(qū)只在接收突發(fā)數(shù)據(jù)時(shí)起作用平時(shí)可以釋放或者復(fù)用給其他模塊這樣能顯著壓低系統(tǒng)的常駐內(nèi)存水位線(xiàn)。提示判斷該用哪種內(nèi)存可以問(wèn)自己三個(gè)問(wèn)題——數(shù)據(jù)需要活多久數(shù)據(jù)大小是否編譯期確定這段代碼的運(yùn)行頻次和實(shí)時(shí)性要求如何回答完這三個(gè)問(wèn)題內(nèi)存選型基本就有結(jié)論了。3. 內(nèi)存分配器的選型與內(nèi)存池實(shí)現(xiàn)3.1 通用malloc的問(wèn)題為什么跑著跑著系統(tǒng)變慢嵌入式項(xiàng)目跑到后期很多人會(huì)注意到一個(gè)現(xiàn)象系統(tǒng)剛上電時(shí)一切正常越往后響應(yīng)越慢甚至卡頓。這往往不是CPU性能不夠而是內(nèi)存分配路徑上出了問(wèn)題。通用malloc的慢主要體現(xiàn)在幾方面。第一分配路徑可能有系統(tǒng)調(diào)用。Linux的glibc malloc在小塊分配時(shí)走brk大塊才走mmap但mmap和munmap涉及內(nèi)核態(tài)的頁(yè)表操作開(kāi)銷(xiāo)比純用戶(hù)態(tài)操作高一個(gè)數(shù)量級(jí)。第二空閑鏈表的遍歷和合并需要時(shí)間特別是經(jīng)過(guò)大量分配釋放后鏈表碎片化導(dǎo)致每次分配要掃描更多節(jié)點(diǎn)。第三多線(xiàn)程環(huán)境下malloc內(nèi)部有鎖競(jìng)爭(zhēng)多個(gè)線(xiàn)程同時(shí)分配時(shí)會(huì)互相阻塞RTOS里如果中斷和任務(wù)都在調(diào)malloc還要考慮臨界區(qū)保護(hù)。實(shí)時(shí)性要求高的場(chǎng)景下這種不確定性是致命的。音頻處理里的一個(gè)緩沖如果在運(yùn)行過(guò)程中出現(xiàn)幾毫秒的分配延遲輸出的聲音就會(huì)爆音控制環(huán)路里一個(gè)高頻任務(wù)如果因?yàn)榉峙鋬?nèi)存被阻塞就可能造成嚴(yán)重的控制偏差。所以我一直強(qiáng)調(diào)實(shí)時(shí)關(guān)鍵路徑里的內(nèi)存分配必須提前準(zhǔn)備好不能在運(yùn)行時(shí)才現(xiàn)摘現(xiàn)用。3.2 內(nèi)存池把分配變成取塊內(nèi)存池的思路其實(shí)特別樸素預(yù)先從堆或者靜態(tài)區(qū)里切出一大塊連續(xù)內(nèi)存劃分成若干個(gè)大小固定的塊用鏈表串起來(lái)。分配時(shí)從空閑鏈表頭取一個(gè)塊釋放時(shí)再掛回鏈表頭。因?yàn)閴K大小固定不需要維護(hù)元信息分配釋放都是O(1)復(fù)雜度而且不會(huì)產(chǎn)生碎片。我用一個(gè)可控稍微復(fù)雜一點(diǎn)的例子說(shuō)明。假設(shè)你要管理一個(gè)池子總共有N個(gè)塊每塊大小BLOCK_SIZE?？梢杂靡粋€(gè)數(shù)組做底層存儲(chǔ)再用一個(gè)空閑塊索引棧來(lái)記錄哪些塊是空的typedef struct { uint8_t *pool; // 內(nèi)存池起始地址 uint32_t block_size; // 每個(gè)塊大小 uint32_t block_num; // 總塊數(shù) uint32_t *free_stack; // 空閑塊索引棧 int32_t top; // 棧頂指針 } mem_pool_t; void mem_pool_init(mem_pool_t *p, uint8_t *buf, uint32_t blk_size, uint32_t blk_num) { p-pool buf; p-block_size blk_size; p-block_num blk_num; p-free_stack (uint32_t *)(buf blk_size * blk_num); // 索引棧放在池后面 p-top blk_num - 1; for (uint32_t i 0; i blk_num; i) { p-free_stack[i] blk_num - 1 - i; } } void *mem_pool_alloc(mem_pool_t *p) { if (p-top 0) { return NULL; // 池已耗盡 } uint32_t idx p-free_stack[p-top--]; return p-pool[idx * p-block_size]; } void mem_pool_free(mem_pool_t *p, void *ptr) { uint32_t idx ((uint8_t *)ptr - p-pool) / p-block_size; p-free_stack[p-top] idx; }分配和釋放的函數(shù)體只有幾行沒(méi)有任何循環(huán)和鎖單任務(wù)場(chǎng)景執(zhí)行時(shí)間完全確定。這在實(shí)時(shí)系統(tǒng)里很受歡迎——你用塊大小固定換來(lái)了分配時(shí)間確定、無(wú)碎片、開(kāi)銷(xiāo)極小。但是內(nèi)存池也有它的局限性。塊大小固定意味著不夠靈活如果某類(lèi)對(duì)象遠(yuǎn)小于塊大小內(nèi)部碎片率會(huì)比較高如果某個(gè)需求突然超過(guò)塊大小池就派不上用場(chǎng)了。所以實(shí)際項(xiàng)目里往往不是單一池子而是分層設(shè)計(jì)小塊池、中塊池、大塊池各管一種規(guī)格再加上隊(duì)列消息、DMA描述符這些專(zhuān)用池子。3.3 常用分配器方案的橫向?qū)Ρ惹度胧筋I(lǐng)域常用的分配器方案我整理成一張對(duì)比表供參考方案優(yōu)點(diǎn)缺點(diǎn)適用場(chǎng)景標(biāo)準(zhǔn)庫(kù)malloc通用、兼容性好時(shí)間不確定、有碎片開(kāi)發(fā)期、非實(shí)時(shí)路徑固定大小內(nèi)存池O(1)、無(wú)碎片、實(shí)時(shí)性好塊大小固定、靈活性差高頻小對(duì)象、實(shí)時(shí)關(guān)鍵路徑伙伴分配器大塊管理高效、支持任意大小實(shí)現(xiàn)復(fù)雜、小塊有內(nèi)部碎片嵌入式Linux內(nèi)核、大緩存管理slab分配器按對(duì)象類(lèi)型緩存、效率高依賴(lài)復(fù)雜內(nèi)核機(jī)制Linux內(nèi)核中常用TLSF分配器時(shí)間確定性好、支持任意大小實(shí)現(xiàn)難度中等需要實(shí)時(shí)性又需要靈活大小的場(chǎng)景我自己在裸機(jī)工程里用得最多的是固定池上了Linux用戶(hù)態(tài)高實(shí)時(shí)任務(wù)里也會(huì)自己搭TLSF或者固定池普通后臺(tái)任務(wù)才撒手用glibc的malloc。做選型的時(shí)候別貪心沒(méi)有銀彈關(guān)鍵是想清楚你的需求到底是實(shí)時(shí)性碎片控制還是靈活性抓住主要矛盾就行。4. 結(jié)構(gòu)體、字節(jié)對(duì)齊與內(nèi)存布局優(yōu)化4.1 結(jié)構(gòu)體對(duì)齊看起來(lái)省下的空間其實(shí)沒(méi)省結(jié)構(gòu)體是嵌入式C開(kāi)發(fā)里最常用的數(shù)據(jù)容器但很多人對(duì)結(jié)構(gòu)體的內(nèi)存布局完全沒(méi)有概念。你以為寫(xiě)了個(gè)int8_t、int32_t、int8_t的成員結(jié)構(gòu)體大小就是6字節(jié)實(shí)際上編譯器為了保證對(duì)齊會(huì)在成員之間和結(jié)構(gòu)體末尾插入填充字節(jié)這個(gè)結(jié)構(gòu)體的大小很可能是12字節(jié)。對(duì)齊的規(guī)則可以簡(jiǎn)化成一句每個(gè)成員變量的地址必須是其自身對(duì)齊值的整數(shù)倍。int32_t對(duì)齊值是4結(jié)構(gòu)體的整體大小必須是對(duì)齊值最大成員的整數(shù)倍。所以成員順序會(huì)影響結(jié)構(gòu)體大小。舉個(gè)實(shí)際例子同樣的三個(gè)成員// 方案A亂序定義占用12字節(jié) struct s_a { char a; // offset 0 int b; // offset 41-3被填充 short c; // offset 8 }; // 整體大小 12 // 方案B按對(duì)齊值從大到小排列占用8字節(jié) struct s_b { int b; // offset 0 short c; // offset 4 char a; // offset 6 }; // 整體大小 8同樣的數(shù)據(jù)內(nèi)容僅僅因?yàn)槌蓡T排列順序不同內(nèi)存占用就從12字節(jié)降到8字節(jié)省了33%。如果這個(gè)結(jié)構(gòu)體類(lèi)型要被創(chuàng)建成千上萬(wàn)次或者通過(guò)網(wǎng)絡(luò)/存儲(chǔ)批量寫(xiě)入這個(gè)差異會(huì)直接放大成非?？捎^的節(jié)省。4.2 位域、packed與硬件的咬合協(xié)議棧和驅(qū)動(dòng)開(kāi)發(fā)里我們經(jīng)常需要把多個(gè)標(biāo)志位打包進(jìn)一個(gè)字節(jié)或者跟硬件寄存器的位定義一一對(duì)應(yīng)這時(shí)候可以用位域bit-field。但位域的布局在不同編譯器和平臺(tái)上沒(méi)有統(tǒng)一標(biāo)準(zhǔn)跨平臺(tái)移植時(shí)很容易踩坑。我的做法比較保守能用位運(yùn)算和掩碼處理寄存器的就盡量不用位域位域只用在編譯器和平臺(tái)都固定的內(nèi)部代碼里。至于#pragma pack(1)或者_(dá)_attribute__((packed))這招能取消對(duì)齊填充讓結(jié)構(gòu)體按緊湊方式排列但代價(jià)是訪問(wèn)未對(duì)齊成員時(shí)可能觸發(fā)總線(xiàn)錯(cuò)誤或者性能懲罰。我在ARM Cortex-M系列上實(shí)測(cè)過(guò)訪問(wèn)packed結(jié)構(gòu)體里的int32_t成員編譯器會(huì)生成多字節(jié)拼接的代碼效率明顯下降。所以packed只適合用在需要精確匹配協(xié)議報(bào)文、或者內(nèi)存極度緊缺的場(chǎng)景并且要注意涉及DMA傳輸?shù)慕Y(jié)構(gòu)體對(duì)齊要求尤其敏感不要輕易packed。結(jié)構(gòu)體字段排列的順序還應(yīng)該考慮實(shí)際讀寫(xiě)模式。把高頻訪問(wèn)的字段放在同一緩存行內(nèi)可以減少緩存失效把互斥訪問(wèn)的字段分開(kāi)可以降低偽共享。這些在嵌入式Linux多核場(chǎng)景下尤其重要單核裸機(jī)時(shí)代不用太在意但一旦上了多核布局問(wèn)題可能直接影響性能和并發(fā)正確性。4.3 編譯選項(xiàng)與鏈接腳本最后一道省內(nèi)存的閘門(mén)代碼層面的優(yōu)化只是前半程編譯鏈接階段還有兩道閘門(mén)可以控制內(nèi)存占用。第一道是編譯器優(yōu)化選項(xiàng)。-Osoptimize for size在嵌入式里通常比-O2更常用因?yàn)樗鼉A向于生成更小的代碼。實(shí)測(cè)下來(lái)同一段代碼用-Os編譯Flash占用可能比-O2少10%到20%代價(jià)是部分場(chǎng)景性能輕微下降。如果你的產(chǎn)品Flash資源緊張-Os幾乎是必選的。第二道是鏈接腳本。鏈接腳本決定了代碼段、數(shù)據(jù)段、BSS段未初始化數(shù)據(jù)放在哪里、按什么順序排布。很多MCU工程里可以在鏈接腳本里把只讀數(shù)據(jù)放到Flash、把變量放到SRAM還可以用__attribute__((section(...)))把某個(gè)大模塊的數(shù)據(jù)放到獨(dú)立的段里。這樣做的意義在于你可以精確控制內(nèi)存映射把熱點(diǎn)數(shù)據(jù)放到更快的內(nèi)存區(qū)域把冷數(shù)據(jù)放到大容量但更慢的區(qū)域。還有一個(gè)很實(shí)用的小技巧是-fdata-sections -ffunction-sections配合--gc-sections。這兩個(gè)選項(xiàng)讓編譯器和鏈接器把每個(gè)函數(shù)、每個(gè)全局?jǐn)?shù)據(jù)拆分成獨(dú)立段鏈接時(shí)自動(dòng)丟棄沒(méi)有引用到的段。很多項(xiàng)目的Flash占用能因此降低5%到15%尤其適合用HAL庫(kù)或SDK帶了大量你用不上的函數(shù)時(shí)。我在一個(gè)使用STM32的工程里開(kāi)過(guò)這個(gè)組合Flash用量從96KB降到81KB非?？捎^。5. 內(nèi)存泄漏、踩內(nèi)存與實(shí)戰(zhàn)排查5.1 嵌入式內(nèi)存問(wèn)題的四種典型癥狀嵌入式內(nèi)存問(wèn)題的癥狀千奇百怪但歸根結(jié)底可以歸成四類(lèi)一是內(nèi)存泄漏。內(nèi)存持續(xù)分配但不釋放表現(xiàn)為系統(tǒng)的空閑內(nèi)存不斷下降最終malloc失敗。特點(diǎn)是溫水煮青蛙可能運(yùn)行幾小時(shí)甚至幾天才爆發(fā)。二是踩內(nèi)存buffer overflow/underflow。數(shù)組越界寫(xiě)、指針指向了錯(cuò)誤地址、釋放后再使用use-after-free這類(lèi)問(wèn)題最隱蔽因?yàn)樗茐牡目赡苁悄阃耆饬现獾淖兞俊Ｈ菞Ｒ绯?。棧空間不夠用函數(shù)調(diào)用時(shí)壓棧把棧指針推過(guò)了棧區(qū)邊界程序飛掉或者行為異常。IAR、Keil里調(diào)試時(shí)如果看到PC飆到異常地址第一個(gè)要懷疑的就是棧。四是堆碎片。空閑內(nèi)存總量充足但無(wú)法分配出足夠大的連續(xù)塊。前面討論過(guò)這類(lèi)問(wèn)題通常在malloc失敗的那一瞬間才被發(fā)現(xiàn)而現(xiàn)場(chǎng)大概率已經(jīng)無(wú)法復(fù)現(xiàn)。5.2 靜態(tài)分析與動(dòng)態(tài)檢測(cè)工具排查嵌入式內(nèi)存問(wèn)題工具鏈的配合是必需的。我強(qiáng)烈建議所有嵌入式C/C項(xiàng)目在開(kāi)發(fā)階段就把一些靜態(tài)檢查工具納入CI流程。靜態(tài)分析方面cppcheck是免費(fèi)的輕量選手能發(fā)現(xiàn)很多數(shù)組越界、空指針解引用、資源泄漏問(wèn)題clang-tidy和Coverity這類(lèi)更強(qiáng)的工具能做的更深但對(duì)嵌入式交叉編譯環(huán)境的配置要求也更高。我實(shí)際用下來(lái)的感受是靜態(tài)工具能幫你掃掉五六類(lèi)的低級(jí)錯(cuò)誤但別指望它搞定所有內(nèi)存問(wèn)題很多問(wèn)題只有在運(yùn)行時(shí)才能暴露。動(dòng)態(tài)檢測(cè)方面不同平臺(tái)的工具路徑不太一樣嵌入式Linux平臺(tái)最經(jīng)典的是Valgrind memcheck能檢測(cè)內(nèi)存泄漏、越界訪問(wèn)、使用未初始化內(nèi)存等問(wèn)題。部署到板子上跑測(cè)試用例配合--leak-checkfull和--error-limitno能揪出非常多隱藏問(wèn)題。缺點(diǎn)是Valgrind會(huì)大幅拖慢運(yùn)行速度5-20倍不適合所有場(chǎng)景但用來(lái)做回歸測(cè)試非常值得。裸機(jī)/MCU平臺(tái)可以用編譯器自帶的sanitizerARM GCC支持-fsanitizeaddress的實(shí)驗(yàn)性功能但可能影響運(yùn)行性能更通用的做法是自己寫(xiě)一個(gè)簡(jiǎn)單的內(nèi)存監(jiān)視模塊在所有malloc/free調(diào)用處記錄指針、大小、調(diào)用點(diǎn)啟動(dòng)后定期打印分配統(tǒng)計(jì)。嵌入式RTOS平臺(tái)FreeRTOS有heap_4里自帶的統(tǒng)計(jì)接口xPortGetFreeHeapSizeRT-Thread則自帶內(nèi)存堆檢查功能。這些都可以做水位線(xiàn)監(jiān)測(cè)我在產(chǎn)品里跑一個(gè)周期性任務(wù)每30秒采集一次剩余堆內(nèi)存發(fā)到日志系統(tǒng)能快速發(fā)現(xiàn)泄漏趨勢(shì)。5.3 一次典型的排查實(shí)錄分享一個(gè)我做車(chē)載項(xiàng)目時(shí)遇到的實(shí)際案例。設(shè)備跑的是嵌入式Linux客戶(hù)反饋連續(xù)運(yùn)行一周后設(shè)備變慢最終死機(jī)。拿到日志時(shí)發(fā)現(xiàn)進(jìn)程的內(nèi)存占用在穩(wěn)步上升從正常的45MB一路漲到135MB直到內(nèi)存耗盡。排查第一步先確認(rèn)是不是進(jìn)程內(nèi)存泄漏。我在板子上用top和/proc/[pid]/status里的VmRSS觀察增長(zhǎng)曲線(xiàn)同時(shí)抓了一遍/proc/[pid]/maps看看虛擬內(nèi)存分布。發(fā)現(xiàn)一個(gè)可疑點(diǎn)VmSize漲得比VmRSS還快說(shuō)明除了實(shí)際物理內(nèi)存增長(zhǎng)還有一個(gè)虛擬地址段在膨脹。順著可疑的映射塊找最后鎖定了問(wèn)題出在一個(gè)第三方庫(kù)的消息隊(duì)列處理模塊——每次收到一條消息它都malloc一塊緩沖區(qū)但處理失敗時(shí)沒(méi)有釋放導(dǎo)致泄漏。修復(fù)其實(shí)只有一行free但排查過(guò)程花了整整兩天。這次經(jīng)歷讓我養(yǎng)成了一個(gè)習(xí)慣所有長(zhǎng)期運(yùn)行的嵌入式設(shè)備不管看起來(lái)多穩(wěn)定都要在設(shè)計(jì)和測(cè)試階段就內(nèi)置內(nèi)存監(jiān)控能力。否則真出了問(wèn)題在現(xiàn)場(chǎng)復(fù)現(xiàn)的成本是實(shí)驗(yàn)室里的十倍以上。提示排查時(shí)的關(guān)鍵心態(tài)是不要猜要測(cè)。每一次判斷都要有工具輸出的數(shù)據(jù)支撐否則你在排查過(guò)程中做的很多假設(shè)最后都會(huì)被證明是錯(cuò)的。6. 嵌入式面試中的內(nèi)存八股與項(xiàng)目經(jīng)驗(yàn)6.1 高頻面試題從背答案到講原理結(jié)合熱搜詞里的嵌入式面試題嵌入式八股文我把實(shí)際面試?yán)锍霈F(xiàn)頻率最高的內(nèi)存類(lèi)題目梳理了一下。注意面試官問(wèn)這些題多半不是想聽(tīng)你背標(biāo)準(zhǔn)答案而是想通過(guò)追問(wèn)判斷你實(shí)際踩過(guò)多少坑。第一道高頻題是說(shuō)說(shuō)C程序的內(nèi)存布局?；A(chǔ)答案是棧、堆、BSS、數(shù)據(jù)段、代碼段但加分答案是能講清楚BSS和數(shù)據(jù)段的區(qū)別未初始化的全局變量放在BSS程序加載時(shí)清零不占磁盤(pán)空間已初始化的全局變量放在數(shù)據(jù)段在磁盤(pán)上占空間加載時(shí)拷貝到內(nèi)存。還要能結(jié)合嵌入式場(chǎng)景講出const變量放在只讀段定義在Flash里這種實(shí)際工程理解。第二道高頻題是malloc和free為什么不適合實(shí)時(shí)系統(tǒng)。面試官想聽(tīng)的不是因?yàn)闀?huì)碎片而是更深入的回答分配時(shí)間復(fù)雜度不確定、底層可能涉及內(nèi)核系統(tǒng)調(diào)用、多線(xiàn)程鎖競(jìng)爭(zhēng)、以及嵌入式實(shí)時(shí)任務(wù)里如何用內(nèi)存池代替。第三道高頻題是如何檢測(cè)內(nèi)存泄漏。理想回答會(huì)分層次編譯期用靜態(tài)分析工具、運(yùn)行期用Valgrind/ASan、裸機(jī)自研分配計(jì)數(shù)、系統(tǒng)級(jí)通過(guò)監(jiān)控/proc/meminfo和VmRSS。能把工具和場(chǎng)景匹配起來(lái)的人明顯是真正做過(guò)項(xiàng)目的。第四道是struct對(duì)齊問(wèn)題。除了講規(guī)則最好能現(xiàn)場(chǎng)舉例說(shuō)明重排成員順序能節(jié)省多少空間再多說(shuō)一句packed的代價(jià)就能和背道題的人拉開(kāi)差距。6.2 項(xiàng)目經(jīng)驗(yàn)怎么講不露怯面試?yán)锉缺嘲斯筛匾氖侵v項(xiàng)目里的內(nèi)存處理經(jīng)驗(yàn)。我見(jiàn)過(guò)很多候選人簡(jiǎn)歷上都寫(xiě)著熟悉嵌入式Linux但問(wèn)起來(lái)就說(shuō)不清楚自己項(xiàng)目里內(nèi)存占用多少、峰值多少、泄漏問(wèn)題遇到過(guò)沒(méi)有。我的建議是準(zhǔn)備項(xiàng)目經(jīng)驗(yàn)時(shí)死死盯住幾個(gè)具體數(shù)字整個(gè)系統(tǒng)的RAM占用總量、程序最大棧深度、堆峰值使用量、池化前后的分配延遲對(duì)比。比如你可以這樣講我負(fù)責(zé)的音頻采集模塊原來(lái)每個(gè)音頻幀都malloc緩沖區(qū)后來(lái)改成環(huán)形緩沖雙緩沖池分配延遲從平均50微秒降到接近0幀率還提升了10%。這種描述比優(yōu)化了內(nèi)存管理有說(shuō)服力得多。另外把自己踩過(guò)的坑整理成事故復(fù)盤(pán)講給面試官往往比報(bào)一堆技術(shù)名詞更有含金量。我面試別人時(shí)最愿意聽(tīng)的就是候選人在項(xiàng)目中遇到了什么詭異問(wèn)題、通過(guò)什么手段定位、最后怎么根治、以及從中學(xué)到了什么。這種敘事自帶真實(shí)性比任何背出來(lái)的答案都可信。6.3 給新人的一條學(xué)習(xí)路徑如果你現(xiàn)在還是學(xué)生或者剛?cè)胄邢胂到y(tǒng)地補(bǔ)一補(bǔ)嵌入式內(nèi)存這堂課我給一條自己驗(yàn)證過(guò)的路線(xiàn)第一先把C語(yǔ)言里的指針、數(shù)組、結(jié)構(gòu)體徹底學(xué)通透最好把《C和指針》或者《深入理解計(jì)算機(jī)系統(tǒng)》的內(nèi)存相關(guān)章節(jié)啃一遍第二在開(kāi)發(fā)板上跑FreeRTOS或者RT-Thread親手配置堆棧、寫(xiě)內(nèi)存池第三把一個(gè)開(kāi)源項(xiàng)目比如一些RTOS內(nèi)核、TinyUSB、LwIP的源碼下下來(lái)重點(diǎn)看它們?cè)趺垂芾砭彌_區(qū)、怎么處理DMA描述符、怎么在ISR和任務(wù)間共享消息第四總結(jié)一套適合自己的調(diào)試方法論把工具用熟。這條路線(xiàn)走下來(lái)你會(huì)發(fā)現(xiàn)自己看代碼的習(xí)慣都會(huì)變——不再只盯著功能邏輯而是會(huì)自動(dòng)在心里畫(huà)出每個(gè)變量的內(nèi)存生命周期圖。這大概就是內(nèi)存課真正想教給你的東西。7. 內(nèi)存優(yōu)化的底層心法從修問(wèn)題到設(shè)計(jì)問(wèn)題7.1 三個(gè)優(yōu)化維度峰值、均值、確定性做嵌入式內(nèi)存管理久了你會(huì)發(fā)現(xiàn)優(yōu)化這件事要同時(shí)盯住三個(gè)維度峰值內(nèi)存、平均內(nèi)存、分配確定性和穩(wěn)定性。峰值內(nèi)存決定了你需要多少物理內(nèi)存直接關(guān)系芯片選型和成本。降低峰值的方法包括把大塊緩沖改成按需分配、錯(cuò)峰使用不同模塊復(fù)用同一塊緩沖區(qū)、把部分?jǐn)?shù)據(jù)處理流水分塊而不是一次性加載。平均內(nèi)存代表系統(tǒng)運(yùn)行的水位降低均值可以有效延長(zhǎng)設(shè)備的穩(wěn)定運(yùn)行時(shí)間減少碎片觸頂概率。而分配確定性是我們前面反復(fù)強(qiáng)調(diào)的實(shí)時(shí)性來(lái)源關(guān)鍵路徑上必須用O(1)的分配器。實(shí)際優(yōu)化的時(shí)候我會(huì)先做內(nèi)存畫(huà)像memory profiling統(tǒng)計(jì)系統(tǒng)在冷啟動(dòng)、穩(wěn)態(tài)、高峰期、異常情況下的內(nèi)存使用曲線(xiàn)。只有把基線(xiàn)數(shù)據(jù)摸清楚了后續(xù)所有優(yōu)化動(dòng)作才能有的放矢。7.2 從內(nèi)存省著用到內(nèi)存高效用最后想聊一個(gè)觀念層面的東西。很多初學(xué)者覺(jué)得內(nèi)存優(yōu)化等于省著用能用char絕不用int能用bit絕不用byte。但我覺(jué)得真正的高效不是拼命壓省每一個(gè)字節(jié)而是讓每一塊內(nèi)存都在它的生命周期里發(fā)揮最大價(jià)值。比如你為了省內(nèi)存把一個(gè)本來(lái)該用uint32_t的計(jì)數(shù)器改成uint8_t結(jié)果計(jì)數(shù)溢出導(dǎo)致邏輯錯(cuò)亂為了排查這個(gè)bug花掉的成本可能比省下的那3個(gè)字節(jié)寶貴得多。反過(guò)來(lái)如果一段緩沖區(qū)生命周期很短且只在一個(gè)模塊內(nèi)部使用那它完全可以在棧上分配既快又不需要管理——這是合理用勝于省著用的典型場(chǎng)景。我在實(shí)際項(xiàng)目中體會(huì)最深的一點(diǎn)是內(nèi)存優(yōu)化的終極目標(biāo)是系統(tǒng)的確定性和安全性不只是省空間。一個(gè)內(nèi)存占用偏高但邊界清晰、分配模式可控的系統(tǒng)往往比一個(gè)省到極限但處處是隱藏風(fēng)險(xiǎn)的系統(tǒng)更容易維護(hù)。做內(nèi)存設(shè)計(jì)時(shí)永遠(yuǎn)先考慮這個(gè)系統(tǒng)能不能穩(wěn)定跑一年不宕機(jī)再考慮能不能省下那幾十KB。7.3 后續(xù)可以繼續(xù)深挖的擴(kuò)展方向這篇文章講的主要內(nèi)容偏裸機(jī)和嵌入式Linux用戶(hù)態(tài)如果你還想繼續(xù)深入有幾個(gè)方向值得花時(shí)間一是內(nèi)核態(tài)內(nèi)存管理。掌握kmalloc、vmalloc、slab、頁(yè)面分配器以及不同內(nèi)存分配API的適用場(chǎng)景是成為內(nèi)核開(kāi)發(fā)者繞不開(kāi)的路。二是C的RAII與智能指針在嵌入式里的應(yīng)用。很多人覺(jué)得嵌入式不用C實(shí)際上隨著MCU算力提升基于現(xiàn)代C的嵌入式項(xiàng)目越來(lái)越多。理解std::unique_ptr、std::shared_ptr和內(nèi)存池的結(jié)合方式能幫你寫(xiě)出更安全的代碼。三是異構(gòu)計(jì)算場(chǎng)景下的內(nèi)存管理。NPU、GPU這類(lèi)加速器的內(nèi)存分配和主機(jī)側(cè)不同涉及ion/dma-buf這類(lèi)跨設(shè)備內(nèi)存共享機(jī)制這是當(dāng)前AIoT設(shè)備開(kāi)發(fā)的熱門(mén)方向。根據(jù)我個(gè)人的體會(huì)做嵌入式內(nèi)存這堂課其實(shí)沒(méi)有捷徑。只有多寫(xiě)代碼、多踩坑、多復(fù)盤(pán)才可能把內(nèi)存從敵人變成朋友。希望這篇分享能給你的嵌入式開(kāi)發(fā)路提供一點(diǎn)地圖至少讓你在遇到內(nèi)存問(wèn)題時(shí)知道該往哪個(gè)方向去排查。