专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明授权

US08959496B2 Automatic parallelization in a tracing just-in-time compiler system 有权
标题翻译：跟踪即时编译系统中的自动并行化
公开(公告)号：US08959496B2
公开(公告)日：2015-02-17
申请号：US12764103
申请日：2010-04-21
申请人： Wolfram Schulte , Nikolai Tillmann , Michal J. Moskal , Manuel A. Fahndrich , Daniel J P Leijen , Barend H. Venter
发明人： Wolfram Schulte , Nikolai Tillmann , Michal J. Moskal , Manuel A. Fahndrich , Daniel J P Leijen , Barend H. Venter
IPC分类号： G06F9/44 , G06F9/45 , G06F9/455 , G06F9/445
CPC分类号： G06F9/45516 , G06F8/456 , G06F9/445 , G06F9/449
摘要： A tracing just-in-time (TJIT) compiler system is described for performing parallelization of code in a runtime phase in the execution of code. Upon detecting a hot loop during the execution of the code, the compiler system extracts trace information from sequentially recorded traces. In a first phase, the compiler system uses the trace information to identify at least one group of operation components that can be operated on in a parallel manner. In a second phase, the compiler system provides instructions which allocate the group of operation components to plural processing resources. A native code generator module carries out those instructions by recompiling native code that directs the operation of a native system to perform parallel processing. The compiler system terminates a group if it encounters program data in a loop iteration that is not consistent with previously encountered predicated information (upon which it records a new trace in a sequential manner).
摘要翻译：描述了即时（TJIT）跟踪编译器系统，用于在执行代码的运行时阶段执行代码并行化。在执行代码期间检测到热循环时，编译器系统从顺序记录的轨迹提取跟踪信息。在第一阶段，编译器系统使用跟踪信息来识别可以以并行方式操作的至少一组操作组件。在第二阶段，编译器系统提供将操作组分组分配给多个处理资源的指令。本地代码生成器模块通过重新编译引导本地系统的操作来执行并行处理的本机代码来执行这些指令。如果编译器系统遇到与以前遇到的预定信息不一致的循环迭代中遇到程序数据（在其中以顺序方式记录新的跟踪），则终止组。

2. 发明申请

US20110265067A1 Automatic Parallelization in a Tracing Just-in-Time Compiler System 有权
标题翻译：跟踪即时编译器系统中的自动并行化
公开(公告)号：US20110265067A1
公开(公告)日：2011-10-27
申请号：US12764103
申请日：2010-04-21
申请人： Wolfram Schulte , Nikolai Tillmann , Michal J. Moskal , Manuel A. Fahndrich , Daniel JP Leijen , Barend H. Venter
发明人： Wolfram Schulte , Nikolai Tillmann , Michal J. Moskal , Manuel A. Fahndrich , Daniel JP Leijen , Barend H. Venter
IPC分类号： G06F9/45
CPC分类号： G06F9/45516 , G06F8/456 , G06F9/445 , G06F9/449
摘要： A tracing just-in-time (TJIT) compiler system is described for performing parallelization of code in a runtime phase in the execution of code. Upon detecting a hot loop during the execution of the code, the compiler system extracts trace information from sequentially recorded traces. In a first phase, the compiler system uses the trace information to identify at least one group of operation components that can be operated on in a parallel manner. In a second phase, the compiler system provides instructions which allocate the group of operation components to plural processing resources. A native code generator module carries out those instructions by recompiling native code that directs the operation of a native system to perform parallel processing. The compiler system terminates a group if it encounters program data in a loop iteration that is not consistent with previously encountered predicated information (upon which it records a new trace in a sequential manner).
摘要翻译：描述了即时（TJIT）跟踪编译器系统，用于在执行代码的运行时阶段执行代码并行化。在执行代码期间检测到热循环时，编译器系统从顺序记录的轨迹提取跟踪信息。在第一阶段，编译器系统使用跟踪信息来识别可以以并行方式操作的至少一组操作组件。在第二阶段，编译器系统提供将操作组分组分配给多个处理资源的指令。本地代码生成器模块通过重新编译引导本地系统的操作来执行并行处理的本机代码来执行这些指令。如果编译器系统遇到与以前遇到的预定信息不一致的循环迭代中遇到程序数据（在其中以顺序方式记录新的跟踪），则终止组。

