[發(fā)明專利]基于絕對地址匯聚的數(shù)據(jù)訪問沖突檢測方法

有效

• 申請?zhí)枺?/td>: 201310744736.5
• 申請日: 2013-12-30
• 公開（公告）號: CN103699388A
• 公開（公告）日: 2014-04-02
• 發(fā)明（設(shè)計）人: 王政;綦艷霞;顧斌;董曉剛;陳睿;陳堯;趙雷;郭向英
• 申請（專利權(quán)）人: 北京控制工程研究所
• 主分類號: G06F9/44
• 分類號: G06F9/44
• 代理公司: 中國航天科技專利中心 11009
• 代理人: 陳鵬

1.基于絕對地址匯聚的數(shù)據(jù)訪問沖突檢測方法，其特征在于步驟如下：

（1）對C源程序進(jìn)行語法分析，構(gòu)造源程序中使用的絕對地址集合；利用絕對地址集合，構(gòu)造間接影響關(guān)系；所述的間接影響關(guān)系是一組絕對地址上的一一映射關(guān)系，具有一一映射關(guān)系的兩個絕對地址中，對其中一個絕對地址的寫操作會導(dǎo)致另一個絕對地址的讀操作的結(jié)果發(fā)生變化；

（2）根據(jù)C源程序中的中斷響應(yīng)函數(shù)，尋找C源程序包括的所有中斷上下文；

（3）對于步驟（2）中確定的每個中斷上下文，進(jìn)行下列檢查：

（31）將C源程序的主程序中進(jìn)行讀操作的絕對地址構(gòu)成的集合記作R₁，寫操作構(gòu)成的集合記作W₁，將C源程序的中斷中進(jìn)行讀操作的絕對地址構(gòu)成的集合記作R₂，寫操作構(gòu)成的集合記作W₂；

（32）令w₁=closure(E,W₁)，w₂=closure(E,W₂)，其中E為步驟（1）中的間接影響關(guān)系；w_i=closure(E,W_i)，i=1、2的計算步驟如下：

（321）令w_i=W_i；

（322）對任意的d∈w_i，令w_i'=w_iU{E(d)}；其中E(d)為絕對地址d所處的間接影響關(guān)系對應(yīng)的絕對地址；

（323）如果w_i=w_i'那么w_i=closure(E,W_i)計算完畢，否則令w_i=w_i'，并回到步驟（322）；

（33）令A(yù)=(w₁∩w₂)U(w₁∩R₂)U(R₁∩w₂)；如果A=，那么沒有數(shù)據(jù)訪問沖突；否則判定在集合A中的絕對地址處發(fā)生數(shù)據(jù)訪問沖突。