女人被狂躁到高潮视频免费无遮挡,内射人妻骚骚骚,免费人成小说在线观看网站,九九影院午夜理论片少妇,免费av永久免费网址

當(dāng)前位置:首頁 > 嵌入式 > 嵌入式軟件
[導(dǎo)讀]深入探討《Small RTOS51中消息隊(duì)列的一處隱患》

摘要:Small RTOS51是一款重要的小型實(shí)時(shí)內(nèi)核,消息隊(duì)列是其提供的重要任務(wù)間通信的機(jī)制。針對(duì)其消息隊(duì)列實(shí)現(xiàn)代碼中的缺陷以及可能導(dǎo)致的消息丟失這一嚴(yán)重問題,從操作系統(tǒng)等待與喚醒機(jī)制理論的角度出發(fā),剖析Small RTOS51內(nèi)核在消息隊(duì)列甚至互斥型信號(hào)量等實(shí)現(xiàn)機(jī)制上的漏洞所在;進(jìn)一步指出原內(nèi)核實(shí)現(xiàn)方式的修改方法,以及《Small RTOS51中消息隊(duì)列的一處隱患》作者提出的第2種修改方法的完美實(shí)現(xiàn)。

關(guān)鍵詞:Small RTOS51 消息隊(duì)列 喚醒模型 隱患分析

引言

  貴刊2005年第7期《Small RTOS51中消息隊(duì)列的一處隱患》一文,對(duì)Small RTOS51V1.12.1版本的消息隊(duì)列機(jī)制進(jìn)行了周密的分析,不但找出了問題所在,也提出了相應(yīng)的兩種解決方法[1]。實(shí)時(shí)嵌入式系統(tǒng)對(duì)于安全性有很高的要求,作為實(shí)時(shí)嵌入式系統(tǒng)的內(nèi)核,不但要求精簡高效,更要加強(qiáng)安全,防止因操作系統(tǒng)出錯(cuò)而在應(yīng)用領(lǐng)域?qū)е聻?zāi)難性的后果。因此原文作者所做的工作極有價(jià)值,同時(shí)也感謝貴刊對(duì)這一領(lǐng)域的高度重視。

  因?yàn)檫@一問題涉及到內(nèi)核的等待與喚醒機(jī)制,并且正是由于對(duì)內(nèi)核的等待與喚醒機(jī)制的理解與運(yùn)用不同,才導(dǎo)致了問題的出現(xiàn),所以本文從操作系統(tǒng)理論的高度以及目前主流的實(shí)時(shí)內(nèi)核的實(shí)現(xiàn)方法兩方面入手論述這一問題,并揭示如何才能完美實(shí)現(xiàn)原文的第2種方法。

1 內(nèi)核喚醒機(jī)制的三種模型

  當(dāng)利用系統(tǒng)調(diào)用接口獲取資源時(shí),如果資源不滿足,系統(tǒng)調(diào)用可以返回錯(cuò)誤,也可以根據(jù)選項(xiàng)懸掛等待;當(dāng)有任務(wù)釋放資源從而資源可以滿足時(shí),就要將資源等待隊(duì)列中的相關(guān)任務(wù)喚醒。喚醒模型有三種[2]:
