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

31. 发明授权

US08868532B2 Message exchange pattern rendezvous abstraction 有权
标题翻译：消息交换模式集合抽象
公开(公告)号：US08868532B2
公开(公告)日：2014-10-21
申请号：US12189020
申请日：2008-08-08
申请人： Edmund Samuel Victor Pinto , Kenneth D. Wolf , Nicholas A. Allen , Stefan Batres , Justin David Brown
发明人： Edmund Samuel Victor Pinto , Kenneth D. Wolf , Nicholas A. Allen , Stefan Batres , Justin David Brown
IPC分类号： G06F7/00 , G06F17/00 , G06F17/30
CPC分类号： G06F8/70 , G06F17/30
摘要： A rendezvous abstraction that is used to correlate messages within message exchange. The rendezvous abstraction may be instantiated to correlate messages regardless of the type of message exchange pattern, and regardless of the underlying protocols used to communication message. Messages exchanges of primitive protocols are modeled as unilateral message exchanges. The rendezvous abstraction is used to correlate messages of the unilateral message exchange, and serves as an abstraction that is used to represented the rendezvous point where the message of the message exchange pattern are handled. Accordingly, instead of focusing on the protocol-specific mechanisms for correlation, if even available, the application author may simply work with a standard rendezvous abstraction.
摘要翻译：用于在消息交换中关联消息的会合抽象。无论消息交换模式的类型如何，并且无论用于通信消息的底层协议如何，都可以实例化会合抽象以关联消息。原始协议的消息交换被建模为单向消息交换。会合抽象用于将单向消息交换的消息相关联，并且用作用于表示消息交换模式的消息被处理的会合点的抽象。因此，不是专注于协议特定的相关机制，如果甚至可用，应用程序作者可以简单地使用标准会合抽象。

32. 发明授权

US08683432B2 Providing execution context in continuation based runtimes 有权
标题翻译：在连续的运行时提供执行上下文
公开(公告)号：US08683432B2
公开(公告)日：2014-03-25
申请号：US12408088
申请日：2009-03-20
申请人： Nathan C. Talbert , Kenneth D. Wolf
发明人： Nathan C. Talbert , Kenneth D. Wolf
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F9/461
摘要： In an embodiment, a computer system instantiates a parent activity configured for execution in a continuation based runtime. The parent activity includes various child activities configured to perform pulses of work. The parent activity is also configured to add execution properties to an execution context. The computer system adds execution properties to the parent activity's execution context to generate a modified execution context which includes execution properties that extend the functionality of the parent and child activities. The added execution properties include corresponding identifiers that identify the added execution properties. The computer system also executes the parent activity including the various child activities within the modified execution context in the continuation based runtime. The modified execution context includes the added execution properties that are available to the parent and any child activities during execution, where at least one child activity implements functionality provided by the added execution properties.
摘要翻译：在一个实施例中，计算机系统实例化配置为在基于连续的运行时中执行的父活动。父活动包括配置为执行工作脉冲的各种儿童活动。父活动也被配置为将执行属性添加到执行上下文。计算机系统将执行属性添加到父活动的执行上下文中，以生成修改的执行上下文，其中包括执行属性以扩展父和子活动的功能。添加的执行属性包括标识添加的执行属性的对应标识符。计算机系统还执行父活动，包括在基于连续运行时的修改执行上下文中的各种子活动。修改的执行上下文包括在执行期间对父级和任何子级活动可用的添加的执行属性，其中至少一个子活动实现由添加的执行属性提供的功能。

33. 发明授权

