用于在事务性存储器系统中实现强原子性的机制

    公开(公告)号:CN101470629A

    公开(公告)日:2009-07-01

    申请号:CN200810188987.9

    申请日:2008-12-30

    CPC classification number: G06F9/30087 G06F9/3004 G06F9/467

    Abstract: 在本文中描述了用于提供高效率的强原子性的方法和装置。可将经优化的强原子操作插在非事务性读访问处以提供高效率的强原子性。在非事务性功能的开始将全局事务值复制到本地事务值;这在本质上创建出此全局事务值的本地时戳。在该功能内的非事务性存储器访问处,将计数值或版本值与LTV比较以查看是否有事务已经启动更新存储器位置——或尤其是被访问的存储器位置。如果存储器位置还没有被事务更新,则通过避免要用全套的慢径强原子操作才保证访问到的数据的有效性来令执行加速。反之,可执行慢径操作以解决争用相同存储器位置的事务性和非事务性访问之间的竞争。

    用于在事务性存储器系统中实现强原子性的方法、装置和系统

    公开(公告)号:CN103544054B

    公开(公告)日:2017-01-11

    申请号:CN201310487913.6

    申请日:2008-12-30

    CPC classification number: G06F9/30087 G06F9/3004 G06F9/467

    Abstract: 本申请公开了用于在事务性存储器系统中实现强原子性的方法、装置和系统。在本文中描述了用于提供高效率的强原子性的方法和装置。可将经优化的强原子操作插在非事务性读访问处以提供高效率的强原子性。在非事务性功能的开始将全局事务值复制到本地事务值;这在本质上创建出此全局事务值的本地时戳。在该功能内的非事务性存储器访问处,将计数值或版本值与LTV比较以查看是否有事务已经启动更新存储器位置——或尤其是被访问的存储器位置。如果存储器位置还没有被事务更新,则通过避免要用全套的慢径强原子操作才保证访问到的数据的有效性来令执行加速。反之,可执行慢径操作以解决争用相同存储器位置的事务性和非事务性访问之间的竞争。

    软件辅助的嵌套硬件事务
    26.
    发明授权

    公开(公告)号:CN101317160B

    公开(公告)日:2012-08-22

    申请号:CN200680044905.2

    申请日:2006-12-15

    CPC classification number: G06F11/141

    Abstract: 描述了一种用于高效地执行嵌套事务的方法和装置。为事务的执行提供了硬件支持。此外,通过采用在本地存储器中记录紧接在当前嵌套事务之前的上一个值、以及存储与事务层次结构相关联的处理程序堆栈,有可能高效地执行嵌套事务。一旦嵌套事务内出现故障、中止、或无效事件/访问,在嵌套事务执行期间被写入的变量或存储单元的状态被回滚到紧接在该嵌套事务之前的状态,而不是一直回到在一个包含性事务之前所述变量或存储单元的原始状态。从而,可以在包含性事务内重新执行嵌套事务,而不会将包含式事务和嵌套事务扁平化而重新执行一切。

    阵列比较和交换操作
    29.
    发明公开

    公开(公告)号:CN101416168A

    公开(公告)日:2009-04-22

    申请号:CN200780012449.8

    申请日:2007-03-30

    CPC classification number: G06F9/526

    Abstract: 尝试为软件事务存储器(STM)系统的一组存储单元中的每个存储单元获得通过所述STM的实现而提供的写入锁定;如果为所述一组存储单元中的每个存储单元获得了写入锁定,则将所述一组存储单元中的每个存储单元中的值与对应的预期值进行比较;以及如果对于所述一组存储单元中的每个存储单元,所述比较产生相同的预定结果,则将对应的新值存储在每个存储单元中。

Patent Agency Ranking