Transformations for early reply and forward message passing mechanisms

摘要

Message passing notations (language, package, etc.) typically include some form of asynchronous or synchronousrninvocation. In a synchronous invocation, the invoker waits for the invocation’s servicer to passrnback results. Some message passing notations also include early reply or deferred reply (including forwarding),rnwhich alters how and when the servicer passes back its results; this additional flexibility is useful inrnrealistic applications. It is well known how to transform a synchronous invocation into only asynchronousrninvocations. This paper extends such transformations to early reply and forward. This paper also describesrnthe use of these transformations within the implementations of programming notations. Using the transformationrnsimplifies the implementation without significantly affecting run-time costs.