US08336035B2 Customizable dynamic language expression interpreter 有权
标题翻译：可定制的动态语言表达解释器
公开(公告)号：US08336035B2
公开(公告)日：2012-12-18
申请号：US12336179
申请日：2008-12-16
申请人： John Robert Lambert , Kenneth D. Wolf , Geoffrey M. Kizer
发明人： John Robert Lambert , Kenneth D. Wolf , Geoffrey M. Kizer
IPC分类号： G06F9/45
CPC分类号： G06F9/45508
摘要： Embodiments described herein are directed to allowing a user to extend the functionality of a software code interpretation system. In one embodiment, a computer system receives user-defined conversion rules from a user for converting dynamic language code to continuation-based abstract memory representations. The computer system identifies portions of software code that are to be converted from dynamic language abstract memory representations into continuation-based abstract memory representations, where the identified code portions include undefined, extensible input primitives. The computer system also generates a dynamic, extensible set of output primitives interpretable by a continuation-based code interpretation system using the received conversion rules and converts the identified code portions including the undefined, extensible input primitives from dynamic language abstract memory representations into continuation-based abstract memory representations using the generated set of output primitives.
摘要翻译：本文描述的实施例旨在允许用户扩展软件代码解释系统的功能。在一个实施例中，计算机系统从用户接收用户定义的转换规则，用于将动态语言代码转换为基于连续的抽象存储器表示。计算机系统将要从动态语言抽象存储器表示转换的软件代码的部分识别为基于连续的抽象存储器表示，其中所识别的代码部分包括未定义的，可扩展的输入原语。计算机系统还生成一种动态的，可扩展的输出原语集合，其可由基于连续的代码解释系统使用所接收的转换规则解释，并将包括未定义的可扩展输入原语的识别代码部分从动态语言抽象存储器表示转换为基于连续的使用生成的输出基元集合的抽象记忆表示。

34. 发明授权

US08078555B2 Decoupling static program data and execution data 有权
标题翻译：去除静态程序数据和执行数据
公开(公告)号：US08078555B2
公开(公告)日：2011-12-13
申请号：US11957174
申请日：2007-12-14
申请人： Edmund Samuel Victor Pinto , Kenneth D. Wolf , Robert B. Schmidt
发明人： Edmund Samuel Victor Pinto , Kenneth D. Wolf , Robert B. Schmidt
IPC分类号： G06F15/18
CPC分类号： G06F9/485
摘要： Persisting execution state of a continuation based runtime program. The continuation based runtime program includes static program data defining activities executed by the program. One or more of the activities are parent activities including sequences of child activities. The continuation based runtime program is loaded. A child activity to be executed is identified based on scheduling defined in a parent of the child activity in the continuation based runtime program. The child activity is sent to a continuation based runtime separate from one or more other activities in the continuation based runtime program. The child activity is executed at the continuation based runtime, creating an activity instance. Continuation state information is stored separate from the static program data by storing information about the activity instance separate from one or more other activities defined in the continuation based runtime program.
摘要翻译：持续运行时程序的持久执行状态。基于连续的运行时程序包括定义程序执行的活动的静态程序数据。一个或多个活动是父母活动，包括儿童活动的序列。基于连续的运行时程序被加载。基于继续运行时程序中的子活动的父项中定义的调度来识别要执行的子活动。子活动被发送到基于连续运行时程序的一个或多个其他活动的连续运行时间。子活动在基于连续的运行时执行，创建活动实例。通过将关于活动实例的信息与在基于连续的运行时程序中定义的一个或多个其他活动分开存储的信息与继续状态信息分离存储。

35. 发明授权

US08074117B2 Inference of contract using declarative program definition 有权
标题翻译：使用声明式程序定义推断合同
公开(公告)号：US08074117B2
公开(公告)日：2011-12-06
申请号：US12567610
申请日：2009-09-25
申请人： Kenneth D. Wolf , Nicholas Alexander Allen , Kirill Gavrylyuk , Edmund Samuel Victor Pinto , Tao Xie , Asad Jawahar
发明人： Kenneth D. Wolf , Nicholas Alexander Allen , Kirill Gavrylyuk , Edmund Samuel Victor Pinto , Tao Xie , Asad Jawahar
IPC分类号： G06F11/00
CPC分类号： G06F11/0766 , G06F11/0709
摘要： A declarative program definition. The definition is analyzed to produce an application contract that describes semantics for sending and receiving application messages during the successful execution of operations by the program. In addition, this analysis may also generate local behaviors associated with the local execution of the program. Alternatively or in addition, the analysis may infer secondary contracts regarding the sending and receiving of application messages, even though the full details of the secondary contracts are not present in the declarative program definition. For instance, the secondary contracts might include error contracts or consistency contracts.
摘要翻译：声明式程序定义。分析定义以产生一个应用程序合同，该应用程序合同描述了在程序成功执行操作期间发送和接收应用程序消息的语义。此外，此分析还可能产生与本地程序执行相关的本地行为。或者或另外，分析可以推断关于应用消息的发送和接收的次级合同，即使次要合同的全部细节不存在于声明性程序定义中。例如，次级合同可能包括错误合同或一致性合同。

