-
公开(公告)号：US08713039B2
公开(公告)日：2014-04-29
申请号：US12977406
申请日：2010-12-23
摘要： A high level programming language provides a co-map communication operator that maps an input indexable type to an output indexable type according to a function. The function maps an index space corresponding to the output indexable type to an index space corresponding to the input indexable type. By doing so, the co-map communication operator lifts a function on an index space to a function on an indexable type to allow composability with other communication operators.
摘要翻译： 高级编程语言提供了协同地图通信运算符，其根据功能将输入可索引类型映射到输出可索引类型。 该函数将与输出可索引类型相对应的索引空间映射到与输入可索引类型对应的索引空间。 通过这样做，共同地图通信操作员将索引空间上的功能提升为可索引类型的功能，以允许与其他通信运营商的组合。
-
公开(公告)号：US20120166444A1
公开(公告)日：2012-06-28
申请号：US12977406
申请日：2010-12-23
IPC分类号： G06F17/30
摘要： A high level programming language provides a co-map communication operator that maps an input indexable type to an output indexable type according to a function. The function maps an index space corresponding to the output indexable type to an index space corresponding to the input indexable type. By doing so, the co-map communication operator lifts a function on an index space to a function on an indexable type to allow composability with other communication operators.
摘要翻译： 高级编程语言提供了协同地图通信运算符，其根据功能将输入可索引类型映射到输出可索引类型。 该函数将与输出可索引类型相对应的索引空间映射到与输入可索引类型对应的索引空间。 通过这样做，共同地图通信操作员将索引空间上的功能提升为可索引类型的功能，以允许与其他通信运营商的组合。
-
3.发明授权公开(公告)号：US08589867B2
公开(公告)日：2013-11-19
申请号：US12819108
申请日：2010-06-18
IPC分类号： G06F9/44
CPC分类号： G06F8/45
摘要： Described herein are techniques for generating invocation stubs for a data parallel programming model so that a data parallel program written in a statically-compiled high-level programming language may be more declarative, reusable, and portable than traditional approaches. With some of the described techniques, invocation stubs are generated by a compiler and those stubs bridge a logical arrangement of data parallel computations to the actual physical arrangement of a target data parallel hardware for that data parallel computation.
摘要翻译： 这里描述的是用于生成用于数据并行编程模型的调用存根的技术，使得以静态编译的高级编程语言编写的数据并行程序可以比传统方法更具声明性，可重复使用和便携式。 利用一些所描述的技术，调用存根由编译器生成，并且这些存根将数据并行计算的逻辑排列与用于该数据并行计算的目标数据并行硬件的实际物理排列相结合。
-
公开(公告)号：US20120131552A1
公开(公告)日：2012-05-24
申请号：US12949908
申请日：2010-11-19
申请人： Yosseff Levanoni , Paul F. Ringseth , Weirong Zhu , Lingli Zhang
发明人： Yosseff Levanoni , Paul F. Ringseth , Weirong Zhu , Lingli Zhang
摘要： A high level programming language provides a read-only communication operator that prevents a computational space from being written. An indexable type with a rank and element type defines the computational space. For an input indexable type, the read-only communication operator produces an output indexable type with the same rank and element type as the input indexable type but ensures that the output indexable type may not be written. The read-only communication operator ensures that any attempt to write to the output indexable type will be detected as an error at compile time.
摘要翻译： 高级编程语言提供了一种只读通信操作符，防止写入计算空间。 具有等级和元素类型的可索引类型定义了计算空间。 对于输入可索引类型，只读通信运算符产生具有与输入可索引类型相同的排名和元素类型的输出可索引类型，但确保可能不写入输出可索引类型。 只读通信运算符确保在编译时检测到对输出可索引类型的任何尝试都将作为错误检测。
-
公开(公告)号：US09430204B2
公开(公告)日：2016-08-30
申请号：US12949908
申请日：2010-11-19
申请人： Yosseff Levanoni , Paul F. Ringseth , Weirong Zhu , Lingli Zhang
发明人： Yosseff Levanoni , Paul F. Ringseth , Weirong Zhu , Lingli Zhang
摘要： A high level programming language provides a read-only communication operator that prevents a computational space from being written. An indexable type with a rank and element type defines the computational space. For an input indexable type, the read-only communication operator produces an output indexable type with the same rank and element type as the input indexable type but ensures that the output indexable type may not be written. The read-only communication operator ensures that any attempt to write to the output indexable type will be detected as an error at compile time.
摘要翻译： 高级编程语言提供了一种只读通信操作符，防止写入计算空间。 具有等级和元素类型的可索引类型定义了计算空间。 对于输入可索引类型，只读通信运算符产生具有与输入可索引类型相同的排名和元素类型的输出可索引类型，但确保可能不写入输出可索引类型。 只读通信运算符确保在编译时检测到对输出可索引类型的任何尝试都将作为错误检测。
-
公开(公告)号：US08839214B2
公开(公告)日：2014-09-16
申请号：US12827217
申请日：2010-06-30
申请人： Paul F. Ringseth , Weirong Zhu , Rick Molloy , Charles D. Callahan, II , Yosseff Levanoni , Lingli Zhang
发明人： Paul F. Ringseth , Weirong Zhu , Rick Molloy , Charles D. Callahan, II , Yosseff Levanoni , Lingli Zhang
IPC分类号： G06F9/45
CPC分类号： G06F8/453
摘要： A high level programming language provides an extensible set of transformations for use on indexable types in a data parallel processing environment. A compiler for the language implements each transformation as a map from indexable types to allow each transformation to be applied to other transformations. At compile time, the compiler identifies sequences of the transformations on each indexable type in data parallel source code and generates data parallel executable code to implement the sequences as a combined operation at runtime using the transformation maps. The compiler also incorporates optimizations that are based on the sequences of transformations into the data parallel executable code.
摘要翻译： 高级编程语言为数据并行处理环境中的可索引类型提供了一组可扩展的转换。 该语言的编译器将实现每个变换作为可索引类型的映射，以允许将每个转换应用于其他转换。 在编译时，编译器在数据并行源代码中识别每个可索引类型的转换序列，并生成数据并行可执行代码，以便在运行时使用变换映射来实现序列作为组合操作。 编译器还集成了基于转换为数据并行可执行代码的序列的优化。
-
公开(公告)号：US20120005662A1
公开(公告)日：2012-01-05
申请号：US12827217
申请日：2010-06-30
申请人： Paul F. Ringseth , Weirong Zhu , Rick Molloy , Charles D. Callahan, II , Yosseff Levanoni , Lingli Zhang
发明人： Paul F. Ringseth , Weirong Zhu , Rick Molloy , Charles D. Callahan, II , Yosseff Levanoni , Lingli Zhang
IPC分类号： G06F9/45
CPC分类号： G06F8/453
摘要： A high level programming language provides an extensible set of transformations for use on indexable types in a data parallel processing environment. A compiler for the language implements each transformation as a map from indexable types to allow each transformation to be applied to other transformations. At compile time, the compiler identifies sequences of the transformations on each indexable type in data parallel source code and generates data parallel executable code to implement the sequences as a combined operation at runtime using the transformation maps. The compiler also incorporates optimizations that are based on the sequences of transformations into the data parallel executable code.
摘要翻译： 高级编程语言为数据并行处理环境中的可索引类型提供了一组可扩展的转换。 该语言的编译器将实现每个变换作为可索引类型的映射，以允许将每个转换应用于其他转换。 在编译时，编译器在数据并行源代码中识别每个可索引类型的转换序列，并生成数据并行可执行代码，以便在运行时使用变换映射来实现序列作为组合操作。 编译器还集成了基于转换为数据并行可执行代码的序列的优化。
-
8.发明申请公开(公告)号：US20110314444A1
公开(公告)日：2011-12-22
申请号：US12819108
申请日：2010-06-18
IPC分类号： G06F9/44
CPC分类号： G06F8/45
摘要： Described herein are techniques for generating invocation stubs for a data parallel programming model so that a data parallel program written in a statically-compiled high-level programming language may be more declarative, reusable, and portable than traditional approaches. With some of the described techniques, invocation stubs are generated by a compiler and those stubs bridge a logical arrangement of data parallel computations to the actual physical arrangement of a target data parallel hardware for that data parallel computation.
摘要翻译： 这里描述的是用于生成用于数据并行编程模型的调用存根的技术，使得以静态编译的高级编程语言编写的数据并行程序可以比传统方法更具声明性，可重复使用和便携式。 利用一些所描述的技术，调用存根由编译器生成，并且这些存根将数据并行计算的逻辑排列与用于该数据并行计算的目标数据并行硬件的实际物理排列相结合。
-
公开(公告)号：US20110314256A1
公开(公告)日：2011-12-22
申请号：US12819097
申请日：2010-06-18
CPC分类号： G06F8/45
摘要： Described herein are techniques for enabling a programmer to express a call for a data parallel call-site function in a way that is accessible and usable to the typical programmer. With some of the described techniques, an executable program is generated based upon expressions of those data parallel tasks. During execution of the executable program, data is exchanged between non-data parallel (non-DP) capable hardware and DP capable hardware for the invocation of data parallel functions.
摘要翻译： 这里描述的是使得程序员能够以对于典型编程器可访问和可使用的方式来表达对数据并行调用位置功能的调用的技术。 利用所描述的一些技术，基于这些数据并行任务的表达来生成可执行程序。 在执行可执行程序期间，数据在非数据并行（非DP）功能硬件和DP功能硬件之间交换，用于调用数据并行功能。
-
公开(公告)号：US20120124564A1
公开(公告)日：2012-05-17
申请号：US12947989
申请日：2010-11-17
申请人： Paul F. Ringseth , Yosseff Levanoni , Weirong Zhu
发明人： Paul F. Ringseth , Yosseff Levanoni , Weirong Zhu
CPC分类号： G06F8/45
摘要： A high level programming language provides a map transformation that takes a data parallel algorithm and a set of one or more input indexable types as arguments. The map transformation applies the data parallel algorithm to the set of input indexable types to generate an output indexable type, and returns the output indexable type. The map transformation may be used to fuse one or more data parallel algorithms with another data parallel algorithm.
摘要翻译： 高级编程语言提供了将数据并行算法和一组一个或多个输入可索引类型作为参数的映射变换。 映射变换将数据并行算法应用于输入可索引类型的集合，以生成输出可索引类型，并返回输出可索引类型。 地图变换可以用于将一个或多个数据并行算法与另一数据并行算法融合。
-
-
-
-
-
-
-
-
-
搜索结果
38 条记录 (耗时 0.03 秒)
