公开(公告)号：CN102929702B

公开(公告)日：2016-04-27

申请号：CN201210399252.7

申请日：2008-09-16

Applicant: 微软技术许可有限责任公司

Inventor： M·M·马格鲁德 ,  D·德特勒夫 ,  J·J·达菲 ,  G·格雷费 ,  V·K·格罗弗

IPC: G06F9/46 ,  G06F17/30

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

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

公开(公告)号：CN102193777B

公开(公告)日：2016-01-20

申请号：CN201110065876.0

申请日：2011-03-09

Applicant: 微软技术许可有限责任公司

Inventor： S·莫热 ,  M·M·马格鲁德 ,  F·V·佩斯彻-盖里

IPC: G06F9/32

CPC classification number: G06F9/32 ,  G06F8/452 ,  G06F9/325 ,  G06F9/3851 ,  G06F9/44

Abstract: 描述了循环控制流转移。循环控制流转移支持线程同步、无用信息收集以及其他涉及长时间运行循环的挂起的情形。可转移循环具有循环主体、循环顶部、包括循环顶部地址的间接单元、以及引用间接单元的循环跳转指令序列。在普通执行中，控制通过间接单元流到循环顶部。然而，在间接单元被更改后，执行流被转移到远离循环顶部的点。诸如无用信息收集等操作被执行而循环(以及由此使用该循环的(诸)线程)被因此转移。内核或另一线程接着将循环顶部地址还原到间接单元内，并且执行流通过被还原的间接单元再一次继续到循环顶部。

公开(公告)号：CN102289393B

公开(公告)日：2019-03-29

申请号：CN201110179013.6

申请日：2011-06-20

Applicant: 微软技术许可有限责任公司

Inventor： S·S·索迪 ,  Y·莱瓦诺尼 ,  D·L·德特勒夫斯 ,  L·张 ,  W·朱 ,  D·格罗夫 ,  M·M·马格鲁德 ,  C·D·卡拉罕二世

IPC: G06F9/52

Abstract: 本发明涉及软件事务存储器中的锁的组成。软件事务存储器(STM)系统允许基于与STM代码中的事务的同步来组成传统锁。在事务内第一次遇到相应的传统锁获取时，STM系统获得每个传统锁，并推迟所有传统锁释放，直到事务嵌套中的顶层事务提交或中止。STM系统维护与事务中的传统锁操作相关联的状态信息，并使用该状态信息来消除冗余的被推迟的传统锁操作。STM系统与实现垃圾收集的系统集成。