第1種,將該資源等待隊(duì)列中的任務(wù)全部喚醒,讓這些任務(wù)與系統(tǒng)中的其他任務(wù)平等竟?fàn)庂Y源。這種策略會(huì)使系統(tǒng)在一段時(shí)間內(nèi)繁忙,因?yàn)樽罱K只有一個(gè)任務(wù)獲取到資源,其他任務(wù)可能將經(jīng)歷一個(gè)從就緒態(tài)到運(yùn)行態(tài)再到阻塞態(tài)的過程。這種現(xiàn)象在操作系統(tǒng)理論上稱為“千軍萬馬奔騰”。就目前的一些主流實(shí)時(shí)內(nèi)核VxWorks、Nucleus、uC/OS?II等來講,都沒有采用這種策略。

  第2種,將該資源等待隊(duì)列中的一個(gè)任務(wù)喚醒,依據(jù)所采用的策略不同,可以是等待任務(wù)中優(yōu)先級(jí)最高的,也可以是第1個(gè)進(jìn)入等待隊(duì)列中的任務(wù)。這個(gè)任務(wù)被喚醒后將和系統(tǒng)中的其他任務(wù)一起競爭這個(gè)資源。如果這個(gè)任務(wù)最終沒有競爭到這個(gè)資源,它將再次進(jìn)入該資源的等待隊(duì)列并進(jìn)行任務(wù)調(diào)度。

  第3種,將該資源等待隊(duì)列中的一個(gè)任務(wù)喚醒,依據(jù)所采用的策略不同,可以是等待任務(wù)中優(yōu)先級(jí)最高的,也可以是第1個(gè)進(jìn)入等待隊(duì)列中的任務(wù),這點(diǎn)和第2種方法是一樣的。和第2種情況不同的是,這個(gè)任務(wù)被指定為資源的獲得者。主流實(shí)時(shí)內(nèi)核VxWorks、Nucleus、uC/OS?II等都采用這種策略。以VxWorks為例,其內(nèi)核文檔指出[3]:“任務(wù)或ISR調(diào)用msgQSend()向消息隊(duì)列發(fā)送消息。此時(shí)如果沒有任務(wù)在等待該隊(duì)列中的消息,那么該消息進(jìn)入消息隊(duì)列的緩沖;如果有任務(wù)等待該隊(duì)列的消息,那么這個(gè)消息立即提交給第1個(gè)等待的任務(wù)?!边@段話有兩方面的含義:① 明確指出第1個(gè)等待的任務(wù)獲得資源;② 第1個(gè)等待的任務(wù)獲得資源的方式是直接從消息的發(fā)送者那里獲得,也就是說這個(gè)消息將不進(jìn)入消息隊(duì)列進(jìn)行緩沖,消息在發(fā)送者和接收者之間進(jìn)行手把手的傳遞。對(duì)于這種機(jī)制的實(shí)現(xiàn),可以以著名的源代碼公開的實(shí)時(shí)嵌入式操作系統(tǒng)Nucleus為例。下面是Nucleus內(nèi)核關(guān)于接收消息的一段精彩的代碼:
