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

公开(公告)号：CN102279765B

公开(公告)日：2016-08-03

申请号：CN201110170869.7

申请日：2011-06-13

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

Inventor： S·比斯沃斯 ,  D·L·德特勒夫斯 ,  B·T·福斯托尔 ,  R·克里希纳斯瓦米 ,  K·B·弗雷

IPC: G06F9/45

CPC classification number: G06F9/45516

Abstract: 在此描述托存预编译系统，该托存预编译系统提供了允许提前编译在主机中运行的托管代码的方式。在可获得任何配置设置之后，主机在应用程序运行时触发提前编译。主机可以选择要编译哪些模块、何时编译它们、以及在什么地方持久存储所生成的映像。在检测到模块加载时，主机能够触发预编译，为加载器提供模块现有的预编译映像，或者不做任何事情。运行时环境/平台确认任何主机供应的预编译映像的完整性，并提供应用程序编程接口(API)以便告知主机映像何时变得无效和加载失败。该平台也提供API以便使主机在与主机相关的任何时刻触发对二进制代码的编译，并同步地或在后台进程中生成映像。

公开(公告)号：CN102446100B

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

申请号：CN201110436673.8

申请日：2011-12-13

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

Inventor： C·T·艾特 ,  D·L·德特勒夫斯

IPC: G06F9/44

CPC classification number: G06F8/20 ,  G06F9/45516

Abstract: 提供了用于数据类型的类型和长度抽象。各实施例针对在软件代码中实现类属SIMD数据类型。在一实施例中，计算机系统访问软件代码的一部分，该部分包括具有类属SIMD数据类型的算法，所述类属SIMD数据类型包括可变数量的元素。具有该类属SIMD数据类型的该算法要由包括各种专用硬件特征的专用处理器处理。计算机系统在运行时基于该类属SIMD数据类型来确定要供指定的处理器使用的定制的处理器专用代码的一部分，其中运行时确定解析出要供该指定的处理器使用的元素的数量。计算机系统还使用确定的、定制的处理器专用代码来处理包括具有该类属SIMD数据类型的该算法的该软件代码。