公开(公告)号：CN102289387B

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

申请号：CN201110178980.0

申请日：2011-06-20

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

Inventor： L·张 ,  Y·莱瓦诺尼 ,  D·L·德特勒夫斯 ,  S·S·索迪 ,  W·朱

IPC: G06F9/46

Abstract: 本发明涉及软件事务存储器中的动作框架。软件事务存储器系统实现轻量的基于键的动作框架。该框架包括由STM库展示的一组统一的应用编程接口(API)，该组统一的应用编程接口允许客户端实现可由STM代码中的事务或事务嵌套使用特定键来注册、查询和更新的动作。每个动作包括键、状态信息以及可被挂钩到事务执行的验证、提交、中止、和/或重新执行阶段的一组一个或多个回调。动作用定制的控制逻辑扩展STM系统的内建并发控制，支持事务嵌套语义，以及允许与垃圾收集系统的集成。

公开(公告)号：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系统与实现垃圾收集的系统集成。

公开(公告)号：CN102298535B

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

申请号：CN201110184637.7

申请日：2011-06-21

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

Inventor： W·朱 ,  L·张 ,  S·S·索迪 ,  Y·莱瓦诺尼

IPC: G06F9/45

CPC classification number: G06F8/423 ,  G06F8/314 ,  G06F8/433 ,  G06F8/44 ,  G06F8/443 ,  G06F8/54

Abstract: 本发明涉及绑定数据并行设备源代码。在计算机系统中提供一种编译环境，该编译环境允许编程人员使用具有数据并行(DP)扩展的高级通用编程语言来对CPU和数据并行设备(例如GPU)二者进行编程。一种编译过程使用DP设备源代码的一组绑定描述符将以该通用语言编写的模块化DP代码翻译成以高级DP设备编程语言的DP设备源代码。绑定器从该组绑定描述符中生成单个自包含的DP设备源代码单元。DP设备编译器从该DP设备源代码单元中生成供在一个或多个数据并行设备上执行的DP设备可执行代码。