else {
  /* 消息隊(duì)列為空,決定是否懸掛等待*/
  if (suspend) {
    /* 增加等待該消息隊(duì)列的任務(wù)數(shù)量 */
    queue -> qu_tasks_waiting++;
    /* 填充懸掛塊數(shù)據(jù)結(jié)構(gòu)并且懸掛該任務(wù)*/
    suspend_ptr =&suspend_block;
    suspend_ptr -> qu_queue=queue;
    suspend_ptr -> qu_suspend_link.cs_next=NU_NULL;
    suspend_ptr -> qu_suspend_link.cs_previous=NU_NULL;
    suspend_ptr -> qu_message_area=
              (UNSIGNED_PTR) message;
    suspend_ptr -> qu_message_size=size;
    task=(TC_TCB *) TCT_Current_Thread();
    suspend_ptr -> qu_suspended_task=task;
    /* 判斷該消息隊(duì)列的等待方式是先進(jìn)先出還是按任務(wù)
    的優(yōu)先級(jí) */
    if (queue -> qu_fifo_suspend) {
      /* 是先進(jìn)先出等待方式,將懸掛塊鏈入消息隊(duì)列
      的等待鏈表 */
      CSC_Place_On_List((CS_NODE **)
          &(queue -> qu_suspension_list),
          &(suspend_ptr -> qu_suspend_link));
    }
    else {
      /* 按優(yōu)先級(jí)方式將懸掛塊鏈入任務(wù)等待鏈表的
      合適位置 */
      suspend_ptr -> qu_suspend_link.cs_priority =
              TCC_Task_Priority(task);
      CSC_Priority_Place_On_List((CS_NODE **)
            &(queue -> qu_suspension_list),
            &(suspend_ptr -> qu_suspend_link));
    }
    /* 懸掛調(diào)用任務(wù),并自動(dòng)取消該消息隊(duì)列的臨界區(qū)
    保護(hù) */
    TCC_Suspend_Task((NU_TASK *) task,
            NU_QUEUE_SUSPEND,
            QUC_Cleanup, suspend_ptr, suspend);
    /* 獲取該系統(tǒng)調(diào)用要求的返回狀態(tài)以及返回值*/
    status =suspend_ptr -> qu_return_status;
    *actual_size =suspend_ptr -> qu_actual_size;
    }
    else
    /* 在消息隊(duì)列為空以及不等待的方式下,返回狀態(tài)
    指示消息隊(duì)列為空*/
    status =NU_QUEUE_EMPTY;
}

  這段代碼是處理消息隊(duì)列中沒有消息時(shí)的情況的,并且在不進(jìn)行懸掛等待時(shí)返回碼是NU_QUEUE_EMPTY,提示隊(duì)列為空。我們注意到在選擇懸掛等待的情況下,填充了suspend_ptr指針?biāo)傅囊粋€(gè)懸掛塊結(jié)構(gòu),suspend_ptr -> qu_message_area填充的是接收任務(wù)指定的接收緩沖區(qū)指針,suspend_ptr -> qu_message_size填充的是接收任務(wù)指定的接收消息長度。接下來依據(jù)不同的等待策略(任務(wù)優(yōu)先級(jí)或FIFO),將填充好的消息隊(duì)列懸掛塊鏈入該消息隊(duì)列的懸掛等待鏈表中,進(jìn)行任務(wù)調(diào)度。正是有了這個(gè)消息隊(duì)列懸掛塊數(shù)據(jù)結(jié)構(gòu),將來發(fā)送消息的任務(wù)依據(jù)這個(gè)懸掛塊中指定的接收消息緩沖區(qū)指針,把消息從發(fā)送任務(wù)直接復(fù)制到接收任務(wù)。當(dāng)接收消息的任務(wù)被喚醒并獲得執(zhí)行權(quán)后,只是簡單地依據(jù)懸掛塊中的相關(guān)域的內(nèi)容返回系統(tǒng)調(diào)用而已。從上述分析可以看出,懸掛塊數(shù)據(jù)結(jié)構(gòu)起著重要的作用,它不僅標(biāo)明了是哪個(gè)任務(wù)在等待,也標(biāo)明了等待任務(wù)的一些詳細(xì)信息,同時(shí)也有結(jié)果狀態(tài)域。通過對(duì)Nucleus內(nèi)核定時(shí)器機(jī)制的分析得知,在任務(wù)等待資源超時(shí)的情況下,懸掛等待塊的結(jié)果狀態(tài)域?qū)⒈惶畛銷U_TIMEOUT。

