實驗3天花板協(xié)議

1、嵌入式操作系統(tǒng)實驗實驗3 天花板協(xié)議l什么是優(yōu)先級反轉(zhuǎn)l優(yōu)先級反轉(zhuǎn)解決辦法l本實驗內(nèi)容優(yōu)先級反轉(zhuǎn) 高優(yōu)先級任務(wù)需要等待低優(yōu)先級任務(wù)釋高優(yōu)先級任務(wù)需要等待低優(yōu)先級任務(wù)釋放資源，而低優(yōu)先級任務(wù)又正在等待中等優(yōu)放資源，而低優(yōu)先級任務(wù)又正在等待中等優(yōu)先級任務(wù)，這種現(xiàn)象就被稱為優(yōu)先級反轉(zhuǎn)先級任務(wù)，這種現(xiàn)象就被稱為優(yōu)先級反轉(zhuǎn) 。嵌入式操作系統(tǒng)實驗實驗3 天花板協(xié)議l什么是優(yōu)先級反轉(zhuǎn)l優(yōu)先級反轉(zhuǎn)解決辦法l本實驗內(nèi)容優(yōu)先級反轉(zhuǎn)解決辦法 優(yōu)先級繼承協(xié)議（priority inheritance protocol） 優(yōu)先級天花板協(xié)議（priority ceiling protocol）優(yōu)先級繼承協(xié)議基本思想 當(dāng)一

2、個任務(wù)阻塞了一個或多個高優(yōu)先級任務(wù)時，該任務(wù)將不使用其原來的優(yōu)先級，而使用被該任務(wù)所阻塞的所有任務(wù)的最高優(yōu)先級作為其執(zhí)行臨界區(qū)的優(yōu)先級。 當(dāng)該任務(wù)退出臨界區(qū)時，又恢復(fù)到其最初的優(yōu)先級。 優(yōu)先級天花板協(xié)議 每個信號量有個優(yōu)先級天花板，應(yīng)大于所有使用該信號量的任務(wù)的最高優(yōu)先級。任務(wù)任務(wù)A申請共享資源申請共享資源S S是否被占用是否被占用任務(wù)任務(wù)A獲得共享資源獲得共享資源S S被任務(wù)被任務(wù)B占用，任務(wù)占用，任務(wù)A被掛起被掛起 Priority(B)Priority( A)?提升提升B的優(yōu)先級到天花板的優(yōu)先級到天花板B釋放資源釋放資源s并恢復(fù)原來的優(yōu)先級并恢復(fù)原來的優(yōu)先級 等待隊列等待隊列中優(yōu)先級最高

3、的任務(wù)獲得中優(yōu)先級最高的任務(wù)獲得s任務(wù)任務(wù)A繼續(xù)執(zhí)行繼續(xù)執(zhí)行NYNY優(yōu)先級天花板的主要思想用互斥型信號量可以解決 OSMutexCreat（） OSMutexDel（） OSMutexPend（） OSMutexPost（） OSMutexAccept（） OSMutexQuery（）嵌入式操作系統(tǒng)實驗實驗3 天花板協(xié)議l什么是優(yōu)先級反轉(zhuǎn)l優(yōu)先級反轉(zhuǎn)解決辦法l本實驗內(nèi)容本實驗內(nèi)容 參看實驗指導(dǎo)書的實驗三創(chuàng)建三個任務(wù)的優(yōu)先級為創(chuàng)建三個任務(wù)的優(yōu)先級為12、11、10， TASK0 TASK1 TASK2。3個應(yīng)用任務(wù)競爭同一互斥資源個應(yīng)用任務(wù)競爭同一互斥資源 mutex;創(chuàng)建創(chuàng)建mutex時，同時

4、定義它的優(yōu)先級天花板為時，同時定義它的優(yōu)先級天花板為8;void Task (void *pdata) for (;) /* 無限循環(huán)無限循環(huán) */ OSMutexPend(mutex, 0, &err); /*申請資源申請資源*/ OSTimeDlyHMSM(0, 0, 0, 200); /*保持資源保持資源*/ OSMutexPost(mutex); /*釋放資源釋放資源*/ OSTimeDlyHMSM(0, 0, 0, (3-id)*150); /*延時延時*/ 三個任務(wù)使用同樣的代碼嵌入式操作系統(tǒng)實驗實驗1 多任務(wù)的基本管理l什么是優(yōu)先級反轉(zhuǎn)l本實驗內(nèi)容l實驗要求實驗要求調(diào)試代碼，運行結(jié)果