[发明专利]事务内存的冲突检测方法、事务内存系统及微处理器

权利要求书

1.一种事务内存的冲突检测方法，其特征在于，包括：

在执行第一事务的访存操作的同时，将所述第一事务的读操作记录至所述第一事务的读集，将所述第一事务的写操作记录至所述第一事务的写集；

在执行所述第一事务的访存操作的过程中，若检测到所述第一事务的写集与正在执行的第三事务的读集有交集，并且所述第一事务的读集与所述第三事务的写集有交集，则判定所述第一事务与所述第三事务之间有冲突；

在所述第一事务执行结束之后，若检测到所述第一事务的写集与第二事务的读集有交集，则判定所述第一事务与所述第二事务之间有冲突；其中，所述第一事务的执行结束时间在所述第二事务的执行结束时间之前。

2.根据权利要求1所述的方法，其特征在于，所述在执行第一事务的访存操作的同时，将所述第一事务的读操作记录至所述第一事务的读集，将所述第一事务的写操作记录至所述第一事务的写集，包括：

在执行所述第一事务的读操作时，将所述第一事务的读操作的对象地址加入所述第一事务的读集；

在执行所述第一事务的写操作时，将所述第一事务的写操作的对象地址加入所述第一事务的写集。

3.一种事务内存系统，其特征在于，包括：

记录模块，用于在执行第一事务的访存操作的同时，将所述第一事务的读操作记录至所述第一事务的读集，将所述第一事务的写操作记录至所述第一事务的写集；

第一判定模块，用于在所述第一事务的执行结束之后，若检测到所述第一事务的写集与第二事务的读集有交集，则判定所述第一事务与所述第二事务之间有冲突；其中，所述第一事务的执行结束时间在所述第二事务的执行结束时间之前；

第二判定模块，用于在执行所述第一事务的访存操作的过程中，若检测到所述第一事务的写集与正在执行的第三事务的读集有交集，并且所述第一事务的读集与所述第三事务的写集有交集，则判定所述第一事务与所述第三事务之间有冲突。

4.根据权利要求3所述的事务内存系统，其特征在于，所述记录模块具体用于：在执行所述第一事务的读操作时，将所述第一事务的读操作的对象地址加入所述第一事务的读集；在执行所述第一事务的写操作时，将所述第一事务的写操作的对象地址加入所述第一事务的写集。

5.一种微处理器，其特征在于，包括如权利要求3-4任一所述的事务内存系统。