當(dāng)前位置:首頁 > 公眾號精選 > strongerHuang
[導(dǎo)讀]操作系統(tǒng)對于初學(xué)者來說是一個很神秘的東西,里面很多原理摸不清楚,導(dǎo)致還沒入門就放棄了。本文就來從底層開始,詳細(xì)講述了搶占式操作系統(tǒng)(大多數(shù)RTOS)的搶占原理。

關(guān)注+星標(biāo)公眾,不錯過精彩內(nèi)容

作者 |?strongerHuang
微信公眾號 |?strongerHuang

操作系統(tǒng)對于初學(xué)者來說是一個很神秘的東西,里面很多原理摸不清楚,導(dǎo)致還沒入門就放棄了。

本文就來從底層開始,詳細(xì)講述搶占式操作系統(tǒng)(大多數(shù)RTOS)的搶占原理。

包含:
  • 線程基礎(chǔ)原理

  • 線程之間搶占

  • 中斷搶占線程

  • 中斷搶占中斷


strongerHuang

1

運(yùn)行多個線程


1.單核“單線程

嚴(yán)格來說,單核處理器一次只能執(zhí)行一條指令,也就是說只能“單線程。(當(dāng)然,多核處理器就不一樣)


為了在單核處理器上運(yùn)行多個線程,我們實(shí)際上需要定期在線程之間進(jìn)行快速切換,以便用戶感覺多個線程在并行運(yùn)行。


比如處理器執(zhí)行兩個線程,處理器實(shí)際在兩個線程之間來回切換,如下圖:


2.處理器在線程之間切換,它是如何做到的?


我們說的單核處理器是“單線程的,它有一組寄存器,我們就叫這組寄存器屬于一個“線程。


例如,計(jì)算兩個數(shù)字的總和時:

//假設(shè)我們有兩個整數(shù):a和bint c = a + b ;


實(shí)際發(fā)生的情況如下所示(當(dāng)然,它取決于的MCU類型,但總體思路是相同):

# MIPS反匯編:
LW V0, -32744(GP) # "a" 的值從RAM加載到寄存器V0LW V1, -32740(GP) # 值"b" 從RAM加載到寄存器V1ADDU V0, V1, V0 # a、b值相加,結(jié)果保存到寄存器V0中SW V0, -32496(GP) # 寄存器V0的值存儲在RAM中(變量c所在的位置)


你會發(fā)現(xiàn)上面執(zhí)行了4個動作,但是搶占式操作系統(tǒng)可以在任何時候搶占另一個線程,包括在這4個動作之間。


假如在這過程中有其他線程搶占了,其他線程同樣搶占了當(dāng)前線程V0、 V1,如果不對V0、 V1進(jìn)行保存,那么下次回來執(zhí)行當(dāng)前線程,結(jié)果就會出錯。


所以,針對當(dāng)前這種問題,我們就需要在切換線程之前,對V0、 V1的數(shù)值進(jìn)行保存,當(dāng)下次切換到當(dāng)前線程,再恢復(fù)V0、 V1的數(shù)值,大致流程如下:


大概意思就是:當(dāng)我們需要從一個線程切換到另一個線程時,內(nèi)核獲得控制權(quán),執(zhí)行必要的內(nèi)務(wù)處理(至少要保存和恢復(fù)寄存器值),然后將控制權(quán)轉(zhuǎn)移到下一個線程以運(yùn)行。


strongerHuang

2

線程的堆棧


上面說的搶占位置,到底在哪里,每個線程保存在哪個寄存器值中?這就是線程的堆棧的內(nèi)容。

在有MMU的操作系統(tǒng)中,(用戶的)線程堆棧可以按需動態(tài)增長:線程需要的堆??臻g越多,線程堆棧就越多(如果內(nèi)核允許)

但是,我們一般的MCU卻沒有MMU這個“高端”的東西,所有RAM都靜態(tài)映射到地址空間。因此,每個線程都會有用于堆棧的RAM空間,如果線程使用的RAM超過堆棧的數(shù)量,則會導(dǎo)致內(nèi)存溢出或細(xì)微的錯誤。(實(shí)際上,每個線程的堆棧空間只是一連續(xù)數(shù)組空間)。

因此,當(dāng)我們決定為每個線程分配多少堆棧時,我們只是估計(jì)可能需要多少堆棧,但是具體多少可能不是很清楚。

比如,如果這是一個具有多層嵌套調(diào)用的GUI線程,則可能需要數(shù)個千字節(jié),但如果它是一個流水燈的小線程,則可能幾十字節(jié)就足夠了。

假設(shè)我們有三個線程,它們的堆棧消耗如下:



如上面所述,每個線程的寄存器值都保存在線程的堆棧中。線程的寄存器值集稱為線程的“上下文”。如下圖所示 (線程A為在正在執(zhí)行的“活動線程”)


請注意,在正在執(zhí)行的線程A的上下文沒有保存在堆棧中,堆棧指針指向線程A用戶數(shù)據(jù)的頂部,并且當(dāng)前處理器的寄存器專用于線程A。

