[发明专利]保证缓存一致性的方法和终端

权利要求书

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。