36. 发明申请

US20110238921A1 ANTICIPATORY RESPONSE PRE-CACHING 有权
标题翻译：预警响应预先加速
公开(公告)号：US20110238921A1
公开(公告)日：2011-09-29
申请号：US12748103
申请日：2010-03-26
申请人： Nicholas Alexander Allen , Kenneth D. Wolf
发明人： Nicholas Alexander Allen , Kenneth D. Wolf
IPC分类号： G06F15/16 , G06F12/08
CPC分类号： G06F12/0862 , H04L67/2847
摘要： Interaction between a client and a service in which the service responds to requests from the client. In addition to responding to specific client requests, the service also anticipates or speculates about what the client may request in the future. Rather than await the client request (that may or may not ultimately be made), the service provides the unrequested anticipatory data to the client in the same data stream as the response data that actual responds to the specific client requests. The client may then use the anticipatory data to fully or partially respond to future requests from the client, if the client does make the request anticipated by the service. Thus, in some cases, latency may be reduced when responding to requests in which anticipatory data has already been provided. The service may give priority to the actual requested data, and gives secondary priority to the anticipatory data.
摘要翻译：客户端和服务之间的相互作用，服务响应客户端的请求。除了响应特定的客户端请求之外，服务还可以预测或推测客户未来可能要求什么。而不是等待客户端请求（可能或可能不会最终产生），服务在与实际响应特定客户端请求的响应数据相同的数据流中向客户端提供未经请求的预期数据。如果客户端确实做出服务预期的请求，客户端可以使用预期数据来完全或部分地响应来自客户端的未来请求。因此，在某些情况下，当响应已经提供预期数据的请求时，延迟可能会减少。该服务可以优先考虑实际请求的数据，并且对预期数据给予二等优先级。

37. 发明申请

US20110153713A1 OUT OF ORDER DURABLE MESSAGE PROCESSING 有权
标题翻译：没有订单耐久消息处理
公开(公告)号：US20110153713A1
公开(公告)日：2011-06-23
申请号：US12645322
申请日：2009-12-22
申请人： Jesse R. Yurkovich , Nicholas Alexander Allen , Edmund Samuel Victor Pinto , Stefan R. Batres , Kenneth D. Wolf , Justin D. Brown
发明人： Jesse R. Yurkovich , Nicholas Alexander Allen , Edmund Samuel Victor Pinto , Stefan R. Batres , Kenneth D. Wolf , Justin D. Brown
IPC分类号： G06F15/16
CPC分类号： G06F9/546
摘要： The dispatching of messages from an incoming message pool to service instance(s). Message are received non-destructively and exclusively from the incoming message pool. If a particular service instance receives a message out of order, the processing of the message is deferred without releasing the exclusivity in the incoming message queue. Thus, the target service instance may continue to process one or more other messages until the target service instance is ready to process one or more deferred messages. In this way, messages may be pulled from the incoming message queue for dispatch to service instance(s), while maintaining correct order of processing, even if messages do not arrive into the incoming message queue in the correct order.
摘要翻译：将消息从传入消息池分派到服务实例。消息被非破坏性地从接收到的消息池接收。如果特定的服务实例接收到不正确的消息，则消息的处理被推迟而不释放传入消息队列中的排他性。因此，目标服务实例可以继续处理一个或多个其他消息，直到目标服务实例准备好处理一个或多个延迟消息。以这种方式，即使消息没有以正确的顺序到达进入的消息队列，也可以在保持正确的处理顺序的同时，将消息从传入的消息队列中拉出以进行调度到服务实例。

38. 发明申请

