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

有效

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

1.一種保證緩存一致性的方法，其特征在于，所述方法包括：

確定源程序包括具有緩存一致性屬性的變量；

生成對應于所述源程序的泛化generic樹，其中所述generic樹包括具有緩存一致性屬性的generic節點，所述具有緩存一致性屬性的generic節點對應于所述具有緩存一致性屬性的變量；

生成對應于所述generic樹簡化gimple集合并生成對應于所述gimple集合的寄存器轉換語言RTL集合，其中所述RTL集合包括緩存一致的RTL，所述緩存一致的RTL對應于所述具有緩存一致性屬性的generic節點；

基于所述RTL集合，生成緩存一致的目標代碼。

2.如權利要求1所述的方法，其特征在于，所述生成對應于所述generic樹簡化gimple集合并生成對應于所述gimple集合的寄存器轉換語言RTL集合，包括：

對所述generic樹進行簡化gimplify過程并進行緩存一致性處理，生成對應于所述generic樹的簡化gimple集合，其中所述gimple集合包括緩存一致的gimple，所述緩存一致的gimple對應于所述具有緩存一致性屬性的generic節點；

對所述gimple集合進行擴展expand過程，生成對應于所述gimple集合的所述RTL集合，其中所述RTL集合包括所述緩存一致的RTL，所述緩存一致的RTL對應于所述緩存一致的gimple。

3.如權利要求1所述的方法，其特征在于，所述生成對應于所述generic樹簡化gimple集合并生成對應于所述gimple集合的寄存器轉換語言RTL集合，包括：

對所述generic樹進行簡化gimplify過程，生成對應于所述generic樹的簡化gimple集合，其中所述gimple集合包括具有緩存一致性屬性的gimple，所述具有緩存一致性屬性的gimple對應于所述具有緩存一致性屬性的generic節點；

對所述gimple集合進行擴展expand過程并進行緩存一致性處理，生成對應于所述gimple集合的所述RTL集合，其中所述RTL集合包括所述緩存一致的RTL，所述緩存一致的RTL對應于所述具有緩存一致性屬性的gimple。

4.如權利要求2或3任一項所述的方法，其特征在于，在所述生成對應于所述gimple集合的所述RTL集合之前，所述方法還包括：

對所述gimple集合進行優化處理。

5.如權利要求1-4任一項所述的方法，其特征在于，在所述基于所述RTL集合，生成緩存一致的目標代碼之前，所述方法還包括：

對所述RTL集合進行優化處理。

6.一種終端，其特征在于，所述終端包括：

存儲單元，用于存儲源程序；

控制單元，用于確定所述源程序包括具有緩存一致性屬性的變量；

所述控制單元，還用于生成對應于所述源程序的泛化generic樹，其中所述generic樹包括具有緩存一致性屬性的generic節點，所述具有緩存一致性屬性的generic節點對應于所述具有緩存一致性屬性的變量；

所述控制單元，還用于生成對應于所述generic樹簡化gimple集合并生成對應于所述gimple集合的寄存器轉換語言RTL集合，其中所述RTL集合包括緩存一致的RTL，所述緩存一致的RTL對應于所述具有緩存一致性屬性的generic節點；

所述控制單元，還用于基于所述RTL集合，生成緩存一致的目標代碼；

所述存儲單元，還用于存儲所述緩存一致的目標代碼。

7.如權利要求6所述的終端，其特征在于，

所述控制單元，具體用于對所述generic樹進行簡化gimplify過程并進行緩存一致性處理，生成對應于所述generic樹的簡化gimple集合，對所述gimple集合進行擴展expand過程，生成對應于所述gimple集合的所述RTL集合，其中所述gimple集合包括緩存一致的gimple，所述緩存一致的gimple對應于所述具有緩存一致性屬性的generic節點，所述RTL集合包括所述緩存一致的RTL，所述緩存一致的RTL對應于所述緩存一致的gimple。