The skeleton of a computing farm in Manifold

The authors introduce Manifold, a coordination language whose sole purpose is to describe and manage complex interconnections among independent, concurrent processes. In the underlying paradigm of this language the primary concern is not with what functionality the individual processes in a parallel system provide. Instead, the emphasis is on how these processes are interconnected and how their interaction patterns change during the execution life of the system. They also describe an approach to define an operational semantics for Manifold. As an example application, the skeleton of a computing farm model described in Manifold is presented.<<ETX>>

[1]  Farhad Arbab,et al.  MANIFOLD: a language for specification of inter-process communication , 1990 .

[2]  Stuart A. Green,et al.  Parallel processing for computer graphics , 1991, Research monographs in parallel and distributed computing.

[3]  Farhad Arbab,et al.  Interaction management of a window manager in Manifold , 1992, Proceedings ICCI `92: Fourth International Conference on Computing and Information.

[4]  Nicholas Carriero,et al.  Coordination languages and their significance , 1992, CACM.

[5]  Farhad Arbab,et al.  The GKS Input Model in Manifold , 1991, Comput. Graph. Forum.

[6]  Farhad Arbab,et al.  More examples in Manifold , 1992 .

[7]  Farhad Arbab,et al.  An overview of manifold and its implementation , 1993, Concurr. Pract. Exp..

[8]  H. T. Riele,et al.  Centrum Voor Wiskunde En Informatica , 1996 .

[9]  Farhad Arbab,et al.  Formal specification of Manifold: a preliminary study , 1992 .

[10]  Nicholas Carriero,et al.  Linda in context , 1989, CACM.

[11]  C. A. R. Hoare,et al.  Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.