公开(公告)号：CN102637123A

公开(公告)日：2012-08-15

申请号：CN201110439844.2

申请日：2011-12-23

申请人： 微软公司

发明人： P·F·林塞斯 ,  Y·莱瓦诺尼 ,  张玲莉 ,  朱伟荣 ,  D·J·麦克拉迪

IPC分类号： G06F9/302

CPC分类号： G06F17/30 ,  G06F8/314 ,  G06F8/41 ,  G06F9/44 ,  G06F17/00

摘要： 本申请涉及共同映射通信算子。高级编程语言提供了根据函数将输入可索引类型映射到输出可索引类型的共同映射通信算子。该函数将对应于输出可索引类型的索引空间映射到对应于输入可索引类型的索引空间。通过这样做，共同映射的通信算子将索引空间上的函数提升到可索引类型上的函数以容许与其他通信算子的可组成性。

公开(公告)号：CN102637123B

公开(公告)日：2014-09-24

申请号：CN201110439844.2

申请日：2011-12-23

申请人： 微软公司

发明人： P·F·林塞斯 ,  Y·莱瓦诺尼 ,  张玲莉 ,  朱伟荣 ,  D·J·麦克拉迪

IPC分类号： G06F9/302

CPC分类号： G06F17/30 ,  G06F8/314 ,  G06F8/41 ,  G06F9/44 ,  G06F17/00

摘要： 本申请涉及共同映射通信算子。高级编程语言提供了根据函数将输入可索引类型映射到输出可索引类型的共同映射通信算子。该函数将对应于输出可索引类型的索引空间映射到对应于输入可索引类型的索引空间。通过这样做，共同映射的通信算子将索引空间上的函数提升到可索引类型上的函数以容许与其他通信算子的可组成性。

公开(公告)号：CN102027447B

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

申请号：CN200980118458.4

申请日：2009-03-27

申请人： 微软公司

发明人： P·F·林塞斯 ,  N·古斯塔夫松 ,  G·弗纳德斯

IPC分类号： G06F9/30 ,  G06F9/32 ,  G06F9/38

CPC分类号： G06F9/4881 ,  G06F9/5027 ,  G06F2209/483

摘要： 计算机系统的进程中的调度器包括对应于被分配到该调度器的每一处理资源的局部任务集合和至少一个一般任务集合。调度器将变为解锁的每一任务分配到与使得该任务变成解锁的处理资源对应的局部集合。当处理资源变为可用时，处理资源试图执行在对应的局部集合中最近最多添加的任务。如果在对应的局部集合中没有任务，则可用处理资源试图执行来自一般集合的任务。

公开(公告)号：CN1591335A

公开(公告)日：2005-03-09

申请号：CN200410068484.X

申请日：2004-07-23

申请人： 微软公司

发明人： D·J·麦克拉迪 ,  P·F·林塞斯 ,  B·米赫塔

IPC分类号： G06F9/45

CPC分类号： G06F8/433

摘要： 提供一种XLANG/s编译方法，它用一个程序信号流图的数据流分析来确定一个数据对象的使用周期。根据抽象计算机指令创建一个信号流图。对基本程序块指定一个深度优先次序并确定基本程序块两两之间的支配关系。确定信号流图内是否存在循环，如果存在循环，标识该循环。还确定关于数据对象的一个创建点，撤消点和锁定点。在计算机代码中插入指令以在创建点创建数据对象，在撤消点撤销数据对象和在锁定点锁定数据对象。

公开(公告)号：CN102541612B

公开(公告)日：2014-07-09

申请号：CN201110382436.8

申请日：2011-11-16

申请人： 微软公司

发明人： P·F·林塞斯 ,  Y·莱瓦诺尼 ,  朱伟荣

IPC分类号： G06F9/45

CPC分类号： G06F8/45

