基于ARM Cortex-M4的mbedOS調(diào)度機(jī)制剖析

劉長(zhǎng)勇,王宜懷

(1.武夷學(xué)院 a.數(shù)學(xué)與計(jì)算機(jī)學(xué)院;b.認(rèn)知計(jì)算與智能信息處理福建省高校重點(diǎn)實(shí)驗(yàn)室,福建 武夷山 354300；2.蘇州大學(xué) 計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院,蘇州 215006)

0 引 言

實(shí)時(shí)操作系統(tǒng)(RTOS：Real-Time Operating System)是應(yīng)用于嵌入式系統(tǒng)中的一種系統(tǒng)軟件,能提供多任務(wù)管理、同步與通信機(jī)制、中斷處理等功能,大多應(yīng)用于對(duì)實(shí)時(shí)性要求較高的場(chǎng)合。在基于RTOS的編程模式下,任務(wù)是按照一定規(guī)則劃分的功能相對(duì)獨(dú)立的小工程,它由RTOS進(jìn)行管理與調(diào)度。調(diào)度是RTOS最重要的職責(zé),其本質(zhì)上就是通過(guò)列表管理任務(wù)并進(jìn)行上下文切換。任務(wù)在有些RTOS中也稱為線程。

目前,已有一些研究者對(duì)RTOS的調(diào)度策略進(jìn)行分析。例如,張玉魯[1]指出RT-Thread支持優(yōu)先級(jí)搶占和時(shí)間片輪轉(zhuǎn)兩種調(diào)度策略,采用線程調(diào)度器實(shí)現(xiàn)線程調(diào)度。徐麗華等[2]指出MQX(Message Queue Xecutive)調(diào)度策略包括優(yōu)先級(jí)搶占和時(shí)間片輪詢方式。馬霽壯[3]指出FreeRTOS通過(guò)任務(wù)控制塊進(jìn)行任務(wù)的管理,調(diào)度算法包括優(yōu)先級(jí)的搶占式和同優(yōu)先級(jí)下的輪轉(zhuǎn)式,由任務(wù)調(diào)度器實(shí)現(xiàn)任務(wù)的切換與保護(hù)。張楠[4]指出μC/OS-Ⅱ的調(diào)度方式為靜態(tài)優(yōu)先級(jí)搶占式,依據(jù)任務(wù)的優(yōu)先級(jí)實(shí)現(xiàn)對(duì)任務(wù)的管理和調(diào)度。陳國(guó)良等[5]對(duì)Linux實(shí)時(shí)操作系統(tǒng)的EDF(Earliest Deadline First)任務(wù)調(diào)度算法進(jìn)行改進(jìn),提出了LLF(Least Laxity First)調(diào)度算法。何濤[6]闡述了AUTOSAR OS(AU Tomotive Open System Architecture Operaing System)調(diào)度策略包括完全搶占、不可搶調(diào)度和混合調(diào)度策略,由任務(wù)調(diào)度函數(shù)OS_Sched根據(jù)任務(wù)的運(yùn)行狀態(tài),選擇某種調(diào)度策略完成對(duì)任務(wù)的調(diào)度。馬運(yùn)南[7]指出在Minicore實(shí)時(shí)操作系統(tǒng)中,任務(wù)調(diào)度使用基于優(yōu)先級(jí)和時(shí)間片的設(shè)計(jì)。Huang等[8]指出OSEK-OS(Offene Systeme and deren Schnittstellen fur dieElektronikim Kraftfahr-zeug-Operaing System)的任務(wù)具有靜態(tài)分配的優(yōu)先級(jí),允許使用所有系統(tǒng)服務(wù),并根據(jù)固定優(yōu)先級(jí)調(diào)用搶占式調(diào)度策略。筆者通過(guò)闡述ARM Cortex-M4內(nèi)核對(duì)RTOS的支持特性,分析了RTOS最常用的優(yōu)先級(jí)搶占調(diào)度機(jī)制和時(shí)間片輪詢調(diào)度機(jī)制,展示了mbedOS實(shí)現(xiàn)線程調(diào)度的具體方法,并以意法半導(dǎo)體的STM32L431芯片為例給出了mbedOS的線程調(diào)度剖析實(shí)踐。實(shí)踐表明,SVC(Supervisor Call)中斷、PendSV(Pendable Supervisor)中斷和SysTick中斷能很好地實(shí)現(xiàn)對(duì)線程的調(diào)度。通過(guò)對(duì)mbedOS調(diào)度策略的剖析,有助于加深對(duì)mbedOS的理解與應(yīng)用,也有利于對(duì)其他RTOS的分析。

