软件事务存储器中的动作框架

    公开(公告)号:CN102289387A

    公开(公告)日:2011-12-21

    申请号:CN201110178980.0

    申请日:2011-06-20

    Applicant: 微软公司

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

    可索引类型变换
    4.
    发明公开

    公开(公告)号:CN102314370A

    公开(公告)日:2012-01-11

    申请号:CN201110192613.6

    申请日:2011-06-29

    Applicant: 微软公司

    CPC classification number: G06F8/453

    Abstract: 一高级编程语言提供了用于数据并行处理环境中的可索引类型上的可扩展变换集。用于该语言的编译器将每个变换实现为来自可索引类型的映射,以允许每个变换可被应用到其他变换。在编译时间,编译器标识数据并行源代码中的每个可索引类型上的变换的序列,并生成数据并行执行代码以将序列实现为运行时使用变换映射的组合操作。编译器也包含优化处理,该优化处理基于至数据并行执行代码的变换序列。

    别名化缓冲区
    9.
    发明公开

    公开(公告)号:CN103620554A

    公开(公告)日:2014-03-05

    申请号:CN201280029279.5

    申请日:2012-06-05

    Applicant: 微软公司

    CPC classification number: G06F8/51 G06F9/44536

    Abstract: 本发明涉及用于将缓冲区别名化的方法、系统和计算机程序产品。本发明的实施例通过如下方式来支持缓冲区别名化:引入源程序的缓冲区访问与目标可执行物理缓冲区之间的间接等级;以及在运行时将逻辑缓冲区访问绑定到实际物理缓冲区访问。可以将多种支持缓冲区的运行时别名化的技术用在原本不允许目标可执行代码的单独定义的缓冲区之间的这样的运行时别名化的系统中。源程序中的逻辑缓冲区访问到目标可执行代码中定义的实际物理缓冲区之间的绑定被延迟直到运行时。

Patent Agency Ranking