保证缓存一致性的方法和终端

摘要

本发明提供了保证缓存一致性的方法和终端，包括：确定源程序包括具有缓存一致性属性的变量；生成对应于该源程序的泛化树，其中该泛化树包括具有缓存一致性属性的泛化节点，该具有缓存一致性属性的泛化节点对应于该具有缓存一致性属性的变量；生成对应于该泛化树的简化集合并生成对应于该简化集合的寄存器转换语言RTL集合，其中该RTL集合包括缓存一致的RTL，该缓存一致的RTL对应于该具有缓存一致性属性的泛化节点；基于该RTL集合，生成缓存一致的目标代码。通过缓存一致性关键字标识源程序中需要保证缓存一致的变量，在处理源程序时，可以识别出该具有缓存一致性属性的变量，从而可以生成缓存一致的目标代码，降低了保证缓存一致性的复杂程度。

主权项

一种保证缓存一致性的方法，其特征在于，所述方法包括：确定源程序包括具有缓存一致性属性的变量；生成对应于所述源程序的泛化generic树，其中所述generic树包括具有缓存一致性属性的generic节点，所述具有缓存一致性属性的generic节点对应于所述具有缓存一致性属性的变量；生成对应于所述generic树简化gimple集合并生成对应于所述gimple集合的寄存器转换语言RTL集合，其中所述RTL集合包括缓存一致的RTL，所述缓存一致的RTL对应于所述具有缓存一致性属性的generic节点；基于所述RTL集合，生成缓存一致的目标代码。