當(dāng)內(nèi)核決定將控制權(quán)切換到線程B時,它將執(zhí)行以下操作:
  • 將所有寄存器值保存到堆棧中(保存到線程A堆棧的頂部);

  • 將堆棧指針切換到線程B的堆棧頂部;

  • 從堆棧(從線程B的堆棧頂部)恢復(fù)所有寄存器值;


此時,你會看到:


strongerHuang

3

中斷(ISR)搶占


上面在執(zhí)行過程中,或進(jìn)行上下文切換時,還可能會涉及到一個非常重要的內(nèi)容:中斷。

MCU通常具有外設(shè):TIM、UART、 SPI、 CAN等,它們隨時都能發(fā)生重要事件以觸發(fā)中斷。

中斷條件是當(dāng)當(dāng)前正在執(zhí)行的線程暫停時,處理器在一段時間內(nèi)執(zhí)行其他操作(Handles Interrupt),然后返回。中斷可能隨時觸發(fā),我們應(yīng)該做好處理的準(zhǔn)備。

中斷處理程序稱為ISR(中斷服務(wù)程序):
中斷可能具有不同的優(yōu)先級,例如,如果觸發(fā)了一些低優(yōu)先級的中斷,則當(dāng)前正在執(zhí)行的線程將暫停,并且ISR會獲得控制權(quán)。然后,如果觸發(fā)了某個高優(yōu)先級中斷,則當(dāng)前正在執(zhí)行的ISR將再次暫停,并為該高優(yōu)先級中斷運(yùn)行一個新的ISR。

這樣一來,完成后,控制權(quán)將返回到第一個ISR,并且在完成時,也會恢復(fù)被中斷的線程。

重要的關(guān)鍵代碼:
在線程活躍過程中,如果有重要的事情“關(guān)鍵的代碼”,在這過程中如果中斷發(fā)生,很容易導(dǎo)致意想不到的結(jié)果。

這部分關(guān)鍵的代碼,我們需要要保護(hù)起來,通常我們的做法就是:在之前“關(guān)鍵代碼”之前禁用全局中斷,執(zhí)行完之后,開始全局中斷。

有點(diǎn)需要注意:
關(guān)閉全局中斷,此時就不會相應(yīng)中斷,所以,“關(guān)鍵代碼”不能太長。

strongerHuang

3

中斷堆棧


在上面說到一點(diǎn),高優(yōu)先級中斷搶占低優(yōu)先中斷,就會出現(xiàn)一個問題:低優(yōu)先級的代碼需要和線程一樣,用于保存數(shù)據(jù)的堆棧。

一般有兩種方法:
  • 使用被中斷的線程堆棧;

  • 為中斷使用單獨(dú)的堆棧空間;


1.使用被中斷的線程堆棧
如果使用被中斷的線程堆棧,就類似如下圖:


這種情況存在你一個嚴(yán)重的問題,你知道是什么嗎?

頻繁中斷,或者中斷較多,線程自身的堆棧空間就會很快被使用完。

每個線程的堆棧都應(yīng)該包含以下內(nèi)容:
  • 線程自己的數(shù)據(jù);

  • 線程的上下文;

  • 用于執(zhí)行最壞情況的ISR的數(shù)據(jù)。


因此,我們就需要換一種方法,為為所有ISR中斷開辟單獨(dú)的堆??臻g。

2.為中斷使用單獨(dú)的堆??臻g


為中斷使用單獨(dú)的堆??臻g大致如上圖所示。

好了,本文講述了上面幾種關(guān)于搶占,以及相關(guān)的內(nèi)容,你學(xué)會了幾點(diǎn),又有幾點(diǎn)沒懂,歡迎留言討論。


------------?END?------------

推薦閱讀:

什么是自由軟件?

幾種特殊的函數(shù)宏封裝方式

Keil MDK如何將變量存儲在指定內(nèi)存地址


關(guān)注 微信公眾號『strongerHuang』,后臺回復(fù)“1024”查看更多內(nèi)容,回復(fù)“加群”按規(guī)則加入技術(shù)交流群。


長按前往圖中包含的公眾號關(guān)注


點(diǎn)擊“ 閱讀原文 ”查看更多分享,歡迎點(diǎn)分享、收藏、點(diǎn)贊、在看。

免責(zé)聲明:本文內(nèi)容由21ic獲得授權(quán)后發(fā)布,版權(quán)歸原作者所有,本平臺僅提供信息存儲服務(wù)。文章僅代表作者個人觀點(diǎn),不代表本平臺立場,如有問題,請聯(lián)系我們,謝謝!

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

9月2日消息,不造車的華為或?qū)⒋呱龈蟮莫?dú)角獸公司,隨著阿維塔和賽力斯的入局,華為引望愈發(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ùn)行,同時企業(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 手機(jī) 衛(wèi)星通信

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

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

北京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ù)(集團(tuán))股份有限公司(以下簡稱"軟通動力")與長三角投資(上海)有限...

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