當(dāng)前位置:首頁 > 公眾號精選 > 小麥大叔
[導(dǎo)讀]大家好,我是痞子衡,是正經(jīng)搞技術(shù)的痞子。今天痞子衡給大家分享的是Cortex-M裸機環(huán)境下臨界區(qū)保護的三種實現(xiàn)。搞嵌入式玩過RTOS的朋友想必都對OS_ENTER_CRITICAL()、OS_EXIT_CRITICAL()這個功能代碼對特別眼熟,在RTOS里常常會有多任務(wù)(進程)...

大家好,我是痞子衡,是正經(jīng)搞技術(shù)的痞子。今天痞子衡給大家分享的是Cortex-M裸機環(huán)境下臨界區(qū)保護的三種實現(xiàn)

搞嵌入式玩過 RTOS 的朋友想必都對 OS_ENTER_CRITICAL()、OS_EXIT_CRITICAL() 這個功能代碼對特別眼熟,在 RTOS 里常常會有多任務(wù)(進程)處理,有些情況下一些特殊操作(比如 XIP 下 Flash 擦寫、低功耗模式切換)不能被隨意打斷,或者一些共享數(shù)據(jù)區(qū)不能被無序訪問(A 任務(wù)正在讀,B 任務(wù)卻要寫),這時候就要用到臨界區(qū)保護策略了。

所謂臨界區(qū)保護策略,簡單說就是系統(tǒng)中硬件臨界資源或者軟件臨界資源,多個任務(wù)必須互斥地對它們進行訪問。

RTOS 環(huán)境下有現(xiàn)成的臨界區(qū)保護接口函數(shù),而裸機系統(tǒng)里其實也有這種需求。在裸機系統(tǒng)里,臨界區(qū)保護主要就是跟系統(tǒng)全局中斷控制有關(guān)。

痞子衡之前寫過一篇 《嵌入式MCU中通用的三重中斷控制設(shè)計》,文中介紹的第三重也是最頂層的中斷控制是系統(tǒng)全局中斷控制,今天痞子衡就從這個系統(tǒng)全局中斷控制使用入手給大家介紹三種臨界區(qū)保護做法:

一、臨界區(qū)保護測試場景

關(guān)于臨界區(qū)保護的測試場景無非兩種。第一種場景是受保護的多個任務(wù)間并無關(guān)聯(lián),也不會互相嵌套,如下面的代碼所示,task1 和 task2 是按序被保護的,因此 enter_critical() 和 exit_critical() 這兩個臨界區(qū)保護函數(shù)總是嚴(yán)格地成對執(zhí)行:

void?critical_section_test(void)
{
????//?進入臨界區(qū)
????enter_critical();
????//?做受保護的任務(wù)1
????do_task1();
????//?退出臨界區(qū)
????exit_critical();

????//?進入臨界區(qū)
????enter_critical();
????//?做受保護的任務(wù)2,與任務(wù)1無關(guān)聯(lián)
????do_task2();
????//?退出臨界區(qū)
????exit_critical();
}
第二種場景就是多個任務(wù)間可能有關(guān)聯(lián),會存在嵌套情況,如下面的代碼所示,task2 是 task1 的一個子任務(wù),這種情況下,你會發(fā)現(xiàn)實際上是先執(zhí)行兩次 enter_critical(),然后再執(zhí)行兩次 exit_critical()。需要注意的是 task1 里面的子任務(wù) task3 雖然沒有像子任務(wù) task2 那樣被主動加一層保護,但由于主任務(wù) task1 整體是受保護的,因此子任務(wù) task3 也應(yīng)該是受保護的。

void?do_task1(void)
{
????//?進入臨界區(qū)
????enter_critical();
????//?做受保護的任務(wù)2,是任務(wù)1中的子任務(wù)
????do_task2();
????//?退出臨界區(qū)
????exit_critical();?

????//?做任務(wù)3
????do_task3();
}

void?critical_section_test(void)
{
????//?進入臨界區(qū)
????enter_critical();
????//?做受保護的任務(wù)1
????do_task1();
????//?退出臨界區(qū)
????exit_critical();
}

二、臨界區(qū)保護三種實現(xiàn)

上面的臨界區(qū)保護測試場景很清楚了,現(xiàn)在到 enter_critical()、exit_critical() 這對臨界區(qū)保護函數(shù)的實現(xiàn)環(huán)節(jié)了:

2.1 入門做法

首先是非常入門的做法,直接就是對系統(tǒng)全局中斷控制函數(shù) __disable_irq()、__enable_irq() 的封裝。

回到上一節(jié)的測試場景里,這種實現(xiàn)可以很好地應(yīng)對非嵌套型任務(wù)的保護,但是對于互相嵌套的任務(wù)保護就失效了。

上一節(jié)測試代碼里,task3 應(yīng)該也要受到保護的,但實際上并沒有被保護,因為緊接著 task2 后面的 exit_critical() 直接就打開了系統(tǒng)全局中斷。

void?enter_critical(void)
{
????//?關(guān)閉系統(tǒng)全局中斷
????__disable_irq();
}

