公开(公告)号：CN102314370B

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

申请号：CN201110192613.6

申请日：2011-06-29

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

Inventor： P·F·林塞斯 ,  W·朱 ,  R·莫洛伊 ,  C·D·卡拉罕二世 ,  Y·莱瓦诺尼 ,  L·张

IPC: G06F9/45

CPC classification number: G06F8/453

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系统与实现垃圾收集的系统集成。