uC/OS-II內核超時(shí)等待機制的分析

1引言

　uC/OS-II是著(zhù)名的源碼公開(kāi)的實(shí)時(shí)內核[1]，是專(zhuān)為嵌入式應用設計的，可用于各類(lèi)8位16位和32位單片機或DSP?，F在有很多使用者正在或已經(jīng)將其移植到各種類(lèi)型的芯片。因為源碼公開(kāi)，uC/OS-II也經(jīng)常被作為嵌入式實(shí)時(shí)內核的教材，為專(zhuān)業(yè)人員提供了學(xué)習實(shí)時(shí)內核的難得機會(huì )。在實(shí)際使用中不管基于何種操作系統平臺，應用程序經(jīng)常會(huì )等待一些系統資源，如信號量，事件標志，消息等。等待類(lèi)型共有三種：(1)如果不能馬上獲取，懸掛等待；(2)不管是否能獲取資源，馬上返回，不會(huì )等待；(3) 如果不能馬上獲取資源，將進(jìn)行有限時(shí)間的等待，即超時(shí)等待。

2超時(shí)等待機制的基本原理

　應用程序通過(guò)操作系統提供的系統調用接口獲取資源時(shí)，在系統調用的入口參數里可以指定超時(shí)等待的最大時(shí)間，通常以毫秒為單位，內核會(huì )將其轉化為系統的時(shí)鐘滴嗒數(tick)。一般內核都會(huì )執行以下流程：

(1)如果資源能馬上獲取，系統調用將成功返回。

(2)如果資源不能馬上獲取，內核將設置一定時(shí)器進(jìn)行計時(shí)，把當前任務(wù)懸掛在該資源的等待隊列上，該任務(wù)從就緒表中刪除，并進(jìn)行調度，讓出CPU的使用權。
　
　(3)如果在指定的時(shí)間內資源變得可以獲取了，定時(shí)器應馬上停止計時(shí)，該任務(wù)從等待隊列里摘下并且重新回到就緒表中等候調度。

(4)如果定時(shí)器到時(shí)，任務(wù)應該從等待隊列里摘下并且重新回到就緒表中，系統調用返回超時(shí)信息。

　內核在每一個(gè)tick都會(huì )做一系列的工作，包括任務(wù)的延遲以及超時(shí)等待資源的定時(shí)器等相關(guān)的檢查操作。一般來(lái)講，在指定的時(shí)間間隔以外到達的資源和信號被認為是無(wú)效的，這也是指定超時(shí)時(shí)間間隔的原意所在，有些對時(shí)間要求苛刻的場(chǎng)合就有這種需求，內核必須處理好這方面的問(wèn)題。

3uC/OS-II內核超時(shí)等待機制的分析

　假設某任務(wù)T超時(shí)等待信號量資源R，先來(lái)分析時(shí)鐘節拍函數的源代碼。

void OSTimeTick(void)

{

OS_TCB *ptcb;

OSTimeTickHook();

ptcb=OSTCBList;

while(ptcb->OSTCBPrio!=OS_IDLE_PRIO){

OS_ENTER_CRITICAL();

if(ptcb->OSTCBDly!=0){

if(--ptcb->OSTCBDly==0){

if(!(ptcb->OSTCBStatOS_STAT_SUSPEND)){//(1)

OSRdyGrp|=ptcb->OSTCBBity; //(2)

OSRdyTbl[ptcb->OSTCBY]|=ptcb->OSTCBBitX;//(3)

}else {

ptcb->OSTCBDly=1;

}

}

}

ptcb=ptcb->OSTCBNext;

OS_EXIT_CRITICAL();

}

OS_ENTER_CRITICAL();

OSTime++;

OS_EXIT_CRITICAL();

}

　　語(yǔ)句(1),(2),(3)表明：時(shí)鐘中斷服務(wù)程序在每一個(gè)時(shí)鐘中斷在需要的情況下對任務(wù)的延遲項進(jìn)行減1操作，如果任務(wù)T的定時(shí)時(shí)間間隔到期（延遲項被減為0），并且任務(wù)T沒(méi)有附加的掛起操作，任務(wù)T就會(huì )進(jìn)入就緒表，然而該函數卻沒(méi)有進(jìn)一步將任務(wù)T移出資源R的等待隊列，也就是說(shuō)此時(shí)任務(wù)T跨了兩個(gè)狀態(tài)，這兩個(gè)狀態(tài)從本質(zhì)上講是矛盾的。雖然任務(wù)T此時(shí)處于就緒狀態(tài)，但未必馬上就能獲得執行權，這取決于任務(wù)T的優(yōu)先級。在任務(wù)T沒(méi)有被調度執行之前的這段時(shí)間內，假設資源R到達了，比如一個(gè)中斷服務(wù)程序調用了OSSemPost函數，會(huì )是什么情況呢？我們再來(lái)分析OSSemPost函數。