2 針對(duì)Small RTOS51消息隊(duì)列的分析


  有了上述三種模型的分析,很容易看出Small RTOS51V1.12.1版消息隊(duì)列所采用的是第2種模型,只是在實(shí)現(xiàn)時(shí)出現(xiàn)重大遺漏,被喚醒的任務(wù)沒有競爭到資源時(shí)應(yīng)重新進(jìn)入等待表,而其內(nèi)核代碼卻沒有體現(xiàn)到這一點(diǎn)。這一點(diǎn)《Small RTOS51中消息隊(duì)列的一處隱患》的作者已經(jīng)分析得很清楚,其提出的第1種解決方案也很正確。重點(diǎn)是第2種解決方案。第2種解決方案屬于第3種模型,但其實(shí)現(xiàn)技術(shù)欠佳。正如原文作者所指出的那樣,第2種方案具有其自身不可調(diào)和的矛盾:“在發(fā)送消息的OSQIntPost()函數(shù)中,如果檢測到有任務(wù)正在等待此消息,則并不把消息數(shù)(buf[0])加1”,但這個(gè)消息畢竟進(jìn)入消息隊(duì)列了,這就造成了一種矛盾狀態(tài),消息數(shù)與消息隊(duì)列中的實(shí)際消息不相符。為了實(shí)現(xiàn)第3種模型的效果,即被喚醒的等待任務(wù)獲取資源,在消息數(shù)為0的情況下,原文作者通過進(jìn)一步判斷該任務(wù)是否還處在消息隊(duì)列的等待任務(wù)表中,來決定該任務(wù)是否從消息隊(duì)列中獲取消息;但消息數(shù)為0而消息隊(duì)列中還有消息卻為發(fā)送消息帶來隱患。要想解決這一矛盾,OSQIntPost()在喚醒等待任務(wù)的同時(shí)就應(yīng)該將該消息傳遞給這個(gè)任務(wù),這樣消息數(shù)仍然為0才不留隱患。uC/OS?II實(shí)現(xiàn)這一策略的技術(shù)是任務(wù)被喚醒后檢查任務(wù)控制塊中的OSTCBCur->OSTCBMsg這一數(shù)據(jù)域[4,5],獲取到的消息指針在此。注意,OSQPost()在有等待任務(wù)的情況下,如下處理:
  if (pevent->OSEventGrp != 0x00) { /* 判斷是否有任務(wù)懸掛在消息隊(duì)列的等待表中            */28OS_EventTaskRdy(pevent, msg,OS_STAT_Q); /*將等待表中最高優(yōu)先級(jí)任務(wù)喚醒*/
    OS_EXIT_CRITICAL();
    OS_Sched(); /* 進(jìn)行任務(wù)調(diào)度,運(yùn)行最高優(yōu)先級(jí)任務(wù)*/
    return (OS_NO_ERR);
  }

  即消息指針沒有進(jìn)消息隊(duì)列并且消息指針通過OS_EventTaskRdy(pevent, msg, OS_STAT_Q)傳給被喚醒的任務(wù)。這一作法符合第3種模型。

  由此可見,Small RTOS51V1.12.1要想實(shí)現(xiàn)第3種模型,其內(nèi)核的數(shù)據(jù)結(jié)構(gòu)需要有一些變化,像原文第2種方案那樣修改代碼,是不能最終解決問題的。同Nucleus相比,實(shí)現(xiàn)消息隊(duì)列時(shí),uC/OS?II雖然沒有引入懸掛等待塊的概念,但其通過在任務(wù)控制塊中引入相應(yīng)數(shù)據(jù)項(xiàng)來最終實(shí)現(xiàn)第3種模型,并且結(jié)果是在任務(wù)被喚醒后進(jìn)行判斷的。

3 結(jié)論

  雖然各種各樣的實(shí)時(shí)嵌入式操作系統(tǒng)千差萬別,但從操作系統(tǒng)理論的角度分析,很容易將它們納入到某一具體的模型;實(shí)現(xiàn)細(xì)節(jié)有很大的不同,但其實(shí)現(xiàn)的功能應(yīng)符合通用原理。在操作系統(tǒng)理論的指導(dǎo)下,結(jié)合具體的實(shí)例源代碼分析、理解和應(yīng)用,才能有更大的把握。

                 參考文獻(xiàn)

1 陳皓. Small RTOS51中消息隊(duì)列的一處隱患. 單片機(jī)與嵌入式系統(tǒng)應(yīng)用,2005(7)
2 Jim Mauro,Richard McDougall.Solaris內(nèi)核結(jié)構(gòu).北京:機(jī)械工業(yè)出版社,2001
3 孔祥營,等. 嵌入式實(shí)時(shí)操作系統(tǒng)VxWorks及其開發(fā)環(huán)境Tornado. 北京:中國電力出版社,2001
4 Labrosse Jean J.uC/OS?II——源碼公開的實(shí)時(shí)嵌入式操作系統(tǒng).北京:中國電力出版社,2001
5 Labrosse Jean J.嵌入式實(shí)時(shí)操作系統(tǒng)uC/OS?II.北京:北京航空航天大學(xué)出版社,2003

韓明峰:碩士,主要研究方向?yàn)閷?shí)時(shí)嵌入式系統(tǒng)。

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

慕尼黑2025年9月12日 /美通社/ -- 慕尼黑當(dāng)?shù)貢r(shí)間9月10日,在2025德國國際汽車及智慧出行博覽會(huì)(IAA MOBILITY)上,國際獨(dú)立第三方檢測、檢驗(yàn)和認(rèn)證機(jī)...