3. 发明授权

US09239708B2 Contextually intelligent code editing 有权
标题翻译：上下文智能代码编辑
公开(公告)号：US09239708B2
公开(公告)日：2016-01-19
申请号：US12979839
申请日：2010-12-28
申请人： Nikolai Tillmann , Jonathan P. de Halleux , Barend H. Venter
发明人： Nikolai Tillmann , Jonathan P. de Halleux , Barend H. Venter
IPC分类号： G06F9/44
CPC分类号： G06F8/33
摘要： This document describes techniques for contextually intelligent code editing. In at least some embodiments, the techniques are network-based and can use client-server interactions to develop programming code. For example, input to a local programming environment of a client can be transmitted to a server. A functionality at the server can inspect the input and determine programming options (e.g., programming terms and/or phrases) that are contextually valid in the local programming environment. A list of the programming options can then be transmitted to the client and presented via a user interface. In some embodiments, a selection of one of the programming options can cause the programming option to be populated to the local programming environment, e.g., as part of a user interface associated with the local programming environment. In at least some embodiments, the list of programming options can be cached locally on the client for quick retrieval.
摘要翻译：本文档描述了上下文智能代码编辑的技术。在至少一些实施例中，这些技术是基于网络的，并且可以使用客户端 - 服务器交互来开发编程代码。例如，可将客户端的本地编程环境的输入发送到服务器。服务器上的功能可以检查输入并确定在本地编程环境中上下文有效的编程选项（例如，编程术语和/或短语）。然后可以将编程选项的列表传送到客户端并通过用户界面呈现。在一些实施例中，编程选项之一的选择可以使编程选项被填充到本地编程环境，例如作为与本地编程环境相关联的用户界面的一部分。在至少一些实施例中，编程选项列表可以在本地缓存在客户机上用于快速检索。

4. 发明申请

US20120167042A1 CONTEXTUALLY INTELLIGENT CODE EDITING 有权
标题翻译：内部智能代码编辑
公开(公告)号：US20120167042A1
公开(公告)日：2012-06-28
申请号：US12979839
申请日：2010-12-28
申请人： Nikolai Tillmann , Jonathan P. de Halleux , Barend H. Venter
发明人： Nikolai Tillmann , Jonathan P. de Halleux , Barend H. Venter
IPC分类号： G06F9/44
CPC分类号： G06F8/33
摘要： This document describes techniques for contextually intelligent code editing. In at least some embodiments, the techniques are network-based and can use client-server interactions to develop programming code. For example, input to a local programming environment of a client can be transmitted to a server. A functionality at the server can inspect the input and determine programming options (e.g., programming terms and/or phrases) that are contextually valid in the local programming environment. A list of the programming options can then be transmitted to the client and presented via a user interface. In some embodiments, a selection of one of the programming options can cause the programming option to be populated to the local programming environment, e.g., as part of a user interface associated with the local programming environment. In at least some embodiments, the list of programming options can be cached locally on the client for quick retrieval.
摘要翻译：本文档描述了上下文智能代码编辑的技术。在至少一些实施例中，这些技术是基于网络的，并且可以使用客户端 - 服务器交互来开发编程代码。例如，可将客户端的本地编程环境的输入发送到服务器。服务器上的功能可以检查输入并确定在本地编程环境中上下文有效的编程选项（例如，编程术语和/或短语）。然后可以将编程选项的列表传送到客户端并通过用户界面呈现。在一些实施例中，编程选项之一的选择可以使编程选项被填充到本地编程环境，例如作为与本地编程环境相关联的用户界面的一部分。在至少一些实施例中，编程选项列表可以在本地缓存在客户机上用于快速检索。

5. 发明申请