void OSSemPost(OS_EVENT *pevent)

{

OS_ENTER_CRITICAL();

if(pevent->OSEventGrp!=0x00){

OS_EventTaskRdy(pevent,(void*)0,OS_STAT_SEM);//(4)

OS_EXIT_CRITICAL();

OS_Sched();

return(OS_NO_ERR);

}

if(pevent->OSEventCnt65535){

pevent->OSEventCnt++;

OS_EXIT_CRITICAL();

return(OS_NO_ERR);

}

OS_EXIT_CRITICAL();

return(OS_SEM_OVF);

}

}

　從語(yǔ)句(4)可以看出，在資源R的等待列表中有等待任務(wù)的情況下，等待表中最高優(yōu)先級的任務(wù)將從等待列表中刪除，并且進(jìn)入就緒表。如果等待表中的最高優(yōu)先級任務(wù)就是前面講的等待超時(shí)的任務(wù)T，這相當于任務(wù)T又一次進(jìn)入就緒表，不過(guò)只有一次從等待表中刪除。任務(wù)T獲取到了資源，只不過(guò)是在超時(shí)時(shí)間以外獲取到的。任務(wù)T獲得執行權以后從調度程序返回將運行函數OSSemPend()語(yǔ)句(6)處的條件代碼，此時(shí)語(yǔ)句(5)處的條件不成立，任務(wù)按獲取到資源對待。

void OSSemPend(OS_EVENT *pevent,INT16U timeout,INT8U *err)

{

OS_ENTER_CRITICAL();

if(pevent->OSEventType!=OS_EVENT_TYPE_SEM){

OS_EXIT_CRITICAL();

*err=OS_ERR_EVENT_TYPE;

}

if(pevent->OSEventCnt>0){

pevent->OSEventCnt--;

OS_EXIT_CRITICAL();

*err=OS_NO_ERR;

}else if(OSIntNesting>0){

OS_EXIT_CRITICAL();

*err=OS_ERR_PEND_ISR;

}else{

OSTCBCur->OSTCBStat|=OS_STAT_SEM;

OSTCBCur->OSTCBDly=timeout;

OSEventTaskWait(pevent);

OS_EXIT_CRITICAL();

OSSched();

OS_ENTER_CRITICAL();

if(OSTCBCur->OSTCBStatOS_STAT_SEM){ //(5)

OSEventTo(pevent);

OS_EXIT_CRITICAL();

*err=OS_TIMEOUT;

}else{ //(6)

OSTCBCur->OSTCBEventPtr=(OS_EVENT*0);

OS_EXIT_CRITICAL();

*err=OS_NO_ERR;

}

}

}

void OSEventTo(OS_EVENT *pevent)

{

if((pevent->OSEventTbl[OSTCBCur->OSTCBY]=~OSTCBCur->OSTCBBitX)==0)

{

pevent->OSEventGrp=~OSTCBBitY;

}

OSTCBCur->OSTCBStat=OS_STAT_RDY;

vOSTCBCur->OSTCBEventPtr=(OS_EVENT*0);}

　如果任務(wù)T由于超時(shí)進(jìn)入就緒態(tài)，到T獲得執行權之前，仍沒(méi)有獲取到資源R，將運行語(yǔ)句(5)處的條件代碼，由函數OSEventTo()可以看出，此時(shí)任務(wù)T才被從等待表中刪除，最后返回超時(shí)狀態(tài)。
　通過(guò)分析開(kāi)放源碼的nucleus內核，發(fā)現nucleus在超時(shí)到期時(shí)執行定時(shí)器的一個(gè)回調函數，此回調函數馬上將等待任務(wù)從等待鏈表中刪除，將返回狀態(tài)定性為超時(shí)。這樣在任務(wù)獲得執行權前，即使資源到達，該任務(wù)也不會(huì )得到。這樣一來(lái)，uC/OS-II內核只要在時(shí)鐘節拍函數里增加代碼將延時(shí)期滿(mǎn)的任務(wù)從相應的資源等待列表中刪除即可。這一工作很容易實(shí)現，內核任務(wù)控制塊有指向所等待的信號量，消息等事件控制塊的指針，事件控制塊里有相應的等待表。對于uC/OS-II新引進(jìn)的事件標志組[2]，任務(wù)控制塊有指向相應的等待節點(diǎn)的指針，等待節點(diǎn)有指向相應的事件標志組控制塊的指針，刪除一個(gè)等待節點(diǎn)也能實(shí)現。

4結論

　uC/OS-II其它資源的等待機制，比如消息以及包括2.5.2版引入的事件標志組的實(shí)現都存在上述的超時(shí)時(shí)間不嚴格的問(wèn)題，這是由中斷節拍函數OSTimeTick()決定的，該函數只負責將任務(wù)移入就緒表，而不處理相應的等待表。