關(guān)鍵字: 測試 慕尼黑 模型 HUBER

天津2025年9月11日 /美通社/ -- 國際能源署(IEA)數(shù)據(jù)顯示,2024 年全球數(shù)據(jù)中心電力消耗達(dá) 415 太瓦時(shí),占全球總用電量的 1.5%,預(yù)計(jì)到 2030 年,這一數(shù)字將飆升至 945 太瓦時(shí),近乎翻番,...

關(guān)鍵字: 模型 AI 數(shù)據(jù)中心 BSP

深圳2025年9月9日 /美通社/ -- PART 01活動(dòng)背景 當(dāng)技術(shù)的鋒芒刺穿行業(yè)壁壘,萬物互聯(lián)的生態(tài)正重塑產(chǎn)業(yè)疆域。2025年,物聯(lián)網(wǎng)產(chǎn)業(yè)邁入?"破界創(chuàng)造"與"共生進(jìn)化"?的裂變時(shí)代——AI大模型消融感知邊界,...

關(guān)鍵字: BSP 模型 微信 AIOT

柏林2025年9月9日 /美通社/ -- 柏林當(dāng)?shù)貢r(shí)間9月6日,在2025德國柏林國際電子消費(fèi)品展覽會(huì)(International Funkausstellung...

關(guān)鍵字: 掃地機(jī)器人 耳機(jī) PEN BSP

浙江寧波2025年9月8日 /美通社/ -- 人工智能的熱流在寧波翻涌。9月4日,由浙江數(shù)字經(jīng)濟(jì)百人會(huì)主辦的"智能時(shí)代 浙里領(lǐng)航——智能體創(chuàng)新與應(yīng)用圓桌會(huì)",成為一場重量級(jí)思想碰撞的樞紐。匯聚政產(chǎn)學(xué)研...

關(guān)鍵字: 智能體 離散 AI 模型

北京2025年9月5日 /美通社/ -- 9月4日,在北京市人民政府新聞辦公室舉行的"一把手發(fā)布?京華巡禮"系列主題新聞發(fā)布會(huì)上,北京經(jīng)開區(qū)對(duì)外發(fā)布,北京經(jīng)濟(jì)技術(shù)開發(fā)區(qū)(簡稱"北京經(jīng)開區(qū)&q...

關(guān)鍵字: 人工智能 模型 開源 AI

杭州2025年9月2日 /美通社/ -- 9月2日,央視《朝聞天下》欄目發(fā)布報(bào)道,重點(diǎn)關(guān)注中控技術(shù)在"人工智能+工業(yè)"領(lǐng)域的最新成果——時(shí)間序列大模型TPT 2(Time-series Pre-tra...

關(guān)鍵字: 人工智能 模型 PLAYER ASIA

北京2025年9月2日 /美通社/ -- 近日,深圳云天暢想信息科技有限公司(下稱"云天暢想")與浪潮信息正式簽署元腦生態(tài)戰(zhàn)略合作協(xié)議。雙方將聚焦教育行業(yè)AIGC應(yīng)用落地,在AIGC實(shí)訓(xùn)平臺(tái)、智能體平...

關(guān)鍵字: AI 模型 開發(fā)平臺(tái) 智能體

北京2025年8月28日 /美通社/ -- 8月28日,北京亦莊創(chuàng)新發(fā)布消息,北京經(jīng)濟(jì)技術(shù)開發(fā)區(qū)(簡稱"北京經(jīng)開區(qū)",又稱"北京亦莊")創(chuàng)新推出"一張清單、一鏈延伸、一套...

關(guān)鍵字: 接線 數(shù)字化 智能化 模型

深圳2025年8月28日 /美通社/ -- 8月27日,全球領(lǐng)先的無線通信與AI解決方案提供商廣和通發(fā)布新一代具身智能開發(fā)平臺(tái) Fibot。Fibot已成功應(yīng)用于Physic...

關(guān)鍵字: PHYSICAL 開發(fā)平臺(tái) 模型 INTELLIGENCE
關(guān)閉