-
公开(公告)号：CN102314370B
公开(公告)日：2016-08-17
申请号：CN201110192613.6
申请日：2011-06-29
Applicant: 微软技术许可有限责任公司
IPC: G06F9/45
CPC classification number: G06F8/453
Abstract: 一高级编程语言提供了用于数据并行处理环境中的可索引类型上的可扩展变换集。用于该语言的编译器将每个变换实现为来自可索引类型的映射，以允许每个变换可被应用到其他变换。在编译时间，编译器标识数据并行源代码中的每个可索引类型上的变换的序列，并生成数据并行执行代码以将序列实现为运行时使用变换映射的组合操作。编译器也包含优化处理，该优化处理基于至数据并行执行代码的变换序列。
-
公开(公告)号：CN102289387B
公开(公告)日：2019-09-03
申请号：CN201110178980.0
申请日：2011-06-20
Applicant: 微软技术许可有限责任公司
IPC: G06F9/46
Abstract: 本发明涉及软件事务存储器中的动作框架。软件事务存储器系统实现轻量的基于键的动作框架。该框架包括由STM库展示的一组统一的应用编程接口(API)，该组统一的应用编程接口允许客户端实现可由STM代码中的事务或事务嵌套使用特定键来注册、查询和更新的动作。每个动作包括键、状态信息以及可被挂钩到事务执行的验证、提交、中止、和/或重新执行阶段的一组一个或多个回调。动作用定制的控制逻辑扩展STM系统的内建并发控制，支持事务嵌套语义，以及允许与垃圾收集系统的集成。
-
Patent Agency Ranking
公开(公告)号：CN102289393B
公开(公告)日：2019-03-29
申请号：CN201110179013.6
申请日：2011-06-20
Applicant: 微软技术许可有限责任公司
IPC: G06F9/52
Abstract: 本发明涉及软件事务存储器中的锁的组成。软件事务存储器(STM)系统允许基于与STM代码中的事务的同步来组成传统锁。在事务内第一次遇到相应的传统锁获取时，STM系统获得每个传统锁，并推迟所有传统锁释放，直到事务嵌套中的顶层事务提交或中止。STM系统维护与事务中的传统锁操作相关联的状态信息，并使用该状态信息来消除冗余的被推迟的传统锁操作。STM系统与实现垃圾收集的系统集成。
-
公开(公告)号：CN103620553B
公开(公告)日：2016-10-12
申请号：CN201280028424.8
申请日：2012-05-29
Applicant: 微软技术许可有限责任公司
CPC classification number: G06F9/44521 , G06F8/443 , G06F9/44542 , G06F9/4552
Abstract: 本发明涉及用于在运行时处绑定可执行代码的方法、系统和计算机程序产品。本发明的实施例包括对代码指定方面的后绑定以改善执行性能。运行时基于运行时信息动态地绑定较低级代码以优化较高级算法的执行。对执行性能有必要（例如，较高）影响的较高级算法的方面可以是后绑定的目标。通过使用对具有必要执行性能影响的方面的后绑定可以用最小的运行时间成本实现改善的性能。
-
公开(公告)号：CN102298535B
公开(公告)日：2016-04-20
申请号：CN201110184637.7
申请日：2011-06-21
Applicant: 微软技术许可有限责任公司
IPC: G06F9/45
Abstract: 本发明涉及绑定数据并行设备源代码。在计算机系统中提供一种编译环境，该编译环境允许编程人员使用具有数据并行(DP)扩展的高级通用编程语言来对CPU和数据并行设备(例如GPU)二者进行编程。一种编译过程使用DP设备源代码的一组绑定描述符将以该通用语言编写的模块化DP代码翻译成以高级DP设备编程语言的DP设备源代码。绑定器从该组绑定描述符中生成单个自包含的DP设备源代码单元。DP设备编译器从该DP设备源代码单元中生成供在一个或多个数据并行设备上执行的DP设备可执行代码。
-
公开(公告)号：CN103620554B
公开(公告)日：2016-09-28
申请号：CN201280029279.5
申请日：2012-06-05
Applicant: 微软技术许可有限责任公司
CPC classification number: G06F8/51 , G06F9/44536
Abstract: 本发明涉及用于将缓冲区别名化的方法、系统和计算机程序产品。本发明的实施例通过如下方式来支持缓冲区别名化：引入源程序的缓冲区访问与目标可执行物理缓冲区之间的间接等级；以及在运行时将逻辑缓冲区访问绑定到实际物理缓冲区访问。可以将多种支持缓冲区的运行时别名化的技术用在原本不允许目标可执行代码的单独定义的缓冲区之间的这样的运行时别名化的系统中。源程序中的逻辑缓冲区访问到目标可执行代码中定义的实际物理缓冲区之间的绑定被延迟直到运行时。
-
公开(公告)号：CN102314342B
公开(公告)日：2016-08-17
申请号：CN201110177689.1
申请日：2011-06-17
Applicant: 微软技术许可有限责任公司
IPC: G06F9/44
CPC classification number: G06F8/45
Abstract: 在此描述的是用于生成用于数据并行编程模型的调用存根以使得用静态编译的高级编程语言编写的数据并行程序可以比传统方法更加声明性、可重用和可移植的技术。借助于所描述的技术中的某一些，由编译器(116)生成调用存根(118)，且那些存根将数据并行计算的逻辑排列桥接到用于数据并行计算的目标数据并行硬件的实际物理排列。
-
-
-
-
-
-
Search Results
7
records
(took 0.023 seconds)
