[发明专利]在软件事务内存系统中保护共享变量

说明书

相关申请 

本申请涉及名称为“LOCK ELISION WITH TRANSACTIONALMEMORY”、代理方卷号为P22226的待审U.S.专利申请No.xx/xxxxx，该专利申请被转让给本发明的受让人。 

背景技术

在M.Herlihy和J.Moss，Transactional memory：Architectural support forlock-free data structures，Proceedings of the 20^th Annual InternationalSymposium on Computer Architecture 20，1993(Herlihy和Moss)中描述了使用事务内存以硬件形式对无锁定共享数据结构的事务支持。该方法描述了对启用所述无锁定访问的现有多处理器高速缓存一致性协议的一组扩展。在本文中，使用事务内存的事务被称为事务内存事务或无锁定事务。 

发明内容

根据本发明的一个方面，提供了一种用于修改在任何基于软件的事务内存所定义的临界区域之外发生的、对一变量的访问的方法，所述变量是在程序的基于软件的事务内存系统所定义的临界区域中至少被访问一次的变量，所述方法包括： 

开始基于硬件的基于事务内存的事务； 

在所述基于硬件的基于事务内存的事务内，检查所述变量当前是否被基于软件的事务内存事务所拥有； 

如果所述变量当前不被基于软件的事务内存事务所拥有，则执行所述访问，然后提交所述基于硬件的事务内存事务；以及 

如果所述变量当前被基于软件的事务内存事务所拥有，则执行下列操作中的一个： 

引发指示错误的异常； 

等待限定的时间，然后检查所述变量当前是否被基于软件的事务内存事务所拥有，然后如果所述变量当前被基于软件的事务内存事务所拥有，则引发异常； 

重复限定的时间的等待以及之后的对所述变量当前是否被基于软件的事务内存事务所拥有的检查，直到所述变量当前不被基于软件的事务内存事务所拥有为止。 

根据本发明的另一方面，提供了一种用于修改在任何基于软件的事务内存所定义的临界区域之外发生的、对一变量的访问的系统，所述变量是在程序的基于软件的事务内存系统所定义的临界区域中至少被访问一次的变量，所述系统包括： 

用于开始基于硬件的基于事务内存的事务的模块； 

用于在所述基于硬件的基于事务内存的事务内，检查所述变量当前是否被基于软件的事务内存事务所拥有的模块； 

用于如果所述变量当前不被基于软件的事务内存事务所拥有，则执行所述访问，然后提交所述基于硬件的事务内存事务的模块；以及 

用于如果所述变量当前被基于软件的事务内存事务所拥有，则执行下列操作中的一个的模块： 

引发指示错误的异常； 

等待限定的时间，然后检查所述变量当前是否被基于软件的事务内存事务所拥有，然后如果所述变量当前被基于软件的事务内存事务所拥有，则引发异常； 

重复限定的时间的等待以及之后的对所述变量当前是否被基于软件的事务内存事务所拥有的检查，直到所述变量当前不被基于软件的事务内存事务所拥有为止。 

附图说明

图1示出一个实施例中的基于处理器的系统。 

图2示出软件事务内存系统的实现。 

图3示出一个实施例中的处理。 

具体实施方式

参考图1，所示出的基于处理器的系统可以包括耦合到总线110的一个或多个处理器105。可选地，该系统可以具有这样一种处理器，该处理器为一个多核处理器或者在其它实例中为多个多核处理器。在一些实施例中，处理器可以是超线程的，或者能够以如同其为多核处理器一样(尽管仅具有单核)的方式执行处理。在一个简单实例中，可以将总线110耦合到系统内存115、例如磁盘驱动器的存储器设备或其它存储器设备120、外围设备145。存储器120可以存储各种软件或数据。该系统可以经由一个或多个 总线系统而连接到多个外围设备145。已经公知，所述外围设备可以包括显示器和打印系统。