度鎖、任務(wù)鎖與臨界區(qū)的正確使用與避坑指南)
1. 從一次詭異的“任務(wù)卡死”說(shuō)起那天下午我正在調(diào)試一個(gè)基于STM32F407的工業(yè)數(shù)據(jù)采集器。系統(tǒng)里跑著FreeRTOS幾個(gè)任務(wù)分工明確一個(gè)任務(wù)負(fù)責(zé)通過(guò)ADC采集傳感器數(shù)據(jù)一個(gè)任務(wù)通過(guò)UART與上位機(jī)通信還有一個(gè)低優(yōu)先級(jí)的任務(wù)負(fù)責(zé)閃爍LED作為心跳指示。一切都運(yùn)行得很順暢直到我為了“優(yōu)化”代碼在ADC采集任務(wù)里加了幾行“保護(hù)”代碼——我用vTaskSuspendAll()把調(diào)度器給鎖了想著這樣能確保一小段關(guān)鍵計(jì)算不被其他任務(wù)打斷算得更“精確”。結(jié)果系統(tǒng)運(yùn)行幾分鐘后心跳LED不閃了上位機(jī)也收不到任何數(shù)據(jù)。用調(diào)試器掛上去一看好家伙除了ADC采集任務(wù)還在那吭哧吭哧地算其實(shí)也卡在一個(gè)循環(huán)里了其他所有任務(wù)包括高優(yōu)先級(jí)的UART發(fā)送任務(wù)全都“靜止”了。整個(gè)系統(tǒng)的多任務(wù)并發(fā)能力仿佛一夜回到解放前變成了一個(gè)蹩腳的前后臺(tái)系統(tǒng)。這次踩坑讓我付出了半天查bug的代價(jià)也讓我徹底明白在FreeRTOS里“鎖”絕對(duì)不能亂用。你以為是保護(hù)實(shí)際上可能是一把讓系統(tǒng)“窒息”的鎖。FreeRTOS提供了調(diào)度鎖、任務(wù)鎖和中斷鎖這幾把“鎖”它們名字相似但原理、用途和殺傷力天差地別。用對(duì)了它們是保障關(guān)鍵區(qū)域安全的利器用錯(cuò)了就是系統(tǒng)死鎖、響應(yīng)遲緩的罪魁禍?zhǔn)?。今天我們就?lái)徹底拆解這三把鎖結(jié)合那些熱搜里常見(jiàn)的坑比如堆棧溢出、移植錯(cuò)誤、DMA配合問(wèn)題把它們的脾氣秉性摸個(gè)門兒清。2. 調(diào)度鎖Scheduler Lock讓整個(gè)系統(tǒng)“靜音”調(diào)度鎖對(duì)應(yīng)的API是vTaskSuspendAll()和xTaskResumeAll()。它的作用簡(jiǎn)單粗暴掛起暫停FreeRTOS的任務(wù)調(diào)度器。2.1 調(diào)度器掛起后世界發(fā)生了什么當(dāng)你調(diào)用vTaskSuspendAll()后FreeRTOS內(nèi)核的調(diào)度器就停止工作了。這意味著任務(wù)切換被禁止即使有更高優(yōu)先級(jí)的任務(wù)就緒了內(nèi)核也不會(huì)進(jìn)行上下文切換。當(dāng)前任務(wù)會(huì)一直霸占著CPU。內(nèi)核對(duì)象操作被掛起隊(duì)列Queue、信號(hào)量Semaphore、事件組Event Group等內(nèi)核對(duì)象的“阻塞”操作會(huì)失效。如果一個(gè)任務(wù)試圖從一個(gè)空隊(duì)列讀取數(shù)據(jù)它不會(huì)像往常一樣進(jìn)入阻塞態(tài)等待而是會(huì)直接返回一個(gè)錯(cuò)誤如果設(shè)置了超時(shí)且超時(shí)不為0則會(huì)等待超時(shí)但期間調(diào)度器依然不工作。系統(tǒng)心跳Tick中斷依然在運(yùn)行這是最容易讓人誤解的一點(diǎn)vTaskSuspendAll()并不會(huì)關(guān)閉中斷包括系統(tǒng)節(jié)拍器SysTick中斷。Tick中斷依然會(huì)定期發(fā)生內(nèi)核會(huì)照常更新內(nèi)部的Tick計(jì)數(shù)但不會(huì)在Tick中斷服務(wù)程序中進(jìn)行任務(wù)調(diào)度。那些就緒的任務(wù)會(huì)被記錄在案但不會(huì)立即執(zhí)行。這就像是一個(gè)公司的調(diào)度中心內(nèi)核突然宣布停工但公司的鐘表Tick中斷還在走員工們?nèi)蝿?wù)收到的工作指令中斷、事件都堆在調(diào)度中心的桌子上但沒(méi)人去分發(fā)和處理。只有當(dāng)前正在干活的那個(gè)員工當(dāng)前任務(wù)還能繼續(xù)。2.2 為什么以及何時(shí)使用調(diào)度鎖調(diào)度鎖是一種非常“重”的操作它破壞了RTOS最基本的并發(fā)特性。所以它的使用場(chǎng)景極其有限且需要非常謹(jǐn)慎保護(hù)非線程安全的庫(kù)函數(shù)當(dāng)你必須調(diào)用一個(gè)第三方庫(kù)函數(shù)而這個(gè)函數(shù)內(nèi)部不是可重入的比如某些老的C標(biāo)準(zhǔn)庫(kù)函數(shù)你又無(wú)法修改它時(shí)可以用調(diào)度鎖將它包裹起來(lái)防止任務(wù)切換導(dǎo)致的數(shù)據(jù)錯(cuò)亂。短暫的、確定性的關(guān)鍵段執(zhí)行一段非常短小、執(zhí)行時(shí)間可預(yù)測(cè)的代碼且這段代碼訪問(wèn)了多個(gè)任務(wù)共享的、簡(jiǎn)單的數(shù)據(jù)結(jié)構(gòu)如一個(gè)全局變量或結(jié)構(gòu)體又覺(jué)得用信號(hào)量或互斥量太“重”時(shí)。但請(qǐng)注意這通常不是最佳實(shí)踐重要提示在絕大多數(shù)情況下使用互斥量Mutex或信號(hào)量Semaphore來(lái)保護(hù)共享資源是遠(yuǎn)比使用調(diào)度鎖更優(yōu)的選擇。互斥量只會(huì)阻塞試圖訪問(wèn)同一資源的其他任務(wù)而不會(huì)影響系統(tǒng)中不相關(guān)任務(wù)的執(zhí)行。調(diào)度鎖則是“一刀切”地暫停了整個(gè)任務(wù)級(jí)的并發(fā)。2.3 調(diào)度鎖的致命陷阱與實(shí)戰(zhàn)避坑開(kāi)頭我踩的那個(gè)坑就是濫用調(diào)度鎖的典型。下面結(jié)合熱搜里的常見(jiàn)問(wèn)題細(xì)說(shuō)幾個(gè)陷阱陷阱一在調(diào)度鎖內(nèi)調(diào)用可能引起阻塞的API這是最危險(xiǎn)的錯(cuò)誤。例如vTaskSuspendAll(); // 鎖調(diào)度器 xQueueReceive(xDataQueue, data, portMAX_DELAY); // 試圖從隊(duì)列接收但調(diào)度器停了 xTaskResumeAll(); // 永遠(yuǎn)執(zhí)行不到這里xQueueReceive如果發(fā)現(xiàn)隊(duì)列為空它會(huì)試圖將當(dāng)前任務(wù)阻塞等待數(shù)據(jù)。但調(diào)度器停了它無(wú)法進(jìn)行任務(wù)切換這個(gè)阻塞操作會(huì)失敗或?qū)е挛炊x行為很可能直接導(dǎo)致任務(wù)卡死或系統(tǒng)崩潰。任何帶有portMAX_DELAY參數(shù)的API在調(diào)度鎖內(nèi)調(diào)用都極其危險(xiǎn)。陷阱二鎖定時(shí)長(zhǎng)不可控調(diào)度鎖必須成對(duì)、快速使用。如果你在鎖內(nèi)執(zhí)行了一個(gè)耗時(shí)的循環(huán)、一個(gè)不確定的硬件等待如等待某個(gè)傳感器響應(yīng)那么整個(gè)系統(tǒng)的任務(wù)響應(yīng)都將被延遲。這對(duì)于需要實(shí)時(shí)性的系統(tǒng)是災(zāi)難性的。我遇到的ADC任務(wù)計(jì)算超時(shí)就是這種情況。陷阱三與中斷服務(wù)程序ISR的交互調(diào)度鎖不關(guān)中斷所以ISR照常執(zhí)行。如果ISR釋放了一個(gè)信號(hào)量或發(fā)送了一個(gè)消息到隊(duì)列喚醒了另一個(gè)更高優(yōu)先級(jí)的任務(wù)這個(gè)任務(wù)雖然被標(biāo)記為就緒但由于調(diào)度器被掛起它無(wú)法立即運(yùn)行。直到調(diào)用xTaskResumeAll()時(shí)內(nèi)核會(huì)檢查在調(diào)度器掛起期間是否有更高優(yōu)先級(jí)任務(wù)就緒如果有會(huì)立即進(jìn)行一次上下文切換。這可能導(dǎo)致從xTaskResumeAll()返回后當(dāng)前任務(wù)已經(jīng)不再是調(diào)用vTaskSuspendAll()的那個(gè)任務(wù)了這一點(diǎn)在編寫(xiě)代碼時(shí)必須心中有數(shù)。如何排查這類問(wèn)題如果你的系統(tǒng)出現(xiàn)了疑似調(diào)度鎖濫用導(dǎo)致的“卡死”可以檢查代碼全局搜索vTaskSuspendAll()審視其作用域內(nèi)的代碼確保沒(méi)有阻塞調(diào)用且執(zhí)行路徑盡可能短。使用Trace工具像Percepio Tracealyzer這類工具可以可視化任務(wù)調(diào)度情況。如果看到某個(gè)任務(wù)長(zhǎng)時(shí)間處于“運(yùn)行(Running)”狀態(tài)而其他任務(wù)一直“就緒(Ready)”但無(wú)法執(zhí)行很可能就是調(diào)度鎖在作祟。添加調(diào)試鉤子可以在vTaskSuspendAll()和xTaskResumeAll()里添加計(jì)數(shù)值或時(shí)間戳打印監(jiān)控鎖的持有時(shí)間。3. 任務(wù)鎖Task Lock給當(dāng)前任務(wù)穿上“防彈衣”任務(wù)鎖更準(zhǔn)確的叫法是“從中斷中屏蔽調(diào)度”。它通過(guò)兩個(gè)宏實(shí)現(xiàn)taskENTER_CRITICAL_FROM_ISR()和taskEXIT_CRITICAL_FROM_ISR()。注意它和“臨界區(qū)”宏taskENTER_CRITICAL()名字很像但用途完全不同。3.1 任務(wù)鎖解決了什么問(wèn)題想象一個(gè)場(chǎng)景一個(gè)低優(yōu)先級(jí)的任務(wù)T1正在向一個(gè)全局鏈表添加節(jié)點(diǎn)。這時(shí)一個(gè)高優(yōu)先級(jí)的中斷發(fā)生了在它的ISR里它釋放了一個(gè)信號(hào)量。這個(gè)信號(hào)量喚醒了一個(gè)等待它的、優(yōu)先級(jí)比T1更高的任務(wù)T2。根據(jù)FreeRTOS的搶占式調(diào)度規(guī)則當(dāng)中斷退出時(shí)會(huì)進(jìn)行一次上下文切換T1會(huì)被立刻掛起T2開(kāi)始運(yùn)行。如果T2也恰好要操作同一個(gè)全局鏈表那么數(shù)據(jù)競(jìng)爭(zhēng)就發(fā)生了——T1的添加操作可能只完成了一半。任務(wù)鎖就是為了防止這種情況它保證當(dāng)前任務(wù)不會(huì)被“來(lái)自中斷”的調(diào)度請(qǐng)求所搶占。注意它阻止的是“在中斷服務(wù)程序中引發(fā)的任務(wù)切換”而不是阻止中斷本身。3.2 任務(wù)鎖的工作原理它的實(shí)現(xiàn)依賴于FreeRTOS內(nèi)核的一個(gè)計(jì)數(shù)器uxSchedulerSuspended。當(dāng)你調(diào)用taskENTER_CRITICAL_FROM_ISR()時(shí)它會(huì)將這個(gè)計(jì)數(shù)器加1。當(dāng)中斷服務(wù)程序調(diào)用諸如xSemaphoreGiveFromISR()這類函數(shù)時(shí)這些函數(shù)內(nèi)部會(huì)檢查uxSchedulerSuspended是否大于0。如果大于0它們只會(huì)將目標(biāo)任務(wù)設(shè)置為就緒狀態(tài)并設(shè)置一個(gè)“掛起的上下文切換”標(biāo)志xYieldPending但不會(huì)直接請(qǐng)求上下文切換即不會(huì)將pdTRUE傳遞給portYIELD_FROM_ISR()。當(dāng)任務(wù)調(diào)用taskEXIT_CRITICAL_FROM_ISR()將計(jì)數(shù)器減回0時(shí)它會(huì)檢查xYieldPending標(biāo)志。如果標(biāo)志被設(shè)置說(shuō)明在任務(wù)鎖期間有更高優(yōu)先級(jí)任務(wù)被ISR喚醒了那么此時(shí)會(huì)立即觸發(fā)一次上下文切換。3.3 任務(wù)鎖的典型應(yīng)用場(chǎng)景與代碼示例任務(wù)鎖最適合保護(hù)“任務(wù)代碼”與“中斷服務(wù)程序代碼”共享的、簡(jiǎn)單的數(shù)據(jù)結(jié)構(gòu)。它比調(diào)度鎖更輕量因?yàn)樗挥绊懹蒊SR觸發(fā)的調(diào)度不影響由任務(wù)本身觸發(fā)的調(diào)度比如一個(gè)任務(wù)釋放信號(hào)量給另一個(gè)任務(wù)。// 假設(shè)有一個(gè)全局鏈表被一個(gè)任務(wù)和一個(gè)UART接收中斷ISR共同訪問(wèn)。 LinkedList_t *pxList; // 在任務(wù)函數(shù)中的訪問(wèn) void vTaskDataProcessor(void *pvParameters) { while(1) { // ... 做一些其他事情 ... // 準(zhǔn)備操作共享鏈表進(jìn)入任務(wù)鎖 UBaseType_t uxSavedInterruptStatus taskENTER_CRITICAL_FROM_ISR(); // 安全地向鏈表添加一個(gè)節(jié)點(diǎn) vListInsertEnd(pxList, (xNewNode.xListItem)); // 操作完成退出任務(wù)鎖 taskEXIT_CRITICAL_FROM_ISR(uxSavedInterruptStatus); // ... 其他代碼這里可以被其他任務(wù)非由當(dāng)前ISR直接喚醒的正常搶占 ... } } // 在UART RX中斷服務(wù)程序中 void USART1_IRQHandler(void) { BaseType_t xHigherPriorityTaskWoken pdFALSE; char cReceivedByte; if(USART_GetITStatus(USART1, USART_IT_RXNE) ! RESET) { cReceivedByte USART_ReceiveData(USART1); // 將接收到的字節(jié)放入隊(duì)列假設(shè)隊(duì)列足夠深不會(huì)滿 xQueueSendToBackFromISR(xUartQueue, cReceivedByte, xHigherPriorityTaskWoken); // 同時(shí)也可能需要操作那個(gè)共享鏈表例如記錄日志 // 注意ISR里不能使用 taskENTER_CRITICAL_FROM_ISR // 對(duì)共享鏈表的ISR操作也需要其他保護(hù)機(jī)制如使用獨(dú)立的ISR專用鏈表再在任務(wù)中合并。 } // 如果有任務(wù)鎖且xHigherPriorityTaskWoken被設(shè)為pdTRUE調(diào)度可能被延遲 portYIELD_FROM_ISR(xHigherPriorityTaskWoken); }在上面的任務(wù)代碼中vListInsertEnd操作被任務(wù)鎖保護(hù)確保在插入過(guò)程中即使UART中斷發(fā)生并喚醒了更高優(yōu)先級(jí)的任務(wù)這個(gè)插入操作也能原子性地完成不會(huì)被中途打斷。退出任務(wù)鎖后如果真有更高優(yōu)先級(jí)任務(wù)在鎖期間被喚醒切換會(huì)立刻發(fā)生。4. 中斷鎖Interrupt Lock與臨界區(qū)Critical Section這是最底層、最強(qiáng)大的“鎖”它直接操作處理器的中斷開(kāi)關(guān)。在FreeRTOS中它通過(guò)taskENTER_CRITICAL()和taskEXIT_CRITICAL()這一對(duì)宏來(lái)提供通常被稱為“進(jìn)入/退出臨界區(qū)”。4.1 臨界區(qū)的本質(zhì)屏蔽中斷taskENTER_CRITICAL()的實(shí)現(xiàn)因處理器和移植層portmacro.h而異但其核心是提升中斷屏蔽優(yōu)先級(jí)或直接禁用全局中斷。例如在Cortex-M內(nèi)核上它通常通過(guò)操作BASEPRI寄存器來(lái)實(shí)現(xiàn)屏蔽所有優(yōu)先級(jí)低于某個(gè)閾值的中斷。這意味著在臨界區(qū)內(nèi)所有被屏蔽的中斷都不會(huì)得到響應(yīng)。這包括了系統(tǒng)Tick中斷、硬件外設(shè)定時(shí)器中斷、通信接口中斷等。任務(wù)切換不可能發(fā)生因?yàn)槿蝿?wù)切換的觸發(fā)源如Tick中斷、軟件Yield都被禁止了。代碼段獲得了真正的“原子性”執(zhí)行。4.2 臨界區(qū)的代價(jià)與使用準(zhǔn)則關(guān)中斷的代價(jià)是巨大的它會(huì)直接影響系統(tǒng)的實(shí)時(shí)性。一個(gè)關(guān)鍵的中斷比如電機(jī)控制PWM、緊急停止信號(hào)如果被延遲響應(yīng)可能導(dǎo)致硬件故障。因此使用臨界區(qū)的黃金法則是盡可能短。它適用于保護(hù)極短的、對(duì)時(shí)序敏感的代碼段例如讀寫(xiě)一個(gè)在多任務(wù)和中斷中共享的簡(jiǎn)單變量uint32_t。處理器架構(gòu)相關(guān)的特定操作比如某些芯片在配置硬件寄存器時(shí)需要一系列連續(xù)的寫(xiě)操作不能被打斷。FreeRTOS內(nèi)核內(nèi)部?jī)?nèi)核自己就用臨界區(qū)來(lái)保護(hù)其內(nèi)部數(shù)據(jù)結(jié)構(gòu)如就緒列表的完整性。4.3 臨界區(qū)、任務(wù)鎖與調(diào)度鎖的對(duì)比與選型為了更清晰地理解這三者的區(qū)別和選用場(chǎng)景我們用一個(gè)表格來(lái)總結(jié)特性臨界區(qū) (taskENTER_CRITICAL())任務(wù)鎖 (taskENTER_CRITICAL_FROM_ISR())調(diào)度鎖 (vTaskSuspendAll())保護(hù)對(duì)象任何共享資源任務(wù)間、任務(wù)與ISR間主要保護(hù)任務(wù)代碼不被來(lái)自ISR的調(diào)度打斷保護(hù)代碼段不被任何任務(wù)切換打斷實(shí)現(xiàn)機(jī)制屏蔽或提升屏蔽優(yōu)先級(jí)所有或部分中斷增加調(diào)度器掛起計(jì)數(shù)器延遲ISR觸發(fā)的切換掛起調(diào)度器影響范圍整個(gè)系統(tǒng)的中斷響應(yīng)延遲當(dāng)前任務(wù)的搶占僅針對(duì)ISR觸發(fā)整個(gè)系統(tǒng)的任務(wù)并發(fā)性執(zhí)行時(shí)間必須極短微秒級(jí)可以稍長(zhǎng)但仍有風(fēng)險(xiǎn)應(yīng)盡可能短但理論上可以更長(zhǎng)仍需謹(jǐn)慎能否在ISR中使用絕對(duì)不能會(huì)導(dǎo)致遞歸關(guān)中斷等問(wèn)題絕對(duì)不能專為任務(wù)設(shè)計(jì)絕對(duì)不能內(nèi)部能否調(diào)用阻塞API絕對(duì)不能絕對(duì)不能絕對(duì)不能會(huì)導(dǎo)致系統(tǒng)掛起典型應(yīng)用場(chǎng)景原子性地讀寫(xiě)一個(gè)全局int變量操作芯片特定硬件序列。保護(hù)任務(wù)中訪問(wèn)的、ISR也會(huì)操作的簡(jiǎn)單數(shù)據(jù)結(jié)構(gòu)。調(diào)用不可重入的第三方庫(kù)函數(shù)極短的關(guān)鍵段不推薦作為首選。首選替代方案對(duì)于復(fù)雜數(shù)據(jù)使用互斥量。對(duì)于簡(jiǎn)單變量考慮使用原子操作如果CPU支持。使用隊(duì)列Queue在任務(wù)和ISR之間傳遞數(shù)據(jù)徹底解耦。強(qiáng)烈建議使用互斥量或信號(hào)量。4.4 移植中的常見(jiàn)坑portmacro.h錯(cuò)誤熱搜詞里有一條..\freertos\port\portmacro.h(73): error: #35: #error directive: configtick_t這直接指向了中斷鎖/臨界區(qū)相關(guān)的移植層配置。portmacro.h文件定義了與處理器架構(gòu)相關(guān)的關(guān)鍵宏包括taskENTER_CRITICAL()的實(shí)現(xiàn)。這個(gè)錯(cuò)誤通常是因?yàn)镕reeRTOSConfig.h中的configTICK_TYPE_WIDTH_IN_BITS配置與portmacro.h中對(duì)于Tick計(jì)數(shù)類型的定義不匹配。configTICK_TYPE_WIDTH_IN_BITS決定了TickType_t是16位還是32位而移植層的代碼特別是中斷控制部分必須與之匹配。解決方法是確保你使用的FreeRTOS移植版本Port層與你的內(nèi)核配置文件FreeRTOSConfig.h是兼容的。很多時(shí)候從官方示例工程中拷貝一份正確的FreeRTOSConfig.h能解決大部分移植問(wèn)題。5. 實(shí)戰(zhàn)進(jìn)階鎖的替代方案與最佳實(shí)踐理解了各種鎖的威力與危險(xiǎn)后我們應(yīng)該養(yǎng)成一個(gè)習(xí)慣優(yōu)先尋找鎖的替代方案。5.1 替代方案一使用隊(duì)列進(jìn)行任務(wù)間通信這是FreeRTOS最核心、最安全的通信機(jī)制。隊(duì)列本身是線程安全的它內(nèi)部已經(jīng)使用了臨界區(qū)等機(jī)制來(lái)保護(hù)數(shù)據(jù)。使用隊(duì)列可以將共享數(shù)據(jù)的訪問(wèn)串行化從而避免任務(wù)間直接競(jìng)爭(zhēng)。場(chǎng)景任務(wù)A產(chǎn)生數(shù)據(jù)任務(wù)B消費(fèi)數(shù)據(jù)。做法創(chuàng)建一個(gè)隊(duì)列。任務(wù)A用xQueueSend()發(fā)送任務(wù)B用xQueueReceive()接收。完全不需要額外的鎖。優(yōu)點(diǎn)安全、解耦、支持阻塞等待是RTOS的“正道”。5.2 替代方案二使用互斥量保護(hù)共享資源當(dāng)多個(gè)任務(wù)需要訪問(wèn)同一個(gè)硬件外設(shè)如SPI Flash、同一個(gè)復(fù)雜數(shù)據(jù)結(jié)構(gòu)如鏈表、樹(shù)時(shí)互斥量Mutex是最佳選擇。場(chǎng)景多個(gè)任務(wù)需要讀寫(xiě)同一個(gè)SD卡。做法創(chuàng)建一個(gè)互斥量。任何任務(wù)在操作SD卡前先獲取(xSemaphoreTake)這個(gè)互斥量操作完成后釋放(xSemaphoreGive)它。優(yōu)點(diǎn)只有真正競(jìng)爭(zhēng)資源的任務(wù)才會(huì)被阻塞不影響系統(tǒng)其他部分?；コ饬窟€具有優(yōu)先級(jí)繼承機(jī)制可以緩解優(yōu)先級(jí)反轉(zhuǎn)問(wèn)題。5.3 替代方案三使用事件組進(jìn)行同步事件組非常適合多個(gè)任務(wù)等待不同事件組合或者一個(gè)任務(wù)通知多個(gè)任務(wù)的場(chǎng)景。場(chǎng)景一個(gè)數(shù)據(jù)采集任務(wù)需要等待“傳感器就緒”和“存儲(chǔ)卡就緒”兩個(gè)事件都發(fā)生后才能開(kāi)始工作。做法創(chuàng)建一個(gè)事件組。傳感器驅(qū)動(dòng)任務(wù)和SD卡初始化任務(wù)在完成后分別設(shè)置對(duì)應(yīng)的事件位。數(shù)據(jù)采集任務(wù)等待(xEventGroupWaitBits)這兩個(gè)位同時(shí)置位。優(yōu)點(diǎn)輕量、高效可以同時(shí)等待/通知多個(gè)事件。5.4 替代方案四使用流緩沖區(qū)或消息緩沖區(qū)這是FreeRTOS V10.0.0之后引入的高級(jí)特性特別適合生產(chǎn)者-消費(fèi)者模型尤其是流式數(shù)據(jù)如音頻、圖像數(shù)據(jù)塊的傳輸。場(chǎng)景ADC以固定頻率采樣產(chǎn)生連續(xù)的字節(jié)流需要通過(guò)一個(gè)任務(wù)進(jìn)行處理。做法使用xStreamBufferCreate()創(chuàng)建一個(gè)流緩沖區(qū)。ADC中斷或DMA完成中斷中將數(shù)據(jù)發(fā)送(xStreamBufferSendFromISR)到流緩沖區(qū)處理任務(wù)從中接收(xStreamBufferReceive)數(shù)據(jù)。優(yōu)點(diǎn)比隊(duì)列更節(jié)省內(nèi)存基于字節(jié)流并且有觸發(fā)閾值通知機(jī)制非常高效。5.5 最佳實(shí)踐總結(jié)無(wú)鎖設(shè)計(jì)優(yōu)先重新審視你的軟件架構(gòu)看是否能通過(guò)任務(wù)劃分、數(shù)據(jù)流設(shè)計(jì)從根本上避免共享資源的出現(xiàn)。能用高層抽象不用底層鎖互斥量 隊(duì)列 事件組 任務(wù)鎖/臨界區(qū) 調(diào)度鎖。把調(diào)度鎖作為最后萬(wàn)不得已的手段。鎖的粒度要細(xì)只鎖住必須保護(hù)的最小代碼區(qū)域鎖一獲得操作完立即釋放。避免嵌套盡量避免鎖的嵌套尤其是不同種類的鎖嵌套這極易導(dǎo)致死鎖。測(cè)量與監(jiān)控使用系統(tǒng)運(yùn)行時(shí)間統(tǒng)計(jì)功能configGENERATE_RUN_TIME_STATS或Trace工具監(jiān)控高優(yōu)先級(jí)任務(wù)的阻塞時(shí)間評(píng)估鎖對(duì)實(shí)時(shí)性的影響?；氐轿易畛醯哪莻€(gè)坑最終的解決方案是移除了那對(duì)vTaskSuspendAll()和xTaskResumeAll()將ADC計(jì)算出的結(jié)果通過(guò)一個(gè)隊(duì)列發(fā)送給一個(gè)專門的數(shù)據(jù)處理任務(wù)。數(shù)據(jù)處理任務(wù)使用互斥量來(lái)保護(hù)對(duì)最終結(jié)果數(shù)據(jù)結(jié)構(gòu)的訪問(wèn)。這樣改動(dòng)后系統(tǒng)的實(shí)時(shí)性恢復(fù)了UART任務(wù)和心跳任務(wù)再也沒(méi)被“餓死”過(guò)。這個(gè)教訓(xùn)讓我深刻認(rèn)識(shí)到在RTOS的世界里選擇正確的同步機(jī)制遠(yuǎn)比粗暴地“上鎖”要重要得多。 FreeRTOS三把鎖深度解析：調(diào)度鎖、任務(wù)鎖與臨界區(qū)的正確使用與避坑指南
1. 從一次詭異的“任務(wù)卡死”說(shuō)起那天下午我正在調(diào)試一個(gè)基于STM32F407的工業(yè)數(shù)據(jù)采集器。系統(tǒng)里跑著FreeRTOS幾個(gè)任務(wù)分工明確一個(gè)任務(wù)負(fù)責(zé)通過(guò)ADC采集傳感器數(shù)據(jù)一個(gè)任務(wù)通過(guò)UART與上位機(jī)通信還有一個(gè)低優(yōu)先級(jí)的任務(wù)負(fù)責(zé)閃爍LED作為心跳指示。一切都運(yùn)行得很順暢直到我為了“優(yōu)化”代碼在ADC采集任務(wù)里加了幾行“保護(hù)”代碼——我用vTaskSuspendAll()把調(diào)度器給鎖了想著這樣能確保一小段關(guān)鍵計(jì)算不被其他任務(wù)打斷算得更“精確”。結(jié)果系統(tǒng)運(yùn)行幾分鐘后心跳LED不閃了上位機(jī)也收不到任何數(shù)據(jù)。用調(diào)試器掛上去一看好家伙除了ADC采集任務(wù)還在那吭哧吭哧地算其實(shí)也卡在一個(gè)循環(huán)里了其他所有任務(wù)包括高優(yōu)先級(jí)的UART發(fā)送任務(wù)全都“靜止”了。整個(gè)系統(tǒng)的多任務(wù)并發(fā)能力仿佛一夜回到解放前變成了一個(gè)蹩腳的前后臺(tái)系統(tǒng)。這次踩坑讓我付出了半天查bug的代價(jià)也讓我徹底明白在FreeRTOS里“鎖”絕對(duì)不能亂用。你以為是保護(hù)實(shí)際上可能是一把讓系統(tǒng)“窒息”的鎖。FreeRTOS提供了調(diào)度鎖、任務(wù)鎖和中斷鎖這幾把“鎖”它們名字相似但原理、用途和殺傷力天差地別。用對(duì)了它們是保障關(guān)鍵區(qū)域安全的利器用錯(cuò)了就是系統(tǒng)死鎖、響應(yīng)遲緩的罪魁禍?zhǔn)?。今天我們就?lái)徹底拆解這三把鎖結(jié)合那些熱搜里常見(jiàn)的坑比如堆棧溢出、移植錯(cuò)誤、DMA配合問(wèn)題把它們的脾氣秉性摸個(gè)門兒清。2. 調(diào)度鎖Scheduler Lock讓整個(gè)系統(tǒng)“靜音”調(diào)度鎖對(duì)應(yīng)的API是vTaskSuspendAll()和xTaskResumeAll()。它的作用簡(jiǎn)單粗暴掛起暫停FreeRTOS的任務(wù)調(diào)度器。2.1 調(diào)度器掛起后世界發(fā)生了什么當(dāng)你調(diào)用vTaskSuspendAll()后FreeRTOS內(nèi)核的調(diào)度器就停止工作了。這意味著任務(wù)切換被禁止即使有更高優(yōu)先級(jí)的任務(wù)就緒了內(nèi)核也不會(huì)進(jìn)行上下文切換。當(dāng)前任務(wù)會(huì)一直霸占著CPU。內(nèi)核對(duì)象操作被掛起隊(duì)列Queue、信號(hào)量Semaphore、事件組Event Group等內(nèi)核對(duì)象的“阻塞”操作會(huì)失效。如果一個(gè)任務(wù)試圖從一個(gè)空隊(duì)列讀取數(shù)據(jù)它不會(huì)像往常一樣進(jìn)入阻塞態(tài)等待而是會(huì)直接返回一個(gè)錯(cuò)誤如果設(shè)置了超時(shí)且超時(shí)不為0則會(huì)等待超時(shí)但期間調(diào)度器依然不工作。系統(tǒng)心跳Tick中斷依然在運(yùn)行這是最容易讓人誤解的一點(diǎn)vTaskSuspendAll()并不會(huì)關(guān)閉中斷包括系統(tǒng)節(jié)拍器SysTick中斷。Tick中斷依然會(huì)定期發(fā)生內(nèi)核會(huì)照常更新內(nèi)部的Tick計(jì)數(shù)但不會(huì)在Tick中斷服務(wù)程序中進(jìn)行任務(wù)調(diào)度。那些就緒的任務(wù)會(huì)被記錄在案但不會(huì)立即執(zhí)行。這就像是一個(gè)公司的調(diào)度中心內(nèi)核突然宣布停工但公司的鐘表Tick中斷還在走員工們?nèi)蝿?wù)收到的工作指令中斷、事件都堆在調(diào)度中心的桌子上但沒(méi)人去分發(fā)和處理。只有當(dāng)前正在干活的那個(gè)員工當(dāng)前任務(wù)還能繼續(xù)。2.2 為什么以及何時(shí)使用調(diào)度鎖調(diào)度鎖是一種非常“重”的操作它破壞了RTOS最基本的并發(fā)特性。所以它的使用場(chǎng)景極其有限且需要非常謹(jǐn)慎保護(hù)非線程安全的庫(kù)函數(shù)當(dāng)你必須調(diào)用一個(gè)第三方庫(kù)函數(shù)而這個(gè)函數(shù)內(nèi)部不是可重入的比如某些老的C標(biāo)準(zhǔn)庫(kù)函數(shù)你又無(wú)法修改它時(shí)可以用調(diào)度鎖將它包裹起來(lái)防止任務(wù)切換導(dǎo)致的數(shù)據(jù)錯(cuò)亂。短暫的、確定性的關(guān)鍵段執(zhí)行一段非常短小、執(zhí)行時(shí)間可預(yù)測(cè)的代碼且這段代碼訪問(wèn)了多個(gè)任務(wù)共享的、簡(jiǎn)單的數(shù)據(jù)結(jié)構(gòu)如一個(gè)全局變量或結(jié)構(gòu)體又覺(jué)得用信號(hào)量或互斥量太“重”時(shí)。但請(qǐng)注意這通常不是最佳實(shí)踐重要提示在絕大多數(shù)情況下使用互斥量Mutex或信號(hào)量Semaphore來(lái)保護(hù)共享資源是遠(yuǎn)比使用調(diào)度鎖更優(yōu)的選擇。互斥量只會(huì)阻塞試圖訪問(wèn)同一資源的其他任務(wù)而不會(huì)影響系統(tǒng)中不相關(guān)任務(wù)的執(zhí)行。調(diào)度鎖則是“一刀切”地暫停了整個(gè)任務(wù)級(jí)的并發(fā)。2.3 調(diào)度鎖的致命陷阱與實(shí)戰(zhàn)避坑開(kāi)頭我踩的那個(gè)坑就是濫用調(diào)度鎖的典型。下面結(jié)合熱搜里的常見(jiàn)問(wèn)題細(xì)說(shuō)幾個(gè)陷阱陷阱一在調(diào)度鎖內(nèi)調(diào)用可能引起阻塞的API這是最危險(xiǎn)的錯(cuò)誤。例如vTaskSuspendAll(); // 鎖調(diào)度器 xQueueReceive(xDataQueue, data, portMAX_DELAY); // 試圖從隊(duì)列接收但調(diào)度器停了 xTaskResumeAll(); // 永遠(yuǎn)執(zhí)行不到這里xQueueReceive如果發(fā)現(xiàn)隊(duì)列為空它會(huì)試圖將當(dāng)前任務(wù)阻塞等待數(shù)據(jù)。但調(diào)度器停了它無(wú)法進(jìn)行任務(wù)切換這個(gè)阻塞操作會(huì)失敗或?qū)е挛炊x行為很可能直接導(dǎo)致任務(wù)卡死或系統(tǒng)崩潰。任何帶有portMAX_DELAY參數(shù)的API在調(diào)度鎖內(nèi)調(diào)用都極其危險(xiǎn)。陷阱二鎖定時(shí)長(zhǎng)不可控調(diào)度鎖必須成對(duì)、快速使用。如果你在鎖內(nèi)執(zhí)行了一個(gè)耗時(shí)的循環(huán)、一個(gè)不確定的硬件等待如等待某個(gè)傳感器響應(yīng)那么整個(gè)系統(tǒng)的任務(wù)響應(yīng)都將被延遲。這對(duì)于需要實(shí)時(shí)性的系統(tǒng)是災(zāi)難性的。我遇到的ADC任務(wù)計(jì)算超時(shí)就是這種情況。陷阱三與中斷服務(wù)程序ISR的交互調(diào)度鎖不關(guān)中斷所以ISR照常執(zhí)行。如果ISR釋放了一個(gè)信號(hào)量或發(fā)送了一個(gè)消息到隊(duì)列喚醒了另一個(gè)更高優(yōu)先級(jí)的任務(wù)這個(gè)任務(wù)雖然被標(biāo)記為就緒但由于調(diào)度器被掛起它無(wú)法立即運(yùn)行。直到調(diào)用xTaskResumeAll()時(shí)內(nèi)核會(huì)檢查在調(diào)度器掛起期間是否有更高優(yōu)先級(jí)任務(wù)就緒如果有會(huì)立即進(jìn)行一次上下文切換。這可能導(dǎo)致從xTaskResumeAll()返回后當(dāng)前任務(wù)已經(jīng)不再是調(diào)用vTaskSuspendAll()的那個(gè)任務(wù)了這一點(diǎn)在編寫(xiě)代碼時(shí)必須心中有數(shù)。如何排查這類問(wèn)題如果你的系統(tǒng)出現(xiàn)了疑似調(diào)度鎖濫用導(dǎo)致的“卡死”可以檢查代碼全局搜索vTaskSuspendAll()審視其作用域內(nèi)的代碼確保沒(méi)有阻塞調(diào)用且執(zhí)行路徑盡可能短。使用Trace工具像Percepio Tracealyzer這類工具可以可視化任務(wù)調(diào)度情況。如果看到某個(gè)任務(wù)長(zhǎng)時(shí)間處于“運(yùn)行(Running)”狀態(tài)而其他任務(wù)一直“就緒(Ready)”但無(wú)法執(zhí)行很可能就是調(diào)度鎖在作祟。添加調(diào)試鉤子可以在vTaskSuspendAll()和xTaskResumeAll()里添加計(jì)數(shù)值或時(shí)間戳打印監(jiān)控鎖的持有時(shí)間。3. 任務(wù)鎖Task Lock給當(dāng)前任務(wù)穿上“防彈衣”任務(wù)鎖更準(zhǔn)確的叫法是“從中斷中屏蔽調(diào)度”。它通過(guò)兩個(gè)宏實(shí)現(xiàn)taskENTER_CRITICAL_FROM_ISR()和taskEXIT_CRITICAL_FROM_ISR()。注意它和“臨界區(qū)”宏taskENTER_CRITICAL()名字很像但用途完全不同。3.1 任務(wù)鎖解決了什么問(wèn)題想象一個(gè)場(chǎng)景一個(gè)低優(yōu)先級(jí)的任務(wù)T1正在向一個(gè)全局鏈表添加節(jié)點(diǎn)。這時(shí)一個(gè)高優(yōu)先級(jí)的中斷發(fā)生了在它的ISR里它釋放了一個(gè)信號(hào)量。這個(gè)信號(hào)量喚醒了一個(gè)等待它的、優(yōu)先級(jí)比T1更高的任務(wù)T2。根據(jù)FreeRTOS的搶占式調(diào)度規(guī)則當(dāng)中斷退出時(shí)會(huì)進(jìn)行一次上下文切換T1會(huì)被立刻掛起T2開(kāi)始運(yùn)行。如果T2也恰好要操作同一個(gè)全局鏈表那么數(shù)據(jù)競(jìng)爭(zhēng)就發(fā)生了——T1的添加操作可能只完成了一半。任務(wù)鎖就是為了防止這種情況它保證當(dāng)前任務(wù)不會(huì)被“來(lái)自中斷”的調(diào)度請(qǐng)求所搶占。注意它阻止的是“在中斷服務(wù)程序中引發(fā)的任務(wù)切換”而不是阻止中斷本身。3.2 任務(wù)鎖的工作原理它的實(shí)現(xiàn)依賴于FreeRTOS內(nèi)核的一個(gè)計(jì)數(shù)器uxSchedulerSuspended。當(dāng)你調(diào)用taskENTER_CRITICAL_FROM_ISR()時(shí)它會(huì)將這個(gè)計(jì)數(shù)器加1。當(dāng)中斷服務(wù)程序調(diào)用諸如xSemaphoreGiveFromISR()這類函數(shù)時(shí)這些函數(shù)內(nèi)部會(huì)檢查uxSchedulerSuspended是否大于0。如果大于0它們只會(huì)將目標(biāo)任務(wù)設(shè)置為就緒狀態(tài)并設(shè)置一個(gè)“掛起的上下文切換”標(biāo)志xYieldPending但不會(huì)直接請(qǐng)求上下文切換即不會(huì)將pdTRUE傳遞給portYIELD_FROM_ISR()。當(dāng)任務(wù)調(diào)用taskEXIT_CRITICAL_FROM_ISR()將計(jì)數(shù)器減回0時(shí)它會(huì)檢查xYieldPending標(biāo)志。如果標(biāo)志被設(shè)置說(shuō)明在任務(wù)鎖期間有更高優(yōu)先級(jí)任務(wù)被ISR喚醒了那么此時(shí)會(huì)立即觸發(fā)一次上下文切換。3.3 任務(wù)鎖的典型應(yīng)用場(chǎng)景與代碼示例任務(wù)鎖最適合保護(hù)“任務(wù)代碼”與“中斷服務(wù)程序代碼”共享的、簡(jiǎn)單的數(shù)據(jù)結(jié)構(gòu)。它比調(diào)度鎖更輕量因?yàn)樗挥绊懹蒊SR觸發(fā)的調(diào)度不影響由任務(wù)本身觸發(fā)的調(diào)度比如一個(gè)任務(wù)釋放信號(hào)量給另一個(gè)任務(wù)。// 假設(shè)有一個(gè)全局鏈表被一個(gè)任務(wù)和一個(gè)UART接收中斷ISR共同訪問(wèn)。 LinkedList_t *pxList; // 在任務(wù)函數(shù)中的訪問(wèn) void vTaskDataProcessor(void *pvParameters) { while(1) { // ... 做一些其他事情 ... // 準(zhǔn)備操作共享鏈表進(jìn)入任務(wù)鎖 UBaseType_t uxSavedInterruptStatus taskENTER_CRITICAL_FROM_ISR(); // 安全地向鏈表添加一個(gè)節(jié)點(diǎn) vListInsertEnd(pxList, (xNewNode.xListItem)); // 操作完成退出任務(wù)鎖 taskEXIT_CRITICAL_FROM_ISR(uxSavedInterruptStatus); // ... 其他代碼這里可以被其他任務(wù)非由當(dāng)前ISR直接喚醒的正常搶占 ... } } // 在UART RX中斷服務(wù)程序中 void USART1_IRQHandler(void) { BaseType_t xHigherPriorityTaskWoken pdFALSE; char cReceivedByte; if(USART_GetITStatus(USART1, USART_IT_RXNE) ! RESET) { cReceivedByte USART_ReceiveData(USART1); // 將接收到的字節(jié)放入隊(duì)列假設(shè)隊(duì)列足夠深不會(huì)滿 xQueueSendToBackFromISR(xUartQueue, cReceivedByte, xHigherPriorityTaskWoken); // 同時(shí)也可能需要操作那個(gè)共享鏈表例如記錄日志 // 注意ISR里不能使用 taskENTER_CRITICAL_FROM_ISR // 對(duì)共享鏈表的ISR操作也需要其他保護(hù)機(jī)制如使用獨(dú)立的ISR專用鏈表再在任務(wù)中合并。 } // 如果有任務(wù)鎖且xHigherPriorityTaskWoken被設(shè)為pdTRUE調(diào)度可能被延遲 portYIELD_FROM_ISR(xHigherPriorityTaskWoken); }在上面的任務(wù)代碼中vListInsertEnd操作被任務(wù)鎖保護(hù)確保在插入過(guò)程中即使UART中斷發(fā)生并喚醒了更高優(yōu)先級(jí)的任務(wù)這個(gè)插入操作也能原子性地完成不會(huì)被中途打斷。退出任務(wù)鎖后如果真有更高優(yōu)先級(jí)任務(wù)在鎖期間被喚醒切換會(huì)立刻發(fā)生。4. 中斷鎖Interrupt Lock與臨界區(qū)Critical Section這是最底層、最強(qiáng)大的“鎖”它直接操作處理器的中斷開(kāi)關(guān)。在FreeRTOS中它通過(guò)taskENTER_CRITICAL()和taskEXIT_CRITICAL()這一對(duì)宏來(lái)提供通常被稱為“進(jìn)入/退出臨界區(qū)”。4.1 臨界區(qū)的本質(zhì)屏蔽中斷taskENTER_CRITICAL()的實(shí)現(xiàn)因處理器和移植層portmacro.h而異但其核心是提升中斷屏蔽優(yōu)先級(jí)或直接禁用全局中斷。例如在Cortex-M內(nèi)核上它通常通過(guò)操作BASEPRI寄存器來(lái)實(shí)現(xiàn)屏蔽所有優(yōu)先級(jí)低于某個(gè)閾值的中斷。這意味著在臨界區(qū)內(nèi)所有被屏蔽的中斷都不會(huì)得到響應(yīng)。這包括了系統(tǒng)Tick中斷、硬件外設(shè)定時(shí)器中斷、通信接口中斷等。任務(wù)切換不可能發(fā)生因?yàn)槿蝿?wù)切換的觸發(fā)源如Tick中斷、軟件Yield都被禁止了。代碼段獲得了真正的“原子性”執(zhí)行。4.2 臨界區(qū)的代價(jià)與使用準(zhǔn)則關(guān)中斷的代價(jià)是巨大的它會(huì)直接影響系統(tǒng)的實(shí)時(shí)性。一個(gè)關(guān)鍵的中斷比如電機(jī)控制PWM、緊急停止信號(hào)如果被延遲響應(yīng)可能導(dǎo)致硬件故障。因此使用臨界區(qū)的黃金法則是盡可能短。它適用于保護(hù)極短的、對(duì)時(shí)序敏感的代碼段例如讀寫(xiě)一個(gè)在多任務(wù)和中斷中共享的簡(jiǎn)單變量uint32_t。處理器架構(gòu)相關(guān)的特定操作比如某些芯片在配置硬件寄存器時(shí)需要一系列連續(xù)的寫(xiě)操作不能被打斷。FreeRTOS內(nèi)核內(nèi)部?jī)?nèi)核自己就用臨界區(qū)來(lái)保護(hù)其內(nèi)部數(shù)據(jù)結(jié)構(gòu)如就緒列表的完整性。4.3 臨界區(qū)、任務(wù)鎖與調(diào)度鎖的對(duì)比與選型為了更清晰地理解這三者的區(qū)別和選用場(chǎng)景我們用一個(gè)表格來(lái)總結(jié)特性臨界區(qū) (taskENTER_CRITICAL())任務(wù)鎖 (taskENTER_CRITICAL_FROM_ISR())調(diào)度鎖 (vTaskSuspendAll())保護(hù)對(duì)象任何共享資源任務(wù)間、任務(wù)與ISR間主要保護(hù)任務(wù)代碼不被來(lái)自ISR的調(diào)度打斷保護(hù)代碼段不被任何任務(wù)切換打斷實(shí)現(xiàn)機(jī)制屏蔽或提升屏蔽優(yōu)先級(jí)所有或部分中斷增加調(diào)度器掛起計(jì)數(shù)器延遲ISR觸發(fā)的切換掛起調(diào)度器影響范圍整個(gè)系統(tǒng)的中斷響應(yīng)延遲當(dāng)前任務(wù)的搶占僅針對(duì)ISR觸發(fā)整個(gè)系統(tǒng)的任務(wù)并發(fā)性執(zhí)行時(shí)間必須極短微秒級(jí)可以稍長(zhǎng)但仍有風(fēng)險(xiǎn)應(yīng)盡可能短但理論上可以更長(zhǎng)仍需謹(jǐn)慎能否在ISR中使用絕對(duì)不能會(huì)導(dǎo)致遞歸關(guān)中斷等問(wèn)題絕對(duì)不能專為任務(wù)設(shè)計(jì)絕對(duì)不能內(nèi)部能否調(diào)用阻塞API絕對(duì)不能絕對(duì)不能絕對(duì)不能會(huì)導(dǎo)致系統(tǒng)掛起典型應(yīng)用場(chǎng)景原子性地讀寫(xiě)一個(gè)全局int變量操作芯片特定硬件序列。保護(hù)任務(wù)中訪問(wèn)的、ISR也會(huì)操作的簡(jiǎn)單數(shù)據(jù)結(jié)構(gòu)。調(diào)用不可重入的第三方庫(kù)函數(shù)極短的關(guān)鍵段不推薦作為首選。首選替代方案對(duì)于復(fù)雜數(shù)據(jù)使用互斥量。對(duì)于簡(jiǎn)單變量考慮使用原子操作如果CPU支持。使用隊(duì)列Queue在任務(wù)和ISR之間傳遞數(shù)據(jù)徹底解耦。強(qiáng)烈建議使用互斥量或信號(hào)量。4.4 移植中的常見(jiàn)坑portmacro.h錯(cuò)誤熱搜詞里有一條..\freertos\port\portmacro.h(73): error: #35: #error directive: configtick_t這直接指向了中斷鎖/臨界區(qū)相關(guān)的移植層配置。portmacro.h文件定義了與處理器架構(gòu)相關(guān)的關(guān)鍵宏包括taskENTER_CRITICAL()的實(shí)現(xiàn)。這個(gè)錯(cuò)誤通常是因?yàn)镕reeRTOSConfig.h中的configTICK_TYPE_WIDTH_IN_BITS配置與portmacro.h中對(duì)于Tick計(jì)數(shù)類型的定義不匹配。configTICK_TYPE_WIDTH_IN_BITS決定了TickType_t是16位還是32位而移植層的代碼特別是中斷控制部分必須與之匹配。解決方法是確保你使用的FreeRTOS移植版本Port層與你的內(nèi)核配置文件FreeRTOSConfig.h是兼容的。很多時(shí)候從官方示例工程中拷貝一份正確的FreeRTOSConfig.h能解決大部分移植問(wèn)題。5. 實(shí)戰(zhàn)進(jìn)階鎖的替代方案與最佳實(shí)踐理解了各種鎖的威力與危險(xiǎn)后我們應(yīng)該養(yǎng)成一個(gè)習(xí)慣優(yōu)先尋找鎖的替代方案。5.1 替代方案一使用隊(duì)列進(jìn)行任務(wù)間通信這是FreeRTOS最核心、最安全的通信機(jī)制。隊(duì)列本身是線程安全的它內(nèi)部已經(jīng)使用了臨界區(qū)等機(jī)制來(lái)保護(hù)數(shù)據(jù)。使用隊(duì)列可以將共享數(shù)據(jù)的訪問(wèn)串行化從而避免任務(wù)間直接競(jìng)爭(zhēng)。場(chǎng)景任務(wù)A產(chǎn)生數(shù)據(jù)任務(wù)B消費(fèi)數(shù)據(jù)。做法創(chuàng)建一個(gè)隊(duì)列。任務(wù)A用xQueueSend()發(fā)送任務(wù)B用xQueueReceive()接收。完全不需要額外的鎖。優(yōu)點(diǎn)安全、解耦、支持阻塞等待是RTOS的“正道”。5.2 替代方案二使用互斥量保護(hù)共享資源當(dāng)多個(gè)任務(wù)需要訪問(wèn)同一個(gè)硬件外設(shè)如SPI Flash、同一個(gè)復(fù)雜數(shù)據(jù)結(jié)構(gòu)如鏈表、樹(shù)時(shí)互斥量Mutex是最佳選擇。場(chǎng)景多個(gè)任務(wù)需要讀寫(xiě)同一個(gè)SD卡。做法創(chuàng)建一個(gè)互斥量。任何任務(wù)在操作SD卡前先獲取(xSemaphoreTake)這個(gè)互斥量操作完成后釋放(xSemaphoreGive)它。優(yōu)點(diǎn)只有真正競(jìng)爭(zhēng)資源的任務(wù)才會(huì)被阻塞不影響系統(tǒng)其他部分?；コ饬窟€具有優(yōu)先級(jí)繼承機(jī)制可以緩解優(yōu)先級(jí)反轉(zhuǎn)問(wèn)題。5.3 替代方案三使用事件組進(jìn)行同步事件組非常適合多個(gè)任務(wù)等待不同事件組合或者一個(gè)任務(wù)通知多個(gè)任務(wù)的場(chǎng)景。場(chǎng)景一個(gè)數(shù)據(jù)采集任務(wù)需要等待“傳感器就緒”和“存儲(chǔ)卡就緒”兩個(gè)事件都發(fā)生后才能開(kāi)始工作。做法創(chuàng)建一個(gè)事件組。傳感器驅(qū)動(dòng)任務(wù)和SD卡初始化任務(wù)在完成后分別設(shè)置對(duì)應(yīng)的事件位。數(shù)據(jù)采集任務(wù)等待(xEventGroupWaitBits)這兩個(gè)位同時(shí)置位。優(yōu)點(diǎn)輕量、高效可以同時(shí)等待/通知多個(gè)事件。5.4 替代方案四使用流緩沖區(qū)或消息緩沖區(qū)這是FreeRTOS V10.0.0之后引入的高級(jí)特性特別適合生產(chǎn)者-消費(fèi)者模型尤其是流式數(shù)據(jù)如音頻、圖像數(shù)據(jù)塊的傳輸。場(chǎng)景ADC以固定頻率采樣產(chǎn)生連續(xù)的字節(jié)流需要通過(guò)一個(gè)任務(wù)進(jìn)行處理。做法使用xStreamBufferCreate()創(chuàng)建一個(gè)流緩沖區(qū)。ADC中斷或DMA完成中斷中將數(shù)據(jù)發(fā)送(xStreamBufferSendFromISR)到流緩沖區(qū)處理任務(wù)從中接收(xStreamBufferReceive)數(shù)據(jù)。優(yōu)點(diǎn)比隊(duì)列更節(jié)省內(nèi)存基于字節(jié)流并且有觸發(fā)閾值通知機(jī)制非常高效。5.5 最佳實(shí)踐總結(jié)無(wú)鎖設(shè)計(jì)優(yōu)先重新審視你的軟件架構(gòu)看是否能通過(guò)任務(wù)劃分、數(shù)據(jù)流設(shè)計(jì)從根本上避免共享資源的出現(xiàn)。能用高層抽象不用底層鎖互斥量 隊(duì)列 事件組 任務(wù)鎖/臨界區(qū) 調(diào)度鎖。把調(diào)度鎖作為最后萬(wàn)不得已的手段。鎖的粒度要細(xì)只鎖住必須保護(hù)的最小代碼區(qū)域鎖一獲得操作完立即釋放。避免嵌套盡量避免鎖的嵌套尤其是不同種類的鎖嵌套這極易導(dǎo)致死鎖。測(cè)量與監(jiān)控使用系統(tǒng)運(yùn)行時(shí)間統(tǒng)計(jì)功能configGENERATE_RUN_TIME_STATS或Trace工具監(jiān)控高優(yōu)先級(jí)任務(wù)的阻塞時(shí)間評(píng)估鎖對(duì)實(shí)時(shí)性的影響?；氐轿易畛醯哪莻€(gè)坑最終的解決方案是移除了那對(duì)vTaskSuspendAll()和xTaskResumeAll()將ADC計(jì)算出的結(jié)果通過(guò)一個(gè)隊(duì)列發(fā)送給一個(gè)專門的數(shù)據(jù)處理任務(wù)。數(shù)據(jù)處理任務(wù)使用互斥量來(lái)保護(hù)對(duì)最終結(jié)果數(shù)據(jù)結(jié)構(gòu)的訪問(wèn)。這樣改動(dòng)后系統(tǒng)的實(shí)時(shí)性恢復(fù)了UART任務(wù)和心跳任務(wù)再也沒(méi)被“餓死”過(guò)。這個(gè)教訓(xùn)讓我深刻認(rèn)識(shí)到在RTOS的世界里選擇正確的同步機(jī)制遠(yuǎn)比粗暴地“上鎖”要重要得多。