1 ARM Cortex-M4內(nèi)核對(duì)RTOS的支持特性

ARM Cortex-M4是ARM(Advanced RISC Machines)公司2010年推出的32位處理器,主要應(yīng)用于數(shù)字信號(hào)控制方面[9],該處理器在設(shè)計(jì)時(shí)就考慮了對(duì)嵌入式實(shí)時(shí)操作系統(tǒng)的高效支持[10]。

1.1 操作模式

為進(jìn)一步提高嵌入式系統(tǒng)的可靠性,ARM Cortex-M4支持獨(dú)立處理和線程兩種模式,存在調(diào)試和Thumb兩種狀態(tài),允許特權(quán)和非特權(quán)兩種訪問(wèn)等級(jí)。處理模式即Handler模式,是指處理器在執(zhí)行中斷服務(wù)程序等異常的一種模式,具有特權(quán)訪問(wèn)等級(jí)；線程模式是指當(dāng)使用實(shí)時(shí)操作系統(tǒng)且執(zhí)行用戶線程時(shí)的一種模式,提供特權(quán)和非特權(quán)訪問(wèn)等級(jí)。調(diào)試狀態(tài)是指當(dāng)處理器被暫停指令執(zhí)行后所處的狀態(tài)；Thumb狀態(tài)是指處理器在執(zhí)行Thumb指令(程序代碼)時(shí)所處的狀態(tài)。

1.2 寄存器及雙棧指針

ARM Cortex-M4處理器提供了數(shù)據(jù)處理與控制寄存器、特殊功能寄存器和浮點(diǎn)寄存器,其中R0-R12作為通用目的寄存器。在mbedOS中,R12存放被調(diào)用函數(shù)的入口地址；R13為棧指針,即可作為主棧指針MSP(Main Stack Pointer)使用,也可作為線程棧指針PSP(Process Stack Pointer)使用,MSP用于處理模式,PSP用于線程模式；R14即連接寄存器LR(Link Register),用于保存函數(shù)或子程序調(diào)用時(shí)的返回地址；R15即程序計(jì)數(shù)器PC(Program Counter),其內(nèi)容是下一條將要執(zhí)行指令的地址；xPSR即程序狀態(tài)字寄存器,存放程序執(zhí)行過(guò)程中的各種狀態(tài)信息。ARM架構(gòu)定義了一個(gè)特殊值EXC_RETURN,用于異常返回機(jī)制。該值在異常被接收并且壓棧完成后自動(dòng)存儲(chǔ)到連接寄存器LR(R14)中。EXC_RETURN值為32位,但高27位都為1,在Cortex-M4中,第0位是保留位,且必須為1,EXC_RETURN的合法值有6個(gè),如表1所示。

表1 EXC_RETURN的值Tab.1 Value of EXC_RETURN

1.3 SysTick中斷

