| S.A. Ward and R.H. Halstead. A syntactic theory of message passing. J. ACM, Vol. 27, No. 2,, 1980. |
....The key concepts in DinnerBell are (1) the single assignment rule which enables parallel execution within an object and (2) messageJoin which creates a consistent state in fine grained parallel execution. Our language is a pure message passing based language with synchronization primitive, like [Ward80]. The major modification is the addition of the synchronization mechanism messageJoin. The approach of fine grained parallelism used in DinnerBell also appeared in [Zhong87] which has Dataflow constructors such as loop. In fine grained parallel execution, we must achieve low communication ....
S.A. Ward and R.H. Halstead. A syntactic theory of message passing. J. ACM, Vol. 27, No. 2,, 1980.
....I O, a thread provides the kernel with a continuation to be called when the I O completes. 5 Related Work The language community has been experimenting with continuations for almost two decades. Ward used continuations to define the primitives of a message passing algebra called mu calculus [Ward Halstead 80] and showed that all control transfer could be expressed in terms of that algebra. Functional languages that support concurrent execution and first class continuations have been successful in implementing the former in terms of the latter [Wand 80, Haynes Friedman 84, Cooper Morrisett 90] ....
Ward, S. A. and Halstead, Jr., R. H. A Syntactic Theory of Message Passing. Journal of the ACM, 27(2):365--383, April 1980.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC