公开(公告)号：CN102047240A

公开(公告)日：2011-05-04

申请号：CN200980121239.1

申请日：2009-05-07

Applicant: 微软公司

Inventor： N·古斯塔夫松 ,  D·卡拉汉

IPC: G06F15/16 ,  G06F9/00 ,  G06F13/14

CPC classification number: G06F9/544

Abstract: 提供了用于按通用、灵活和可扩展的方式将进程连接到进程网络中的被称为源-目标模式的合成模型。该模型允许常见进程代数构造与数据流网络组合来形成进程网络。进程代数操作可用合成模型来表达以形成提供进程之间的完全互操作进程代数操作的数据流网络。

公开(公告)号：CN101689125B

公开(公告)日：2013-12-25

申请号：CN200880022282.8

申请日：2008-06-16

Applicant: 微软公司

Inventor： J·J·达菲 ,  D·卡拉汉 ,  E·G·埃塞

IPC: G06F9/46

CPC classification number: G06F8/456

Abstract: 公开了用于在数据并行操作中保留输入元素定序的各种技术和方法。此定序可以基于输入中的元素序数位置或程序员指定的为每一输入元素生成可排序键的键选择例程。重写复杂数据并行操作以包含引入分区和合并的各个数据并行操作。随后并行地独立处理每一分区。系统使用取决于消费者操作处于哪个类别中而变化的技术来确保下游操作记住由特定其它操作所建立的定序信息。使用了解数据元素之间建立的定序的最终合并过程将数据合并回一个输出流。

公开(公告)号：CN102047240B

公开(公告)日：2014-01-29

申请号：CN200980121239.1

申请日：2009-05-07

Applicant: 微软公司

Inventor： N·古斯塔夫松 ,  D·卡拉汉

IPC: G06F15/16 ,  G06F9/00 ,  G06F13/14

CPC classification number: G06F9/544

Abstract: 提供了用于按通用、灵活和可扩展的方式将进程连接到进程网络中的被称为源-目标模式的合成模型。该模型允许常见进程代数构造与数据流网络组合来形成进程网络。进程代数操作可用合成模型来表达以形成提供进程之间的完全互操作进程代数操作的数据流网络。

公开(公告)号：CN101689125A

公开(公告)日：2010-03-31

申请号：CN200880022282.8

申请日：2008-06-16

Applicant: 微软公司

Inventor： J·J·达菲 ,  D·卡拉汉 ,  E·G·埃塞

IPC: G06F9/46

CPC classification number: G06F8/456

Abstract: 公开了用于在数据并行操作中保留输入元素定序的各种技术和方法。此定序可以基于输入中的元素序数位置或程序员指定的为每一输入元素生成可排序键的键选择例程。重写复杂数据并行操作以包含引入分区和合并的各个数据并行操作。随后并行地独立处理每一分区。系统使用取决于消费者操作处于哪个类别中而变化的技术来确保下游操作记住由特定其它操作所建立的定序信息。使用了解数据元素之间建立的定序的最终合并过程将数据合并回一个输出流。

公开(公告)号：CN101681293A

公开(公告)日：2010-03-24

申请号：CN200880018481.1

申请日：2008-05-30

Applicant: 微软公司

Inventor： D·卡拉汉 ,  V·K·格罗弗

IPC: G06F12/00

CPC classification number: G06F9/467 ,  G06F8/314

Abstract: 公开了用于在事务存储器系统中创建和/或定位事务代码块的各种技术和方法。诸如软件开发者等用户可以用标识符来装饰特定函数以便指示该特定函数是事务安全的。接着创建软件应用程序中的被标记为事务安全的每一个函数的普通版本和事务版本。创建未被标记为事务安全的每一个函数的普通版本。对于被标记为事务安全的每一个函数的普通版本，该普通版本中的存根指针指向事务版本。然后取决于执行上下文来调用该函数的适当的版本。

公开(公告)号：CN101681293B

公开(公告)日：2013-08-07

申请号：CN200880018481.1

申请日：2008-05-30

Applicant: 微软公司

Inventor： D·卡拉汉 ,  V·K·格罗弗

IPC: G06F12/00

CPC classification number: G06F9/467 ,  G06F8/314

Abstract: 公开了用于在事务存储器系统中创建和/或定位事务代码块的各种技术和方法。诸如软件开发者等用户可以用标识符来装饰特定函数以便指示该特定函数是事务安全的。接着创建软件应用程序中的被标记为事务安全的每一个函数的普通版本和事务版本。创建未被标记为事务安全的每一个函数的普通版本。对于被标记为事务安全的每一个函数的普通版本，该普通版本中的存根指针指向事务版本。然后取决于执行上下文来调用该函数的适当的版本。