ARM Cortex-M4系列內(nèi)核中包含了一個(gè)24位的“嘀嗒”定時(shí)器SysTick,采用減1計(jì)數(shù)方式,其異常編號(hào)為15,IRQ(Interrupt Request)號(hào)為-1,且優(yōu)先級(jí)可編程設(shè)置,中斷觸發(fā)示例如圖1所示。在帶有實(shí)時(shí)操作系統(tǒng)的嵌入式工程中,使用SysTick中斷可定期觸發(fā)RTOS內(nèi)核,實(shí)現(xiàn)任務(wù)的管理與調(diào)度,也使同一個(gè)RTOS可用在多種ARM Cortex-M微控制器上。

1.4 SVC中斷

為實(shí)現(xiàn)用戶程序?qū)ο到y(tǒng)硬件的間接訪問(wèn),ARM Cortex-M4系列內(nèi)核支持系統(tǒng)服務(wù)調(diào)用(SVC)方式,由RTOS內(nèi)核為用戶提供系統(tǒng)服務(wù)函數(shù),讓用戶通過(guò)SVC指令的方式實(shí)現(xiàn)對(duì)其的調(diào)用請(qǐng)求。通常SVC中斷被觸發(fā)后會(huì)被立即執(zhí)行,精確性較高,常用于上下文切換,其異常編號(hào)為11,IRQ號(hào)為-5,且優(yōu)先級(jí)可編程設(shè)置,中斷觸發(fā)示例如圖2所示。

圖1 SysTick中斷觸發(fā)的簡(jiǎn)單示例 圖2 SVC中斷觸發(fā)的簡(jiǎn)單示例 Fig.1 Simple example of SysTick interrupt trigger Fig.2 Simple example of SVC interrupt trigger

1.5 PendSV中斷

可掛起系統(tǒng)調(diào)用(PendSV)在功能上與SVC類似,但它是不精確的,常用于上下文切換,其異常編號(hào)為14,IRQ號(hào)為-2,且優(yōu)先級(jí)可編程設(shè)置。通常將PendSV設(shè)置為較低的優(yōu)先級(jí),當(dāng)在一個(gè)中斷中或中斷被屏蔽的情況下調(diào)用了一個(gè)可允許在中斷中執(zhí)行的操作函數(shù)時(shí)(如在中斷中調(diào)用線程信號(hào)設(shè)置函數(shù)),系統(tǒng)會(huì)在更高優(yōu)先級(jí)中斷內(nèi)將其設(shè)置為掛起狀態(tài),直到該高優(yōu)先級(jí)中斷處理結(jié)束,被推遲的PendSV中斷才會(huì)被觸發(fā)并開(kāi)始執(zhí)行,中斷觸發(fā)示例如圖3所示。

圖3 PendSV中斷觸發(fā)的簡(jiǎn)單示例Fig.3 Simple example of PendSV interrupt trigger

1.6 上下文切換

任務(wù)上下文是指任務(wù)在運(yùn)行的任一時(shí)刻,ARM Cortex-M4處理器內(nèi)部寄存器的值[11]。這些寄存器包括通用寄存器R0-R12、連接寄存器LR、程序計(jì)數(shù)器PC和程序狀態(tài)字寄存器xPSR。

在RTOS中,當(dāng)內(nèi)核需調(diào)度運(yùn)行其他任務(wù)時(shí),要將正在運(yùn)行任務(wù)(上文)的狀態(tài)信息保存到自己的任務(wù)堆棧中,然后把下一個(gè)將要運(yùn)行任務(wù)(下文)的狀態(tài)信息從其任務(wù)堆棧中恢復(fù)到CPU的寄存器,這個(gè)過(guò)程稱為上下文切換。在此過(guò)程中,R0-R3、R12、R14(LR)、R15(PC)和xPSR 8個(gè)寄存器的內(nèi)容由硬件自動(dòng)完成進(jìn)棧和出棧,而R4-R11 8個(gè)寄存器內(nèi)容則由用戶自行保存進(jìn)棧和恢復(fù)出棧。

2 RTOS調(diào)度策略