US20080313609A1 CORE OBJECT-ORIENTED TYPE SYSTEM FOR SEMI-STRUCTURED DATA 有权
标题翻译：用于半结构数据的面向对象的面向对象的系统
公开(公告)号：US20080313609A1
公开(公告)日：2008-12-18
申请号：US12139712
申请日：2008-06-16
申请人： Erik Meijer , Wolfram Schulte , Barend H. Venter , Chia-Hsun Chen , Christopher J. Lovett , Matthew J. Wararen
发明人： Erik Meijer , Wolfram Schulte , Barend H. Venter , Chia-Hsun Chen , Christopher J. Lovett , Matthew J. Wararen
IPC分类号： G06F9/44
CPC分类号： G06F8/437
摘要： A type system employing structural subtyping is disclosed herein. A core type system supports several structural types, such as stream, choice, intersection and sequence. Also part of the core type system is a new invariant type, which denotes values whose dynamic type is the same as its static type, and type restrictions for limiting a range of a base type. Furthermore, a streamlined structural version of delegates, called structural delegates and a validation method thereof are introduce into the type system. To further facilitate type safety, strict statically checked interface casts are introduced.
摘要翻译：本文公开了采用结构子类型的类型系统。核心类型系统支持多种结构类型，如流，选择，交集和序列。核心类型系统的一部分是新的不变类型，它表示动态类型与其静态类型相同的值，以及限制基本类型范围的类型限制。此外，向类型系统介绍了一种简化的代表结构版本，称为结构代理及其验证方法。为了进一步促进类型安全，引入了严格的静态检查界面。

6. 发明授权

US08112740B2 Core object-oriented type system for semi-structured data 有权
标题翻译：用于半结构化数据的核心面向对象类型系统
公开(公告)号：US08112740B2
公开(公告)日：2012-02-07
申请号：US12139693
申请日：2008-06-16
申请人： Erik Meijer , Wolfram Schulte , Barend H. Venter , Chia-Hsun Chen , Christopher J. Lovett , Matthew J. Warren
发明人： Erik Meijer , Wolfram Schulte , Barend H. Venter , Chia-Hsun Chen , Christopher J. Lovett , Matthew J. Warren
IPC分类号： G06F9/44
CPC分类号： G06F8/437
摘要： A type system employing structural subtyping is disclosed herein. A core type system supports several structural types, such as stream, choice, intersection and sequence. Also part of the core type system is a new invariant type, which denotes values whose dynamic type is the same as its static type, and type restrictions for limiting a range of a base type. Furthermore, a streamlined structural version of delegates, called structural delegates and a validation method thereof are introduce into the type system. To further facilitate type safety, strict statically checked interface casts are introduced.
摘要翻译：本文公开了采用结构子类型的类型系统。核心类型系统支持多种结构类型，如流，选择，交集和序列。核心类型系统的一部分是新的不变类型，它表示动态类型与其静态类型相同的值，以及限制基本类型范围的类型限制。此外，向类型系统介绍了一种简化的代表结构版本，称为结构代理及其验证方法。为了进一步促进类型安全，引入了严格的静态检查界面。

7. 发明授权

US08060859B2 Core object-oriented type system for semi-structured data 有权
标题翻译：用于半结构化数据的核心面向对象类型系统
公开(公告)号：US08060859B2
公开(公告)日：2011-11-15
申请号：US12139712
申请日：2008-06-16
申请人： Erik Meijer , Wolfram Schulte , Barend H. Venter , Chia-Hsun Chen , Christopher J. Lovett , Matthew J. Warren
发明人： Erik Meijer , Wolfram Schulte , Barend H. Venter , Chia-Hsun Chen , Christopher J. Lovett , Matthew J. Warren
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F8/437
摘要： A type system employing structural subtyping is disclosed herein. A core type system supports several structural types, such as stream, choice, intersection and sequence. Also part of the core type system is a new invariant type, which denotes values whose dynamic type is the same as its static type, and type restrictions for limiting a range of a base type. Furthermore, a streamlined structural version of delegates, called structural delegates and a validation method thereof are introduce into the type system. To further facilitate type safety, strict statically checked interface casts are introduced.
摘要翻译：本文公开了采用结构子类型的类型系统。核心类型系统支持多种结构类型，如流，选择，交集和序列。核心类型系统的一部分是新的不变类型，它表示动态类型与其静态类型相同的值，以及限制基本类型范围的类型限制。此外，向类型系统介绍了一种简化的代表结构版本，称为结构代理及其验证方法。为了进一步促进类型安全，引入了严格的静态检查界面。

