公开(公告)号：US20100036859A1

公开(公告)日：2010-02-11

申请号：US12189020

申请日：2008-08-08

申请人： Edmund Samuel Victor Pinto ,  Kenneth D. Wolf ,  Nocholas A. Allen ,  Stefan Batres ,  Justin David Brown

发明人： Edmund Samuel Victor Pinto ,  Kenneth D. Wolf ,  Nocholas A. Allen ,  Stefan Batres ,  Justin David Brown

IPC分类号： 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.

摘要翻译： 用于在消息交换中关联消息的会合抽象。 无论消息交换模式的类型如何，并且无论用于通信消息的底层协议如何，都可以实例化会合抽象以关联消息。 原始协议的消息交换被建模为单向消息交换。 会合抽象用于将单向消息交换的消息相关联，并且用作用于表示消息交换模式的消息被处理的会合点的抽象。 因此，不是专注于协议特定的相关机制，如果甚至可用，应用程序作者可以简单地使用标准会合抽象。

公开(公告)号：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.

摘要翻译： 用于在消息交换中关联消息的会合抽象。 无论消息交换模式的类型如何，并且无论用于通信消息的底层协议如何，都可以实例化会合抽象以关联消息。 原始协议的消息交换被建模为单向消息交换。 会合抽象用于将单向消息交换的消息相关联，并且用作用于表示消息交换模式的消息被处理的会合点的抽象。 因此，不是专注于协议特定的相关机制，如果甚至可用，应用程序作者可以简单地使用标准会合抽象。

公开(公告)号：US20100306778A1

公开(公告)日：2010-12-02

申请号：US12472200

申请日：2009-05-26

申请人： Kenneth D. Wolf ,  Nathan C. Talbert ,  Justin David Brown ,  Edmund Samuel Victor Pinto

发明人： Kenneth D. Wolf ,  Nathan C. Talbert ,  Justin David Brown ,  Edmund Samuel Victor Pinto

IPC分类号： G06F9/46

CPC分类号： G06F9/485

摘要： A computer system establishes an execution environment for executing activities in a continuation based runtime including instantiating an activity scheduler configured to perform the following: scheduling activities for execution in the CBR. The activity scheduler resolves the scheduled activity's arguments and variables prior to invoking the scheduled activity using the activity's unique context. The activity scheduler also determines, based on the activity's unique context, whether the scheduled activity comprises a work item that is to be queued at the top of the execution stack and, based on the determination, queues the work item to the execution stack. The computer system executes the work items of the scheduled activity as queued in the execution stack of the established execution environment in the CBR.

摘要翻译： 计算机系统建立用于在基于连续的运行时执行活动的执行环境，包括实例化配置为执行以下的活动调度器：调度在CBR中执行的活动。 活动调度程序在使用活动的唯一上下文调用计划的活动之前解析预定活动的参数和变量。 活动调度器还基于活动的唯一上下文来确定调度活动是否包括要在执行堆栈的顶部排队的工作项，并且基于该确定将工作项排队到执行堆栈。 计算机系统在CBR中建立的执行环境的执行堆栈中排队排队的活动的工作项。

公开(公告)号：US08307368B2

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

申请号：US12472200

申请日：2009-05-26

申请人： Kenneth D. Wolf ,  Nathan C. Talbert ,  Edmund Samuel Victor Pinto ,  Justin David Brown

发明人： Kenneth D. Wolf ,  Nathan C. Talbert ,  Edmund Samuel Victor Pinto ,  Justin David Brown

IPC分类号： G06F9/46 ,  G06F9/455

CPC分类号： G06F9/485

摘要： A computer system establishes an execution environment for executing activities in a continuation based runtime including instantiating an activity scheduler configured to perform the following: scheduling activities for execution in the CBR. The activity scheduler resolves the scheduled activity's arguments and variables prior to invoking the scheduled activity using the activity's unique context. The activity scheduler also determines, based on the activity's unique context, whether the scheduled activity comprises a work item that is to be queued at the top of the execution stack and, based on the determination, queues the work item to the execution stack. The computer system executes the work items of the scheduled activity as queued in the execution stack of the established execution environment in the CBR.

摘要翻译： 计算机系统建立用于在基于连续的运行时执行活动的执行环境，包括实例化配置为执行以下的活动调度器：调度在CBR中执行的活动。 活动调度程序在使用活动的唯一上下文调用计划的活动之前解析预定活动的参数和变量。 活动调度器还基于活动的唯一上下文来确定调度活动是否包括要在执行堆栈的顶部排队的工作项，并且基于该确定将工作项排队到执行堆栈。 计算机系统在CBR中建立的执行环境的执行堆栈中排队排队的活动的工作项。

公开(公告)号：US08620991B2

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

申请号：US13564498

申请日：2012-08-01

申请人： Kenneth David Wolf ,  Justin David Brown ,  Karthik Raman ,  Nathan Christopher Talbert ,  Edmund Samuel Victor Pinto

发明人： Kenneth David Wolf ,  Justin David Brown ,  Karthik Raman ,  Nathan Christopher Talbert ,  Edmund Samuel Victor Pinto

IPC分类号： G06F15/16