US20100242030A1 PROVIDING EXECUTION CONTEXT IN CONTINUATION BASED RUNTIMES 有权
标题翻译：提供基于连续运行的执行背景
公开(公告)号：US20100242030A1
公开(公告)日：2010-09-23
申请号：US12408088
申请日：2009-03-20
申请人： Nathan C. Talbert , Kenneth D. Wolf
发明人： Nathan C. Talbert , Kenneth D. Wolf
IPC分类号： G06F9/45
CPC分类号： G06F9/461
摘要： In an embodiment, a computer system instantiates a parent activity configured for execution in a continuation based runtime. The parent activity includes various child activities configured to perform pulses of work. The parent activity is also configured to add execution properties to an execution context. The computer system adds execution properties to the parent activity's execution context to generate a modified execution context which includes execution properties that extend the functionality of the parent and child activities. The added execution properties include corresponding identifiers that identify the added execution properties. The computer system also executes the parent activity including the various child activities within the modified execution context in the continuation based runtime. The modified execution context includes the added execution properties that are available to the parent and any child activities during execution, where at least one child activity implements functionality provided by the added execution properties.
摘要翻译：在一个实施例中，计算机系统实例化配置为在基于连续的运行时中执行的父活动。父活动包括配置为执行工作脉冲的各种儿童活动。父活动也被配置为将执行属性添加到执行上下文。计算机系统将执行属性添加到父活动的执行上下文中，以生成修改的执行上下文，其中包括执行属性以扩展父和子活动的功能。添加的执行属性包括标识添加的执行属性的对应标识符。计算机系统还执行父活动，包括在基于连续运行时的修改执行上下文中的各种子活动。修改的执行上下文包括在执行期间对父级和任何子级活动可用的附加执行属性，其中至少一个子活动实现由添加的执行属性提供的功能。

39. 发明申请

US20090158283A1 DECOUPLING STATIC PROGRAM DATA AND EXECUTION DATA 有权
标题翻译：解除静态程序数据和执行数据
公开(公告)号：US20090158283A1
公开(公告)日：2009-06-18
申请号：US11957174
申请日：2007-12-14
申请人： Edmund Samuel Victor Pinto , Kenneth D. Wolf , Robert B. Schmidt
发明人： Edmund Samuel Victor Pinto , Kenneth D. Wolf , Robert B. Schmidt
IPC分类号： G06F9/455
CPC分类号： G06F9/485
摘要： Persisting execution state of a continuation based runtime program. The continuation based runtime program includes static program data defining activities executed by the program. One or more of the activities are parent activities including sequences of child activities. The continuation based runtime program is loaded. A child activity to be executed is identified based on scheduling defined in a parent of the child activity in the continuation based runtime program. The child activity is sent to a continuation based runtime separate from one or more other activities in the continuation based runtime program. The child activity is executed at the continuation based runtime, creating an activity instance. Continuation state information is stored separate from the static program data by storing information about the activity instance separate from one or more other activities defined in the continuation based runtime program.
摘要翻译：持续运行时程序的持续执行状态。基于连续的运行时程序包括定义程序执行的活动的静态程序数据。一个或多个活动是父母活动，包括儿童活动的序列。基于连续的运行时程序被加载。基于继续运行时程序中的子活动的父项中定义的调度来识别要执行的子活动。子活动被发送到基于连续运行时程序的一个或多个其他活动的连续运行时间。子活动在基于连续的运行时执行，创建活动实例。通过将关于活动实例的信息与在基于连续的运行时程序中定义的一个或多个其他活动分开存储的信息与继续状态信息分离存储。

40. 发明授权

US09122461B2 Method and system for iteratively partitioning and validating program trees into environments at visibility space granularity 有权
标题翻译：将可视化空间粒度的程序树反复划分和验证到环境中的方法和系统
公开(公告)号：US09122461B2
公开(公告)日：2015-09-01
申请号：US12635984
申请日：2009-12-11
申请人： Nathan C. Talbert , Kenneth D. Wolf , Edmund Samuel Victor Pinto
发明人： Nathan C. Talbert , Kenneth D. Wolf , Edmund Samuel Victor Pinto
IPC分类号： G06F9/46 , G06F9/44 , G06F9/45
CPC分类号： G06F8/20 , G06F8/434 , G06F9/44
摘要： Partitioning continuation based runtime programs. Embodiments may include differentiating activities of a continuation based runtime program between public children activities and implementation children activities. The continuation based runtime program is partitioned into visibility spaces. The visibility spaces have boundaries based on implementation children activities. The continuation based runtime program is partially processes at a visibility space granularity.
摘要翻译：分区连续运行时程序。实施例可以包括区分公共儿童活动和实施儿童活动之间的基于连续的运行时程序的活动。基于连续的运行时程序被划分为可见空间。可见性空间具有基于实施儿童活动的边界。基于连续的运行时程序是以可见性空间粒度为部分进程的。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式