摘要： 本发明涉及数据平行代码中的映射变换。高层编程语言提供了映射变换(12)，该映射变换采用数据平行算法(14)并且将一组一个或多个输入可索引类型(32)作为参量(26)。映射变换将数据平行算法应用于该组输入可索引类型，以生成输出可索引类型，并且返回该输出可索引类型(34)。映射变换可用于将一个或多个数据平行算法(14)与另一数据平行算法(24)融合。

公开(公告)号：CN102027452B

公开(公告)日：2014-04-02

申请号：CN200980118323.8

申请日：2009-03-27

申请人： 微软公司

发明人： P·F·林塞斯 ,  G·弗纳德斯 ,  N·古斯塔夫松 ,  R·莫洛伊

IPC分类号： G06F9/46 ,  G06F9/06 ,  G06F13/00

CPC分类号： G06F9/4881 ,  G06F2209/483

摘要： 计算机系统的进程中的调度器包括对应于调度器中的每一个调度节点的相应调度集合。基于一个或多个执行度量，将调度集合映射到至少部分搜索顺序。当在调度节点中的处理资源变得可用时，在按由搜索顺序所指定的顺序搜索其他调度集合之前，该处理资源首先尝试在与调度节点相对应的调度集合中定位要执行的任务。

公开(公告)号：CN102609244A

公开(公告)日：2012-07-25

申请号：CN201110434003.2

申请日：2011-12-21

申请人： 微软公司

发明人： P·F·林塞斯

IPC分类号： G06F9/38

CPC分类号： G06F8/314 ,  G06F8/31 ,  G06F8/456 ,  G06F9/5066

摘要： 本发明涉及灵活通信算子。一种高级编程语言提供了灵活通信算子(12)，该灵活通信算子基于资源图(16)来生成分段的计算空间以跨各计算节点(121)分布该计算空间。该灵活通信算子将该计算空间分解为片段(20)，使这些片段被指派给各计算节点，并允许用户集中管理并自动化在各计算节点间的这些片段的移动。可以使用这些片段的完整全局视图标识或局部全局视图表示来管理片段移动。

公开(公告)号：CN102495723A

公开(公告)日：2012-06-13

申请号：CN201110320247.8

申请日：2011-10-11

申请人： 微软公司

发明人： P·F·林塞斯

IPC分类号： G06F9/38

CPC分类号： G06F8/453 ,  G06F8/314

摘要： 本发明公开了小块通信算子。高级编程语言提供了一种将计算空间分解成可被映射到数据并行计算节点的各执行结构(例如，线程组)的子空间(即，小块)的小块通信算子。具有秩和元素类型的可索引类型定义计算空间。对于输入可索引类型，小块通信算子产生具有与输入可索引类型相同的秩以及作为输入可索引类型的小块的元素类型的输出可索引类型。输出可索引类型提供了计算空间的局部视图结构，这使得能够在数据并行计算节点中接合全局存储器存取。

公开(公告)号：CN102314370A

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

申请号：CN201110192613.6

申请日：2011-06-29

申请人： 微软公司

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

IPC分类号： G06F9/45

CPC分类号： G06F8/453

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

公开(公告)号：CN102027447A

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

申请号：CN200980118458.4

申请日：2009-03-27

申请人： 微软公司

发明人： P·F·林塞斯 ,  N·古斯塔夫松 ,  G·弗纳德斯

IPC分类号： G06F9/30 ,  G06F9/32 ,  G06F9/38

CPC分类号： G06F9/4881 ,  G06F9/5027 ,  G06F2209/483

摘要： 计算机系统的进程中的调度器包括对应于被分配到该调度器的每一处理资源的局部任务集合和至少一个一般任务集合。调度器将变为解锁的每一任务分配到与使得该任务变成解锁的处理资源对应的局部集合。当处理资源变为可用时，处理资源试图执行在对应的局部集合中最近最后添加的任务。如果在对应的局部集合中没有任务，则可用处理资源试图执行来自一般集合的任务。