void?exit_critical(void)
{
????//?打開系統(tǒng)全局中斷
????__enable_irq();
}

2.2 改進做法

針對入門做法,可不可以改進呢?當(dāng)然可以,我們只需要加一個全局變量 s_lockObject 來實時記錄當(dāng)前已進入的臨界區(qū)保護的次數(shù),即如下代碼所示。每調(diào)用一次 enter_critical() 都會直接關(guān)閉系統(tǒng)全局中斷(保證臨界區(qū)一定是受保護的),并記錄次數(shù),而調(diào)用 exit_critical() 時僅當(dāng)當(dāng)前次數(shù)是 1 時(即當(dāng)前不是臨界區(qū)保護嵌套情況),才會打開系統(tǒng)全局中斷,否則只是抵消一次進入臨界區(qū)次數(shù)而已。改進后的實現(xiàn)顯然可以保護上一節(jié)測試代碼里的 task3 了。

static?uint32_t?s_lockObject;

void?init_critical(void)
{
????__disable_irq();
????//?清零計數(shù)器
????s_lockObject?=?0;
????__enable_irq();
}

void?enter_critical(void)
{
????//?關(guān)閉系統(tǒng)全局中斷
????__disable_irq();
????//?計數(shù)器加?1
???? s_lockObject;
}

void?exit_critical(void)
{
????if?(s_lockObject?<=?1)
????{
????????//?僅當(dāng)計數(shù)器不大于?1?時,才打開系統(tǒng)全局中斷,并清零計數(shù)器
????????s_lockObject?=?0;
????????__enable_irq();
????}
????else
????{
????????//?當(dāng)計數(shù)器大于?1?時,直接計數(shù)器減?1?即可
????????--s_lockObject;
????}
}

2.3 終極做法

上面的改進做法雖然解決了臨界區(qū)任務(wù)嵌套保護的問題,但是增加了一個全局變量和一個初始化函數(shù),實現(xiàn)不夠優(yōu)雅,并且嵌入式系統(tǒng)里全局變量極容易被篡改,存在一定風(fēng)險,有沒有更好的實現(xiàn)呢?當(dāng)然有,這要借助 Cortex-M 處理器內(nèi)核的特殊屏蔽寄存器 PRIMASK,下面是 PRIMASK 寄存器位定義(取自 ARMv7-M 手冊),其僅有最低位 PM 是有效的,當(dāng) PRIMASK[PM] 為 1 時,系統(tǒng)全局中斷是關(guān)閉的(將執(zhí)行優(yōu)先級提高到 0x0/0x80);當(dāng) PRIMASK[PM] 為 0 時,系統(tǒng)全局中斷是打開的(對執(zhí)行優(yōu)先級無影響)。

看到這,你應(yīng)該明白了 __disable_irq()、__enable_irq() 功能其實就是操作 PRIMASK 寄存器實現(xiàn)的。

既然 PRIMASK 寄存器控制也保存了系統(tǒng)全局中斷的開關(guān)狀態(tài),我們可以通過獲取 PRIMASK 值來替代上面改進做法里的全局變量 s_lockObject 的功能,代碼實現(xiàn)如下:

uint32_t?enter_critical(void)
{
????//?保存當(dāng)前?PRIMASK?值
????uint32_t?regPrimask?=?__get_PRIMASK();
????//?關(guān)閉系統(tǒng)全局中斷(其實就是將?PRIMASK?設(shè)為?1)
????__disable_irq();

????return?regPrimask;
}

void?exit_critical(uint32_t?primask)
{
????//?恢復(fù)?PRIMASK
????__set_PRIMASK(primask);
}
因為 enter_critical()、exit_critical() 函數(shù)原型有所變化,因此使用上也要相應(yīng)改變下:

void?critical_section_test(void)
{
????//?進入臨界區(qū)
????uint32_t?primask?=?enter_critical();
????//?做受保護的任務(wù)
????do_task();
????//?退出臨界區(qū)
????exit_critical(primask);

????//?...
}

附錄、PRIMASK寄存器設(shè)置函數(shù)在各 IDE 下實現(xiàn)

//////////////////////////////////////////////////////
//?IAR?環(huán)境下實現(xiàn)(見?cmsis_iccarm.h?文件)
#define?__set_PRIMASK(VALUE)????????(__arm_wsr("PRIMASK",?(VALUE)))
#define?__get_PRIMASK()?????????????(__arm_rsr("PRIMASK"))

//////////////////////////////////////////////////////
//?Keil?環(huán)境下實現(xiàn)(見?cmsis_armclang.h?文件)
__STATIC_FORCEINLINE?void?__set_PRIMASK(uint32_t?priMask)
{
??__ASM?volatile?("MSR?primask,?%0"?:?:?"r"?(priMask)?:?"memory");
}

__STATIC_FORCEINLINE?uint32_t?__get_PRIMASK(void)
{
??uint32_t?result;

??__ASM?volatile?("MRS?%0,?primask"?:?"=r"?(result)?);
??return(result);
}
至此,Cortex-M裸機環(huán)境下臨界區(qū)保護的三種實現(xiàn)痞子衡便介紹完畢了,掌聲在哪里~~~

