一種保障實(shí)時(shí)系統(tǒng)時(shí)間約束的處理器指令擴(kuò)展

摘要： 采用軟硬件協(xié)同技術(shù),通過(guò)必要的硬件語(yǔ)義實(shí)現(xiàn)資源隔離,基于高效的任務(wù)調(diào)度保障不同關(guān)鍵級(jí)別任務(wù)滿足時(shí)間約束,是當(dāng)前混合關(guān)鍵系統(tǒng)設(shè)計(jì)的有效方法之一。本研究基于時(shí)序可預(yù)測(cè)的細(xì)粒度多線程處理器FlexPRET,擴(kuò)展設(shè)計(jì)實(shí)現(xiàn)時(shí)序指令,并分別在硬件和編譯器中添加對(duì)擴(kuò)展指令的支持,使得程序在代碼中對(duì)最大執(zhí)行時(shí)間進(jìn)行時(shí)序約束語(yǔ)義描述。實(shí)驗(yàn)評(píng)測(cè)表明,所實(shí)現(xiàn)的擴(kuò)展指令可為用戶提供更精細(xì)的時(shí)序控制。