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

说明书

本发明实施例提供一种事务内存的冲突检测方法、事务内存系统及微处理器，其中，所述方法包括：在执行第一事务的访存操作的同时，将第一事务的读操作记录至第一事务的读集，将第一事务的写操作记录至第一事务的写集；在第一事务的执行结束之后，若检测到第一事务的写集与第二事务的读集有交集，则判定第一事务与所述第二事务之间有冲突；其中，第一事务的执行结束时间在第二事务的执行结束时间之前。本发明实施例提供的事务内存的冲突检测方法、事务内存系统及微处理器，不需要比较先结束的事务的读集与后结束的事务的写集之间的关系，减少了事务间由于读写相关带来的事务冲突问题，降低了事务间冲突概率，提升了事务内存系统的性能。

技术领域

本发明实施例涉及微处理器技术，尤其涉及一种事务内存的冲突检测方法、事务内存系统及微处理器。

背景技术

事务内存(transactional memory，TM)是一种扩展性好、易于编程的并行编程模型，它的核心思想是通过尝试性地执行事务代码，在程序运行过程中动态地检测事务间冲突，并根据冲突检测结果相应地提交或者取消事务。事务冲突对事务系统性能有直接的关系，较大的事务冲突将导致系统性能大幅度下降。

现有的事务内存的冲突检测方法，按照冲突检测的时机可以分为早检测和晚检测方法两种。早检测是指在事务执行过程中，一边运行，一边冲突检测；当任一事务的读集和其他事务的写集之间有交集时，就认为有冲突，此时立刻放弃事务，因此，早检测机制会导致较高的冲突概率，影响事务内存系统的性能。晚检测是指在事务执行结束后，才开始进行冲突检测；传统的晚检测方法符合强隔离性模型，即事务与事务之间的读集、写集严格隔离，彼此的执行不能互相干扰，当事务结束时，需要满足该结束事务的读集和其他事务的写集、结束事务的写集和其他事务的读集、结束事务的写集和其他事务的写集之间都没有交集，这样该事务才是没有冲突的，因此，晚检测机制需要比较的集合较多，硬件开销较大，对硬件速度影响较大，难以减少事务间由于读写相关带来的事务冲突，由此造成事务内存系统的性能瓶颈。

发明内容

本发明实施例提供一种事务内存的冲突检测方法、事务内存系统及微处理器，以减少事务内存系统中事务间由于读写相关带来的事务冲突问题，提升事务内存系统的性能。

第一方面，本发明实施例提供一种事务内存的冲突检测方法，其中，所述方法包括：

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

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

在第一方面的第一种可能的实现方式中，所述方法还包括：

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

根据第一方面或第一方面的第一种可能的实现方式，在第一方面的第二种可能的实现方式中，所述在执行第一事务的访存操作的同时，将所述第一事务的读操作记录至所述第一事务的读集，将所述第一事务的写操作记录至所述第一事务的写集，包括：

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

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

第二方面，本发明实施例提供一种事务内存系统，其中，所述事务内存系统包括：

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