—— The End?——
推薦好文??點擊藍色字體即可跳轉(zhuǎn)??干貨分享:CAN總線詳解 整車的控制只需要一條線
??推薦一個直接用于項目開發(fā)的PID庫!很好用,很穩(wěn)定??精辟,16張圖說透Modbus-RTU協(xié)議??推薦一款我私藏已久的串口示波神器
歡迎轉(zhuǎn)發(fā)、留言、點贊、分享給你的朋友,感謝您的支持!


點擊上方即可關(guān)注公眾號



分享???點贊???在看????

以“三連”行動支持優(yōu)質(zhì)內(nèi)容!

本站聲明: 本文章由作者或相關(guān)機構(gòu)授權(quán)發(fā)布,目的在于傳遞更多信息,并不代表本站贊同其觀點,本站亦不保證或承諾內(nèi)容真實性等。需要轉(zhuǎn)載請聯(lián)系該專欄作者,如若文章內(nèi)容侵犯您的權(quán)益,請及時聯(lián)系本站刪除。
換一批
延伸閱讀

9月2日消息,不造車的華為或?qū)⒋呱龈蟮莫毥谦F公司,隨著阿維塔和賽力斯的入局,華為引望愈發(fā)顯得引人矚目。

關(guān)鍵字: 阿維塔 塞力斯 華為

加利福尼亞州圣克拉拉縣2024年8月30日 /美通社/ -- 數(shù)字化轉(zhuǎn)型技術(shù)解決方案公司Trianz今天宣布,該公司與Amazon Web Services (AWS)簽訂了...

關(guān)鍵字: AWS AN BSP 數(shù)字化

倫敦2024年8月29日 /美通社/ -- 英國汽車技術(shù)公司SODA.Auto推出其旗艦產(chǎn)品SODA V,這是全球首款涵蓋汽車工程師從創(chuàng)意到認(rèn)證的所有需求的工具,可用于創(chuàng)建軟件定義汽車。 SODA V工具的開發(fā)耗時1.5...

關(guān)鍵字: 汽車 人工智能 智能驅(qū)動 BSP

北京2024年8月28日 /美通社/ -- 越來越多用戶希望企業(yè)業(yè)務(wù)能7×24不間斷運行,同時企業(yè)卻面臨越來越多業(yè)務(wù)中斷的風(fēng)險,如企業(yè)系統(tǒng)復(fù)雜性的增加,頻繁的功能更新和發(fā)布等。如何確保業(yè)務(wù)連續(xù)性,提升韌性,成...

關(guān)鍵字: 亞馬遜 解密 控制平面 BSP

8月30日消息,據(jù)媒體報道,騰訊和網(wǎng)易近期正在縮減他們對日本游戲市場的投資。

關(guān)鍵字: 騰訊 編碼器 CPU

8月28日消息,今天上午,2024中國國際大數(shù)據(jù)產(chǎn)業(yè)博覽會開幕式在貴陽舉行,華為董事、質(zhì)量流程IT總裁陶景文發(fā)表了演講。

關(guān)鍵字: 華為 12nm EDA 半導(dǎo)體

8月28日消息,在2024中國國際大數(shù)據(jù)產(chǎn)業(yè)博覽會上,華為常務(wù)董事、華為云CEO張平安發(fā)表演講稱,數(shù)字世界的話語權(quán)最終是由生態(tài)的繁榮決定的。

關(guān)鍵字: 華為 12nm 手機 衛(wèi)星通信

要點: 有效應(yīng)對環(huán)境變化,經(jīng)營業(yè)績穩(wěn)中有升 落實提質(zhì)增效舉措,毛利潤率延續(xù)升勢 戰(zhàn)略布局成效顯著,戰(zhàn)新業(yè)務(wù)引領(lǐng)增長 以科技創(chuàng)新為引領(lǐng),提升企業(yè)核心競爭力 堅持高質(zhì)量發(fā)展策略,塑強核心競爭優(yōu)勢...

關(guān)鍵字: 通信 BSP 電信運營商 數(shù)字經(jīng)濟

北京2024年8月27日 /美通社/ -- 8月21日,由中央廣播電視總臺與中國電影電視技術(shù)學(xué)會聯(lián)合牽頭組建的NVI技術(shù)創(chuàng)新聯(lián)盟在BIRTV2024超高清全產(chǎn)業(yè)鏈發(fā)展研討會上宣布正式成立。 活動現(xiàn)場 NVI技術(shù)創(chuàng)新聯(lián)...

關(guān)鍵字: VI 傳輸協(xié)議 音頻 BSP

北京2024年8月27日 /美通社/ -- 在8月23日舉辦的2024年長三角生態(tài)綠色一體化發(fā)展示范區(qū)聯(lián)合招商會上,軟通動力信息技術(shù)(集團)股份有限公司(以下簡稱"軟通動力")與長三角投資(上海)有限...

關(guān)鍵字: BSP 信息技術(shù)
關(guān)閉
關(guān)閉