由于嵌入式系統(tǒng)的資源相對(duì)PC機(jī)比較匱乏,要在嵌入式系統(tǒng)中運(yùn)行RTOS實(shí)現(xiàn)多任務(wù)的管理,首要考慮任務(wù)調(diào)度策略問(wèn)題,其好壞直接影響到系統(tǒng)的實(shí)時(shí)性能。目前,RTOS的調(diào)度策略主要有：優(yōu)先級(jí)搶占調(diào)度、時(shí)間片輪轉(zhuǎn)調(diào)度、零星調(diào)度和顯示調(diào)度等,包括mbedOS在內(nèi)的大多數(shù)RTOS都采用前兩者調(diào)度策略,Nuttx除采用前兩種調(diào)度外,還采用了零星調(diào)度策略[12],顯示調(diào)度的方式是用命令直接讓其運(yùn)行,在RTOS中很少用到。下面將分析優(yōu)先級(jí)搶占調(diào)度和時(shí)間片輪轉(zhuǎn)調(diào)度這兩種最常用的調(diào)度策略。

2.1 優(yōu)先級(jí)搶占調(diào)度

為便于RTOS根據(jù)任務(wù)的輕重緩急進(jìn)行調(diào)度,在任務(wù)創(chuàng)建時(shí)會(huì)為每個(gè)任務(wù)設(shè)置一個(gè)優(yōu)先級(jí)(即優(yōu)先等級(jí)參數(shù)),RTOS會(huì)根據(jù)各個(gè)任務(wù)的優(yōu)先級(jí)高低,決定處理各個(gè)任務(wù)的先后次序。不同的RTOS,對(duì)任務(wù)優(yōu)先級(jí)數(shù)值的大小與任務(wù)優(yōu)先級(jí)的高低關(guān)系的定義不同,如在mbedOS中,優(yōu)先級(jí)數(shù)值越大表示線程的優(yōu)先級(jí)越高；而優(yōu)先級(jí)數(shù)值越小表示任務(wù)的優(yōu)先級(jí)越高的RTOS有MQX[13]和RT-Thread[14]。優(yōu)先級(jí)搶占調(diào)度是指,總是讓優(yōu)先級(jí)最高的處于就緒態(tài)的任務(wù)最先運(yùn)行。

2.2 時(shí)間片輪詢調(diào)度

時(shí)間片輪詢調(diào)度策略是指為了能讓各個(gè)任務(wù)都能得到調(diào)度運(yùn)行,對(duì)優(yōu)先級(jí)相同的任務(wù)采用時(shí)間片輪詢方式,給各個(gè)任務(wù)分配固定的時(shí)間片分享CPU的使用。在mbedOS的時(shí)間片輪詢調(diào)度策略中,一個(gè)時(shí)間片為5個(gè)時(shí)間嘀嗒。

3 mbedOS調(diào)度實(shí)現(xiàn)

不同RTOS對(duì)調(diào)度策略的實(shí)現(xiàn)不同。在RT-Thread中,調(diào)度策略采用PendSV中斷和SysTick中斷實(shí)現(xiàn)[15]。在MQX中,調(diào)度策略采用SVC中斷和PendSV中斷實(shí)現(xiàn)[16]。在mbedOS中,調(diào)度策略通過(guò)SVC中斷、PendSV中斷和SysTick中斷實(shí)現(xiàn),它們都能對(duì)線程進(jìn)行管理、調(diào)度以及上下文切換,其中上下文切換都采用相同的代碼,該代碼在SVC中斷處理程序SVC_Handler中。下面將剖析這3種中斷的具體實(shí)現(xiàn)方法。

3.1 SVC中斷的實(shí)現(xiàn)

圖4 SVC_Handler函數(shù)執(zhí)行流程Fig.4 Flow chart of SVC_Handler function execution