CPC分类号： H04L67/14

摘要： Technologies for enabling a continuation based runtime to accept or reject external stimulus and, in addition, to determine if an external stimulus may be valid for processing at a later point in execution.

摘要翻译： 允许基于连续运行时接受或拒绝外部刺激的技术，此外，确定外部刺激是否可以在稍后的执行点处理。

公开(公告)号：US08719841B2

公开(公告)日：2014-05-06

申请号：US12605236

申请日：2009-10-23

申请人： Edmund Samuel Victor Pinto ,  Nicholas A. Allen ,  Karthik Raman ,  Kenneth D. Wolf

发明人： Edmund Samuel Victor Pinto ,  Nicholas A. Allen ,  Karthik Raman ,  Kenneth D. Wolf

IPC分类号： G06F9/44 ,  G06F17/30 ,  G06F15/16

CPC分类号： G06F9/546

摘要： The present invention extends to methods, systems, and computer program products for coordinating application state and communication medium state. Embodiments of the invention provide mechanisms by which a dispatcher can enable application code to coordinate changes in application state with the consumption of messages from a communication medium. The coordination can be automatic where the dispatcher performs the coordination, or manual, where the coordination is performed more expressly by application code. Embodiments also include mechanisms by which applications targeting an execution (e.g., continuation based) runtime may compose alternative state transitions in the application with a peek lock protocol.

摘要翻译： 本发明扩展到用于协调应用状态和通信媒体状态的方法，系统和计算机程序产品。 本发明的实施例提供了一种机制，通过该机制，调度员可以使得应用代码能够协调来自通信介质的消息消耗的应用状态的改变。 协调可以是自动调度员执行协调或手动，协调由应用代码更明确地执行。 实施例还包括针对执行（例如，基于连续的）运行时间的应用程序可以使用窥视锁协议来组合应用中的备选状态转换的机制。

公开(公告)号：US20110145826A1

公开(公告)日：2011-06-16

申请号：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

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.

摘要翻译： 分区连续运行时程序。 实施例可以包括区分公共儿童活动和实施儿童活动之间的基于连续的运行时程序的活动。 基于连续的运行时程序被划分为可见空间。 可见性空间具有基于实施儿童活动的边界。 基于连续的运行时程序是以可见性空间粒度为部分进程的。

公开(公告)号：US08484610B2

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

申请号：US12726133

申请日：2010-03-17

申请人： Stephen Jared Maine ,  Justin David Brown ,  Edmund Samuel Victor Pinto

发明人： Stephen Jared Maine ,  Justin David Brown ,  Edmund Samuel Victor Pinto

IPC分类号： G06F9/44

CPC分类号： G06F17/30386 ,  G06F8/10 ,  G06Q10/06

摘要： Embodiments are directed to implementing a generalized workflow execution model configured to provide access to workflow elements. A computer system instantiates a generalized workflow execution model that provides access to workflow elements stored in a database that is connected to the workflow execution model. The workflow execution model includes the following: activity models that include both agents which are configured to express the control flow of the activity models and symbols which represent values usable by the activity models and metadata configured to identify the workflow execution model. The computer system also receives user input requesting workflow elements and accesses the database to provide the requested workflow elements using the generalized workflow execution model.

摘要翻译： 实施例旨在实现被配置为提供对工作流元素的访问的通用工作流执行模型。 计算机系统实例化通用工作流执行模型，其提供对存储在连接到工作流执行模型的数据库中的工作流元素的访问。 工作流执行模型包括以下内容：活动模型，其中包括配置为表示活动模型和符号的控制流的代理，代表活动模型可用的值和配置为识别工作流执行模型的元数据。 计算机系统还接收用户输入请求工作流元素并访问数据库以使用广义工作流执行模型来提供所请求的工作流元素。

公开(公告)号：US20120297077A1

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

申请号：US13564498

申请日：2012-08-01

申请人： Kenneth David Wolf ,  Justin David Brown ,  Karthik Raman ,  Nathan Christopher Talbert ,  Edmund Samuel Victor Pinto

发明人： Kenneth David Wolf ,  Justin David Brown ,  Karthik Raman ,  Nathan Christopher Talbert ,  Edmund Samuel Victor Pinto

IPC分类号： G06F15/16

CPC分类号： H04L67/14

摘要： Technologies for enabling a continuation based runtime to accept or reject external stimulus and, in addition, to determine if an external stimulus may be valid for processing at a later point in execution.

摘要翻译： 允许基于连续运行时接受或拒绝外部刺激的技术，此外，确定外部刺激是否可以在稍后的执行点处理。

公开(公告)号：US08375095B2

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

申请号：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.

摘要翻译： 将消息从传入消息池分派到服务实例。 消息被非破坏性地从接收到的消息池接收。 如果特定的服务实例接收到不正确的消息，则消息的处理被推迟而不释放传入消息队列中的排他性。 因此，目标服务实例可以继续处理一个或多个其他消息，直到目标服务实例准备好处理一个或多个延迟消息。 以这种方式，即使消息没有以正确的顺序到达进入的消息队列，也可以在保持正确的处理顺序的同时，将消息从传入的消息队列中拉出以进行调度到服务实例。