買專利賣專利找龍圖騰，真高效！ 查專利查商標用IPTOP,全免費！專利年費監控用IP管家,真方便！

龍圖騰網恭喜西北工業大學申請的專利一種基于內存塊生命周期的動態緩存鎖定WCET分析方法獲國家發明授權專利權，本發明授權專利權由國家知識產權局授予，授權公告號為：CN114780364B 。

龍圖騰網通過國家知識產權局官網在2025-05-06發布的發明授權授權公告中獲悉：該發明授權的專利申請號/專利號為：202210421822.1，技術領域涉及：G06F11/34；該發明授權一種基于內存塊生命周期的動態緩存鎖定WCET分析方法是由朱怡安;任鵬遠;李聯;史先琛設計研發完成，并于2022-04-21向國家知識產權局提交的專利申請。

本一種基于內存塊生命周期的動態緩存鎖定WCET分析方法在說明書摘要公布了：本發明涉及一種基于內存塊生命周期的動態緩存鎖定WCET分析方法，屬于實時系統中任務WCET分析技術領域。首先在基于抽象解釋緩存分析的基礎上獲取到所有程序點的抽象緩存狀態，然后通過計算獲取到最壞情況路徑上的內存塊生命周期和最終的鎖定內存塊集，最后根據內存塊在緩存中的命中狀態去計算出任務的WCET值。確定最終鎖定內存塊集是通過不動點迭代的方法去實現，每次迭代過程中對內存塊生命周期是否重疊進行判斷，同時計算鎖定內存塊增益和相應WCET值，當WCET值不再變化時終止迭代。本發明方法能夠在一定程度上提高緩存的可利用率和分析的精確性。

本發明授權一種基于內存塊生命周期的動態緩存鎖定WCET分析方法在權利要求書中公布了：1.一種基于內存塊生命周期的動態緩存鎖定WCET分析方法，其特征在于，包括通過抽象解釋緩存分析方法獲取到所有程序點的初始抽象緩存狀態；所述抽象解釋緩存分析方法由Must分析、May分析和Persistence分析三種分析方法構成；首先進行Must分析，該方法用于獲取一定會在Cache中命中的內存塊；然后進行May分析獲取一定不會在Cache中命中的內存塊；最后進行Persistence分析獲取第一次在Cache中未命中，而之后所有迭代都會在Cache中命中的內存塊；確定內存塊生命周期；獲取生命周期重疊的內存塊集合；確定鎖定內存塊集合；根據內存塊在緩存中的命中狀態計算任務的WCET值，具體為：得到鎖定內存塊集合，其中鎖定內存塊集合中的內存塊抽象緩存狀態都為命中；對于剩余內存塊需要重新進行抽象緩存分析，獲取到剩余內存塊的最終抽象緩存狀態；統計所有緩存狀態為命中的內存塊個數為Nhit，所有緩存狀態為缺失的內存塊個數為Nmiss，緩存命中時間為Thit，由于緩存缺失引起的時間懲罰為Tmiss，任務的WCET值為WCET＝Nhit*Thit+Nmiss*Tmiss。

如需購買、轉讓、實施、許可或投資類似專利技術，可聯系本專利的申請人或專利權人西北工業大學，其通訊地址為：710072 陜西省西安市友誼西路127號；或者聯系龍圖騰網官方客服，聯系龍圖騰網可撥打電話0551-65771310或微信搜索“龍圖騰網”。