在mbedOS中,SVC中斷是通過(guò)執(zhí)行SVC 0指令產(chǎn)生的,SVC 0就是調(diào)用0號(hào)系統(tǒng)服務(wù),在SVC指令執(zhí)行完后會(huì)觸發(fā)SVC中斷處理程序SVC_Handler,在程序中會(huì)根據(jù)這個(gè)系統(tǒng)服務(wù)號(hào)(0)決定執(zhí)行相應(yīng)操作。

3.1.1 SVC_Handler函數(shù)主要功能

SVC中斷處理程序SVC_Handler的主要功能包括根據(jù)EXC_RETURN值判斷是使用主棧(MSP)還是線程棧(PSP),取出SVC指令的調(diào)用號(hào)(0)；調(diào)用觸發(fā)SVC異常函數(shù),即R12中的函數(shù)；根據(jù)當(dāng)前OS實(shí)時(shí)狀態(tài)osRtxInfo中的線程運(yùn)行信息,決定是否進(jìn)行上下文切換與線程切換；使用不同EXC_RETURN返回。其執(zhí)行流程如圖4所示。

3.1.2 上下文切換的關(guān)鍵代碼分析

SVC_Handler函數(shù)中上下文切換主要是判斷當(dāng)前運(yùn)行線程與下一線程是否不同。若不同,則需要保存當(dāng)前線程的上下文,恢復(fù)下一線程的上下文,然后進(jìn)行線程切換,其關(guān)鍵代碼分析如下。

SVC_Context:

LDR R3,=osRtxInfo+I_T_RUN_OFS //R3←當(dāng)前運(yùn)行線程存放的地址

LDM R3,{R1,R2} //R1←當(dāng)前運(yùn)行線程；R2←下一個(gè)線程

CMP R1,R2 //判斷是否需要線程切換

IT EQ

BXEQ LR //線程相同,不需要切換

CBNZ R1,SVC_ContextSave //不同,進(jìn)行線程切換

TST LR,#0x10

BNE SVC_ContextSwitch //存在擴(kuò)展堆棧幀,跳線程切換

SVC_ContextSave: //保存當(dāng)前線程(R1)的上下文、棧指針和棧幀信息

STMDB R12!,{R4-R11} //保存當(dāng)前線程(R1)的上下文

