[發明專利]保證緩存一致性的方法和終端

有效

• 申請號: 201310268888.2
• 申請日: 2013-06-28
• 公開（公告）號: CN103365656B
• 公開（公告）日: 2016-10-19
• 發明（設計）人: 崔世強;閆兵
• 申請（專利權）人: 華為技術有限公司
• 主分類號: G06F9/44
• 分類號: G06F9/44;G06F17/27
• 代理公司: 北京龍雙利達知識產權代理有限公司 11329
• 代理人: 王君;肖鸝

技術領域

本發明實施例涉及信息技術領域，并且更具體地，涉及保證緩存一致性的方法和終端。

背景技術

在現代計算機系統中，主存儲器的存取速度遠遠小于比中央處理器操作速度，因此中央處理器的高速處理能力不能發揮。一種常用的解決方法就是在中央處理器與主存儲器中間添加緩存（cache）。緩存的容量只用主存儲器的幾百分之一，但是緩存的存取速度與中央處理器相匹配。根據程序局部性原理，當主存儲器的某一單元正在被使用時，其鄰近單元將被用到的可能性較大。因此，當中央處理器存取主存儲器某一單元時，計算機硬件就自動地將包括該單元在內的一組單元調入緩存，而中央處理器即將存取的主存儲器單元很可能就在剛剛調入的一組單元內。這樣，中央處理器就可以直接對緩存進行存取，從而提高了計算機系統的處理速度。

在采用緩存的情況下，需要保證數據在緩存中的副本與該數據在主存儲器的副本是一致的。如果該數據在緩存中的副本與在主存儲器的副本不一致，程序的后續處理就會出錯?，F有保證緩存一致性的一種方法是由處理器通過硬件對主存儲器和緩存進行監控，而這種方法硬件復雜度很高，對硬件設計和實現的要求很高?，F有保證緩存一致性的另一種方法是由程序員通過編寫代碼來保證緩存一致性，程序的執行效率取決于程序員的編程能力。

發明內容

本發明實施例提供了保證緩存一致性的方法和終端，能夠降低保證緩存一致性的復雜程度。

第一方面，本發明實施例提供一種保證緩存一致性的方法，該方法包括：確定源程序包括具有緩存一致性屬性的變量；生成對應于該源程序的泛化（generic）樹，其中該generic樹包括具有緩存一致性屬性的generic節點，該具有緩存一致性屬性的generic節點對應于該具有緩存一致性屬性的變量；生成對應于該generic樹gimple集合并生成對應于該gimple集合的RTL集合，其中該RTL集合包括緩存一致的RTL，該緩存一致的RTL對應于該具有緩存一致性屬性的generic節點；基于該RTL集合，生成緩存一致的目標代碼。

結合第一方面，在第一種可能的實現方式中，生成對應于該generic樹的寄存器轉換語言RTL集合，該RTL集合包括緩存一致的RTL，該緩存一致的RTL對應于該具有緩存一致性屬性的generic節點，包括：對該generic樹進行簡化gimplify過程并進行緩存一致性處理，生成對應于該generic樹的簡化gimple集合，其中該gimple集合包括緩存一致的gimple，該緩存一致的gimple對應于該具有緩存一致性屬性的generic節點；對該gimple集合進行擴展expand過程，生成對應于該gimple集合的該RTL集合，其中該RTL集合包括該緩存一致的RTL，該緩存一致的RTL對應于該緩存一致的gimple。

結合第一方面，在第二種可能的實現方式中，生成對應于該generic樹的寄存器轉換語言RTL集合，該RTL集合包括緩存一致的RTL，該緩存一致的RTL對應于該具有緩存一致性屬性的generic節點，包括：對該generic樹進行簡化gimplify過程，生成對應于該generic樹的簡化gimple集合，其中該gimple集合包括具有緩存一致性屬性的gimple，該具有緩存一致性屬性的gimple對應于該具有緩存一致性屬性的generic節點；對該gimple集合進行擴展expand過程并進行緩存一致性處理，生成對應于該gimple集合的該RTL集合，其中該RTL集合包括該緩存一致的RTL，該緩存一致的RTL對應于該具有緩存一致性屬性的gimple。

結合第一種可能的實現方式或第二種可能的實現方式，在第三種可能的實現方式中，在生成對應于該gimple集合的該RTL集合之前，該方法還包括：對該gimple集合進行優化處理。

結合第一方面或上述任一種可能的實現方式，在第四種可能的實現方式中，在基于該RTL集合，生成緩存一致的目標代碼之前，該方法還包括：對該RTL集合進行優化處理。