8. 发明申请

US20080306617A1 CORE OBJECT-ORIENTED TYPE SYSTEM FOR SEMI-STRUCTURED DATA 有权
公开(公告)号：US20080306617A1
公开(公告)日：2008-12-11
申请号：US12139693
申请日：2008-06-16
申请人： Erik Meijer , Wolfram Schulte , Barend H. Venter , Chia-Hsun Chen , Christopher J. Lovett , Matthew J. Wararen
发明人： Erik Meijer , Wolfram Schulte , Barend H. Venter , Chia-Hsun Chen , Christopher J. Lovett , Matthew J. Wararen
IPC分类号： G06F17/00
CPC分类号： G06F8/437
摘要： A type system employing structural subtyping is disclosed herein. A core type system supports several structural types, such as stream, choice, intersection and sequence. Also part of the core type system is a new invariant type, which denotes values whose dynamic type is the same as its static type, and type restrictions for limiting a range of a base type. Furthermore, a streamlined structural version of delegates, called structural delegates and a validation method thereof are introduce into the type system. To further facilitate type safety, strict statically checked interface casts are introduced.

9. 发明授权

US07389498B2 Core object-oriented type system for semi-structured data 有权
标题翻译：用于半结构化数据的核心面向对象类型系统
公开(公告)号：US07389498B2
公开(公告)日：2008-06-17
申请号：US10396066
申请日：2003-03-25
申请人： Erik Meijer , Wolfram Schulte , Barend H. Venter , Chia-Hsun Chen , Christopher J. Lovett , Matthew J. Wararen
发明人： Erik Meijer , Wolfram Schulte , Barend H. Venter , Chia-Hsun Chen , Christopher J. Lovett , Matthew J. Wararen
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F8/437
摘要： A type system employing structural subtyping is disclosed herein. A core type system supports several structural types, such as stream, choice, intersection and sequence. Also part of the core type system is a new invariant type, which denotes values whose dynamic type is the same as its static type, and type restrictions for limiting a range of a base type. Furthermore, a streamlined structural version of delegates, called structural delegates and a validation method thereof are introduce into the type system. To further facilitate type safety, strict statically checked interface casts are introduced.
摘要翻译：本文公开了采用结构子类型的类型系统。核心类型系统支持多种结构类型，如流，选择，交集和序列。核心类型系统的一部分是新的不变类型，它表示动态类型与其静态类型相同的值，以及限制基本类型范围的类型限制。此外，向类型系统介绍了一种简化的代表结构版本，称为结构代理及其验证方法。为了进一步促进类型安全，引入了严格的静态检查界面。

10. 发明授权

US07530080B2 Implementation of alias preserving structural subtyping with precise types using transparent adapters 有权
标题翻译：使用透明适配器实现使用精确类型保留结构子类型的别名
公开(公告)号：US07530080B2
公开(公告)日：2009-05-05
申请号：US10395973
申请日：2003-03-25
申请人： Wolfram Schulte , Barend H. Venter , Chia-Hsun Chen , Erik Meijer , Christopher J. Lovett , Matthew J. Warren
发明人： Wolfram Schulte , Barend H. Venter , Chia-Hsun Chen , Erik Meijer , Christopher J. Lovett , Matthew J. Warren
IPC分类号： G06F3/00 , G06F9/44 , G06F9/46 , G06F13/00
CPC分类号： G06F8/437
摘要： A system and method for employing a programming language based on structural types on top of a nominal type runtime environment is disclosed. The system utilizes adapters and coercive subtyping to achieve precise typing while preserving aliasing. Furthermore, the system employs a universal value representation to achieve cross-assembly type equivalence.
摘要翻译：公开了一种在标称类型运行时环境之上采用基于结构类型的编程语言的系统和方法。该系统使用适配器和强制子类型来实现精确打字，同时保留混叠。此外，该系统采用通用值表示来实现交叉装配类型等价。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式