STR R12,[R1,#TCB_SP_OFS] //保存R1的棧指針

STRB LR,[R1,#TCB_SF_OFS] //保存R1的棧幀信息

SVC_ContextSwitch://線程切換

STR R2,[R3] //下一線程R2作為當(dāng)前線程

SVC_ContextRestore://恢復(fù)下一線程(R2)的上下文

LDRB R1,[R2,#TCB_SF_OFS] //恢復(fù)下一線程R2的棧幀信息

LDR R0,[R2,#TCB_SP_OFS] //恢復(fù)R2的棧指針

ORR LR,R1,#0xFFFFFF00 //設(shè)置返回線程模式

LDMIA R0!,{R4-R11} //恢復(fù)R2的上下文

MSR PSP,R0 //使用PSP棧指針

BX LR //退出

3.2 PendSV中斷的實(shí)現(xiàn)

在mbedOS中,PendSV中斷一般出現(xiàn)在：當(dāng)在一個(gè)中斷函數(shù)中或中斷被屏蔽的情況下調(diào)用了一個(gè)可以允許在中斷上下文中執(zhí)行的操作函數(shù)時(shí),系統(tǒng)會(huì)進(jìn)入該操作函數(shù),執(zhí)行推遲PendSV中斷操作,而當(dāng)中斷程序執(zhí)行完后才會(huì)轉(zhuǎn)到執(zhí)行PendSV中斷。PendSV_Handler函數(shù)主要功能包括調(diào)用osRtxPendSV_Handler函數(shù)(完成從中斷隊(duì)列中取對(duì)象類型,根據(jù)對(duì)象的類型執(zhí)行相應(yīng)處理函數(shù),取就緒列表中最高優(yōu)先級(jí)線程)、跳到SVC_Handler函數(shù)中的SVC_Context處開(kāi)始上下文切換,其執(zhí)行流程如圖5所示。

圖5 PendSV_Handler函數(shù)執(zhí)行流程Fig.5 Flow chart of PendSV_ Handler function execution

3.3 SysTick中斷的實(shí)現(xiàn)

在mbedOS中,內(nèi)核時(shí)鐘頻率采用48 MHz,1個(gè)時(shí)間嘀嗒為1 ms,每個(gè)時(shí)間片為5個(gè)時(shí)間嘀嗒。當(dāng)一個(gè)時(shí)間嘀嗒到時(shí),則產(chǎn)生SysTick中斷一次,在中斷服務(wù)程序SysTick_Handler中完成對(duì)線程的管理和調(diào)度。SysTick_Handler主要功能包括：從延時(shí)列表移出到期線程,并加到就緒列表中；若就緒列表最高優(yōu)先級(jí)線程的優(yōu)先級(jí)高于正在運(yùn)行的線程優(yōu)先級(jí),則搶占當(dāng)前運(yùn)行的線程；當(dāng)時(shí)間片到,則優(yōu)先級(jí)相同的線程之間采用輪詢調(diào)度策略；跳到SVC_Handler函數(shù)中的SVC_Context處開(kāi)始上下文切換,其執(zhí)行流程如圖6所示。

圖6 SysTick_Handler函數(shù)執(zhí)行流程Fig.6 SysTick_ Handler function execution flow

4 mbedOS線程調(diào)度實(shí)踐分析

2014年ARM公司推出了mbedOS,它是一種專為物聯(lián)網(wǎng)(IoT)中的“物體”設(shè)計(jì)的開(kāi)源嵌入式實(shí)時(shí)操作系統(tǒng)(RTOS)[17],具備一般RTOS的基本功能,其在物聯(lián)網(wǎng)設(shè)備平臺(tái)[18]、物聯(lián)網(wǎng)應(yīng)用[19]、通信技術(shù)與安全訪問(wèn)服務(wù)機(jī)制[20]、協(xié)議棧與IP網(wǎng)絡(luò)組件[21]等方面得到廣泛應(yīng)用?，F(xiàn)針對(duì)mbedOS實(shí)時(shí)操作系統(tǒng),給出具體延時(shí)響應(yīng)的實(shí)踐分析。

mbedOS的延時(shí)響應(yīng)測(cè)試工程采用SD-mbedOS工程框架[22],在Kinetis Design Studio 3.0.0 IDE集成開(kāi)發(fā)環(huán)境和基于Cortex-M4內(nèi)核的STM32微控制器[23]上進(jìn)行測(cè)試。Stm32片內(nèi)Flash大小為256 kByte,主要用于中斷向量和程序代碼等的保存；片內(nèi)RAM大小為32 kByte,主要用于各類變量的存儲(chǔ)。

4.1 功能設(shè)計(jì)

測(cè)試工程的功能是由主線程創(chuàng)建3個(gè)優(yōu)先級(jí)相同的用戶線程,分別為紅燈線程、藍(lán)燈線程和綠燈線程,紅燈線程與串口采用事件進(jìn)行通信,綠燈線程每隔10 s實(shí)現(xiàn)綠燈閃爍一次；藍(lán)燈線程每隔5 s實(shí)現(xiàn)藍(lán)燈閃爍一次,測(cè)試工程的執(zhí)行流程如圖7所示。

圖7 測(cè)試工程執(zhí)行流程Fig.7 Test engineering execution process

4.2 流程分析

在測(cè)試工程中,先后共創(chuàng)建了6個(gè)線程,其相關(guān)信息如表2所示。在啟動(dòng)mbedOS的過(guò)程中依次創(chuàng)建了主線程、空閑線程和定時(shí)器線程,且為就緒態(tài),都被放入到就緒隊(duì)列中[24]。由于此時(shí)內(nèi)核中無(wú)其他線程,且定時(shí)器線程的優(yōu)先級(jí)最高,因此會(huì)觸發(fā)SVC中斷進(jìn)行第1次上下文切換,將定時(shí)器線程作為當(dāng)前線程且恢復(fù)其上下文信息。當(dāng)定時(shí)器線程被調(diào)度執(zhí)行時(shí),會(huì)因?yàn)楂@取消息失敗而被阻塞,此時(shí)從就緒隊(duì)列取出主線程作為當(dāng)前線程,觸發(fā)SVC中斷進(jìn)行第2次上下文切換,保存定時(shí)器線程的上下文,同時(shí)恢復(fù)主線程的上下文。當(dāng)主線程被調(diào)度執(zhí)行時(shí),依次創(chuàng)建和啟動(dòng)紅燈線程、藍(lán)燈線程和綠燈線程3個(gè)優(yōu)先級(jí)相同的線程,之后主線程也被阻塞。此時(shí),在就緒隊(duì)列中剩下紅燈線程、藍(lán)燈線程、綠燈線程和空閑線程這4個(gè)線程。

表2 線程信息一覽表Tab.2 Thread information list

由于紅燈線程最先被啟動(dòng)且優(yōu)先級(jí)與藍(lán)燈線程、綠燈線程相同,因此它被最先取出觸發(fā)SVC中斷與主線程進(jìn)行第3次上下文切換,然后被調(diào)度執(zhí)行。之后,紅燈線程、藍(lán)燈線程和綠燈線程由于優(yōu)先級(jí)相同將按時(shí)間片輪詢方式被調(diào)度執(zhí)行,當(dāng)這3個(gè)線程因延時(shí)或等待事件位,會(huì)被放入到延時(shí)等待列表和事件阻塞列表,此時(shí)空閑線程被調(diào)度執(zhí)行。當(dāng)藍(lán)燈線程和綠燈線程因延時(shí)到期,由于它們的優(yōu)先級(jí)大于空閑線程的優(yōu)先級(jí),所以會(huì)在SysTick中斷期間從延時(shí)列表移出并放到就緒列表中,按優(yōu)先級(jí)搶占方式進(jìn)行上下文切換,之后被調(diào)度執(zhí)行。當(dāng)產(chǎn)生串口接收中斷時(shí),先掛起PendSV中斷,當(dāng)串口中斷執(zhí)行結(jié)束后,會(huì)觸發(fā)PendSV中斷設(shè)置紅燈線程等待的事件位,將紅燈線程從等待列表和事件阻塞列表移出并放到就緒列表中,然后進(jìn)行上下文切換,之后紅燈線程被調(diào)度執(zhí)行。整個(gè)測(cè)試工程的運(yùn)行結(jié)果如圖8所示,從圖8中可以看到SVC中斷、PendSV中斷和SysTick中斷對(duì)線程的調(diào)度情況。

圖8 3種中斷的線程調(diào)度情況Fig.8 Thread scheduling of three interrupts

5 結(jié) 語(yǔ)

RTOS的最主要功能之一就是線程調(diào)度,調(diào)度策略的優(yōu)劣直接影響到RTOS的實(shí)時(shí)性。筆者在分析ARM Cortex-M4內(nèi)核對(duì)RTOS的支持特性和分析RTOS常用調(diào)度機(jī)制的基礎(chǔ)上,給出了mbedOS對(duì)調(diào)度策略的實(shí)現(xiàn)方法。實(shí)踐表明,SVC中斷、PendSV中斷和SysTick中斷3種調(diào)度實(shí)現(xiàn)方法能有效地實(shí)現(xiàn)線程上下文切換。通過(guò)對(duì)mbedOS的調(diào)度策略和實(shí)現(xiàn)方法的剖析,有助于加深對(duì)線程調(diào)度的理解,為分析其他實(shí)時(shí)操作系統(tǒng)提供借鑒。