事务存储器中的并行嵌套事务

    公开(公告)号:CN101889266B

    公开(公告)日:2013-06-12

    申请号:CN200880107300.2

    申请日:2008-09-16

    Applicant: 微软公司

    CPC classification number: G06F9/467 G06F17/30356 G06F17/30359 G06F17/30362

    Abstract: 公开了用于支持事务存储器系统中的并行嵌套事务的各种技术和方法。为单个父事务创建多个封闭嵌套事务,并且这些封闭嵌套事务作为并行嵌套事务来并发执行。使用各种技术来确保对父事务之外的其他事务隐藏并行嵌套事务的影响直到该父事务提交。例如,就并行嵌套事务使用版本化写锁。当事务存储器字从写锁变为版本化写锁时,在全局版本化写锁映射中形成一条目以存储指向该版本化写锁所替换的写日志条目的指针。当在事务处理期间遇到该版本化写锁时,咨询全局版本化写锁映射以便将该版本化写锁转换成指向写日志条目的指针。

    事务存储器中的并行嵌套事务

    公开(公告)号:CN101889266A

    公开(公告)日:2010-11-17

    申请号:CN200880107300.2

    申请日:2008-09-16

    Applicant: 微软公司

    CPC classification number: G06F9/467 G06F17/30356 G06F17/30359 G06F17/30362

    Abstract: 公开了用于支持事务存储器系统中的并行嵌套事务的各种技术和方法。为单个父事务创建多个封闭嵌套事务,并且这些封闭嵌套事务作为并行嵌套事务来并发执行。使用各种技术来确保对父事务之外的其他事务隐藏并行嵌套事务的影响直到该父事务提交。例如,就并行嵌套事务使用版本化写锁。当事务存储器字从写锁变为版本化写锁时,在全局版本化写锁映射中形成一条目以存储指向该版本化写锁所替换的写日志条目的指针。当在事务处理期间遇到该版本化写锁时,咨询全局版本化写锁映射以便将该版本化写锁转换成指向写日志条目的指针。

    使用缓存写和强制串行化次序的事务存储器

    公开(公告)号:CN101652761A

    公开(公告)日:2010-02-17

    申请号:CN200880011509.9

    申请日:2008-03-13

    Applicant: 微软公司

    CPC classification number: G06F9/528

    Abstract: 公开了在软件事务存储器系统中支持缓存写和强制串行化次序的各种技术和方法。提供了执行对于对象的阴影副本的写入并在提交期间确认了相应的事务之后将内容写回该对象的缓存写处理。在为特定事务第一次获得写锁时,制作特定对象的阴影副本。执行对该阴影副本的写入和读取。在提交期间确认了特定事务之后,将内容从阴影副本写入特定对象。提供确保提交事务的次序匹配该事务的抽象串行化次序的事务排序处理。事务在其票数匹配跟踪应该提交的下一事务的全局数量之前不被允许提交。

    事务存储器中的并行嵌套事务

    公开(公告)号:CN102929702A

    公开(公告)日:2013-02-13

    申请号:CN201210399252.7

    申请日:2008-09-16

    Applicant: 微软公司

    CPC classification number: G06F9/467 G06F17/30356 G06F17/30359 G06F17/30362

    Abstract: 本发明公开了用于支持事务存储器系统中的并行嵌套事务的各种技术和方法。为单个父事务创建多个封闭嵌套事务,并且这些封闭嵌套事务作为并行嵌套事务来并发执行。使用各种技术来确保对父事务之外的其他事务隐藏并行嵌套事务的影响直到该父事务提交。例如,就并行嵌套事务使用版本化写锁。当事务存储器字从写锁变为版本化写锁时,在全局版本化写锁映射中形成一条目以存储指向该版本化写锁所替换的写日志条目的指针。当在事务处理期间遇到该版本化写锁时,咨询全局版本化写锁映射以便将该版本化写锁转换成指向写日志条目的指针。

    使用类型稳定性来便于争用管理

    公开(公告)号:CN101689139A

    公开(公告)日:2010-03-31

    申请号:CN200880022472.X

    申请日:2008-06-18

    Applicant: 微软公司

    CPC classification number: G06F9/467

    Abstract: 公开了用于提供类型稳定性技术以增进争用管理的各种技术和方法。提供允许事务安全地检查其它事务的状态的引用计数机制。使用该引用计数机制来便于争用管理。当在两个事务之间检测到冲突时,获取拥有事务信息。拥有事务的引用计数被递增。系统确保正确事务被递增。如果拥有事务仍然是冲突事务,则作出确定正确解决方案的争用管理判定。在作出判定时,拥有事务上的引用计数被冲突事务递减。在每一事务完成时,其为其本身持有的引用计数被递减。不可解除分配数据结构直到其引用计数为零。可使用不稳定属性来减少专用类型稳定分配池。

    使用类型稳定性来便于争用管理

    公开(公告)号:CN101689139B

    公开(公告)日:2014-04-30

    申请号:CN200880022472.X

    申请日:2008-06-18

    Applicant: 微软公司

    CPC classification number: G06F9/467

    Abstract: 公开了用于提供类型稳定性技术以增进争用管理的各种技术和方法。提供允许事务安全地检查其它事务的状态的引用计数机制。使用该引用计数机制来便于争用管理。当在两个事务之间检测到冲突时,获取拥有事务信息。拥有事务的引用计数被递增。系统确保正确事务被递增。如果拥有事务仍然是冲突事务,则作出确定正确解决方案的争用管理判定。在作出判定时,拥有事务上的引用计数被冲突事务递减。在每一事务完成时,其为其本身持有的引用计数被递减。不可解除分配数据结构直到其引用计数为零。可使用不稳定属性来减少专用类型稳定分配池。

    使用缓存写和强制串行化次序的事务存储器

    公开(公告)号:CN101652761B

    公开(公告)日:2012-12-12

    申请号:CN200880011509.9

    申请日:2008-03-13

    Applicant: 微软公司

    CPC classification number: G06F9/528

    Abstract: 公开了在软件事务存储器系统中支持缓存写和强制串行化次序的各种技术和方法。提供了执行对于对象的阴影副本的写入并在提交期间确认了相应的事务之后将内容写回该对象的缓存写处理。在为特定事务第一次获得写锁时,制作特定对象的阴影副本。执行对该阴影副本的写入和读取。在提交期间确认了特定事务之后,将内容从阴影副本写入特定对象。提供确保提交事务的次序匹配该事务的抽象串行化次序的事务排序处理。事务在其票数匹配跟踪应该提交的下一事务的全局数量之前不被允许提交。

    处理嵌套事务的错误地破坏的父事务

    公开(公告)号:CN101689138B

    公开(公告)日:2012-07-18

    申请号:CN200880022416.6

    申请日:2008-06-16

    Applicant: 微软公司

    CPC classification number: G06F17/30356 G06F9/467 G06F17/30362

    Abstract: 公开了用于在事务存储器系统中检测嵌套子事务的错误地破坏的父事务的各种技术和方法。在回退嵌套事务时,在给定嵌套事务由于回退而每一次释放写锁定时跟踪释放计数。例如,可以使用写异常中止补偿映射来跟踪每一嵌套事务的释放计数。嵌套事务释放写锁定的次数被记录在它们相应的写异常中止补偿映射中。可以在父事务的确认期间使用释放计数来确定失败的乐观读取事实上是否有效。如果嵌套子事务的聚集的释放计数是造成版本号差的原因,则乐观读取是有效的。

Patent Agency Ranking