Arbab F. Coordination of massively concurrent activities. Technical Report CS-R9565, Centrum voor Wiskunde en Informatica, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands, November 1995. Available on-line http://www.cwi.nl/ftp/CWIreports/IS/CS-R9565.ps.Z. January 2000.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....[16] The latter are two earlier theoretical models exploring aspects of IWIM. A fuller treatment of all these issues can be found in [8] Section 5 concludes. 2 The IWIM Model In this section we review the generic coordination framework known as the Ideal Worker Ideal Manager (IWIM) model [2,3,5]. The basic concepts in the IWIM model are processes, events, ports, and channels. A process is a black box with well de ned ports of connection through which it exchanges units of information with the other processes in its environment. A port is a named opening in the bounding walls of a ....

Arbab F. \Coordination of Massively Concurrent Activities." CWI Tech. Rep. CS-R9565, 1995.

....system is implicitly reactive as each process continuously interacts with the other processes, which can be seen as its environment. We say that tuple space based systems are a special case of reactive systems: they are concurrent systems, and their processes are usually never dying. Manifold [20, 19, 18] is a coordination language based on the IWIM model of communication. Processes receive and send data through ports, which are connected by channels. The channels net can be defined independently from the process descriptions, allowing the separation of computation and communication, and thous ....

F. Arbab. Coordination of massively concurrent activities. Technical Report CS-R9565, CWI, 1995.

....coordination abstractions and protocols as well as for implementing dynamically evolving architectures. Manifold has some interesting successes in parallelizing sequential legacy code by splitting monolithic applications into parallel components that are coordinated by a Manifold layer [Arb95] Forms have appeared in countless shapes and guises in programming languages over many years, as dictionaries, records, keyword arguments, environments, and URLs. Al though forms are clearly not a new idea, we believe that PICCOLA is the first language that adopts forms as a basic mechanism ....

Farhad Arbab. Coordination of massively concurrent activities. Technical report, Centrum voor Wiskunde en Informatica (CWI), 1995.

....a deadlock. And so on. The information used in doing this calculation is the expression for the dining philosophers and the minimization functions for the open systems consisting of one, two and three philosophers with forks. 3 CP automata and the IWIM model of coordination Arbab introduced in [1] a model of coordination he called idealized workers and idealized managers (IWIM) on which the language MANIFOLD is based. In this model workers are rather like circuit components which process their input and produce output without knowledge as to which other components they are connected. In ....

....use of CP automata in expressing mobility we describe another example, a variant of the Dining Philosopher problem in which diners may move, and which requires two further operations on CP automata case feedback , and place feedback. 3. 1 The IWIM coordination model Arbab in a series of papers [1], 2] 5] has described a conceptual model of coordination, idealized workers and idealized managers (IWIM) on which his language MANIFOLD is based. The essential features of IWIM are as follows: The elements of the model are processes; each process may partake of two roles a worker role ....

F. Arbab, Coordination of massively concurrent activities, Technical Report CS-- R9565, Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands, 1995, Available on-line at http://www.cwi.nl/ftp/CWIreports/IS/CS-R9565.ps.Z.

....of parallel composition of communicating workers and reconfigurations of modules. Taking the distributed sort algorithm of [4] as a case study, it is shown that the manager process can be expressed as a recursive equation in the algebra of automata. 1 Introduction. Arbab introduced in [1] a model of coordination he called idealized workers and idealized managers (IWIM) on which the language MANIFOLD is based. In this model workers are rather like circuit components which process their input and produce output without knowledge as to which other components they are connected. In ....

....of the distributed bucket sort. In section 5 we show how mobility of processes may be modelled using CP automata, introducing at the same time two extra feedback operations on CP automata. We finish with a section of conclusions. 1. 1 The IWIM coordination model Arbab in a series of papers [1], 2] 5] has described a conceptual model of coordination, idealized workers and idealized managers (IWIM) on which his language MANIFOLD is based. The essential features of IWIM are as follows: The elements of the model are processes; each process may partake of two roles a worker role ....

F. Arbab, Coordination of massively concurrent activities, Technical Report CS-- R9565, Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands, 1995, Available on-line at http://www.cwi.nl/ftp/CWIreports/IS/CS-R9565.ps.Z.

....Fagot, Adriano Scutell a CWI Postbus 94079 1090 GB Amsterdam e mail: fadriano, fagotg cwi.nl 1 Introduction Coordination languages [Coo99] are used for the orchestration of various activities of a distributed, parallel application. A representative of this class of languages is MANIFOLD [Arb95,Arb96a,Arb96b]. Promela [Hol91] is a high level modelling language used for the specification of concurrent systems and it can be argued that it is also a sort of coordination language [Hol99] Besides last observation the idea of this work comes from the fact that there is a correspondence between MANIFOLD ....

....contains two examples, some planning for future work and conlcusion is drawn in Section 5 2 MANIFOLD and its relation with Promela and Spin This section is a sketchy outline of the characteristics of the coordination language MANIFOLD. The reader who wishes to learn more on MANIFOLD may consult [Arb95,Arb96a,Arb96b], for Promela and Spin the book written by Gerard Holzmann [Hol91] and the online documentation [WWWSP] are our references. Like Promela applications, a MANIFOLD application consists of various running processes of some given types. We find two kinds of processes in MANIFOLD: atomic and ....

[Article contains additional citation context not shown here]

F. Arbab. Coordination of massively concurrent activities. Technical Report CS--R9565, Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands, November 1995. Available on-line http://www.cwi.nl/ftp/CWIreports/IS/CS-R9565.ps.Z.

....In Sections 4 and 5 we will be concerned with the realization of a coordination based version of the CDa algorithm. 3. THE COORDINATION LANGUAGE MANIFOLD is a language for managing complex, dynamically changing interconnections among sets of independent, concurrent, cooperative processes [5]. MANIFOLD is based on the IWIM model of communication [6] The basics concepts in the IWIM model (thus also in MANIFOLD) are processes, events, ports, and channels. Its advantages over the Targeted Send Receive model (on which object oriented programming models and tools such as PVM, PARMACS, and ....

F. Arbab. Coordination of massively concurrent activities. Report CS--R9565, CWI, Amsterdam, The Netherlands, Nov. 1995. Available on-line http://www.cwi.nl/ftp/CWIreports/IS/CS-R9565.ps.Z.

....of this proposition solver. MANIFOLD is a coordination language developed at the CWI in the Netherlands. It is very well suited for applications involving dynamic process creation and dynamically changing (ir)regular communication patterns among sets of independent concurrent cooperating processes [Arb95, Arb96]. The rest of this paper is organized as follows. In section 2 we give a brief introduction to the MANIFOLD language by discussing a toy application. Apart from showing some of the syntax and semantics of MANIFOLD we find in this example already, in nutshell, most elements of the MANIFOLD ....

F. Arbab. Coordination of massively concurrent activities. Technical Report CS--R9565, Centrum voor Wiskunde en Informatica, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands, November 1995. Available on-line http://www.cwi.nl/ftp/CWIreports/IS/CS-R9565.ps.Z.

....by computation functions and called constructors; these constructors are guaranteed an efficient execution on particular architectures. The main drawback of P 3 L is that program structures are limited to the ones which can be defined in terms of the pre defined constructs. Manifold [Arb95] supports the definition of dynamic program structures; it does not provide coordination domains and their global view of the structure and the state of a sub collection of program processes. 6 Conclusions ConCoord supports the expression in a natural manner of dynamic processoriented parallel ....

F. Arbab. Coordination of massively concurrent activities. Technical report, Centrum voor Wiskunde en Informatica, 1995.

....running in a parallel computing environment. MANIFOLD is a coordination language developed at CWI (Centrum voor Wiskunde en Informatica) in the Netherlands. It is very well suited for managing complex, dynamically changing interconnections among sets of independent concurrent cooperating processes [1, 3]. The rest of this paper is organized as follows. In Section 2, we introduce the discrete equations under consideration. In Section 3, we describe the concept of sparse grid methods. For this, first standard multigrid methods are described. In Section 4, we briefly describe the sequential ....

....is expected to pay off. This will be worked out in Section 6. 5 The Manifold coordination language In this section, we briefly introduce MANIFOLD: a coordination language for managing complex, dynamically changing interconnections among sets of independent, concurrent, cooperating processes [1]. MANIFOLD is based on the IWIM model of communication [3] The basic concepts in the IWIM model are processes, events, ports and channels (Sections 5.1 through 5.3) A MANIFOLD application consists of a (potentially very large) number of processes running on a network of heterogeneous hosts, ....

[Article contains additional citation context not shown here]

F. Arbab, Coordination of massively concurrent activities, Report CS--R9565, CWI, Amsterdam, 1995. Available on-line at http://www.cwi.nl/ftp/CWIreports/IS/CS-R9565.ps.Z.

....in a parallel computing environment. MANIFOLD is a coordination language developed at CWI (Centrum voor Wiskunde en Informatica) in the Netherlands. It is very well suited for managing complex, dynamically changing interconnections among sets of independent concurrent cooperating processes [1, 3]. The rest of this paper is organized as follows. In Section 2, we introduce the discrete equations under consideration. In Section 3, we describe the concept of sparse grid methods. For this, first standard multigrid methods are described. In Section 4, we briefly describe the sequential ....

....the restructuring of the Fortran code, as presented in Section 4, into a parallel application. For the parallelization we use MANIFOLD. MANIFOLD is a coordination language for managing complex, dynamically changing interconnections among sets of independent, concurrent, cooperating processes [1]. MANIFOLD is based on the IWIM model of communication [3] The basic concepts in the IWIM model are processes, events, ports and channels. The crux of our restructuring is to allow the computations done in pointgsgr on every single grid visited with scanlv, to be carried out in separate ....

[Article contains additional citation context not shown here]

F. Arbab, Coordination of massively concurrent activities, Report CS--R9565, CWI, Amsterdam, 1995. Available on-line at http://www.cwi.nl/ftp/CWIreports/IS/CS-R9565.ps.Z.

No context found.

Arbab F. Coordination of massively concurrent activities. Technical Report CS-R9565, Centrum voor Wiskunde en Informatica, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands, November 1995. Available on-line http://www.cwi.nl/ftp/CWIreports/IS/CS-R9565.ps.Z. January 2000.

....forms of communication, the coordination language MANIFOLD uses asynchronous communication exclusively. This design decision was made to avoid the extra delays, reduced effective concurrency, and even unnecessary deadlocks that can result from synchronous communication in large concurrent systems[1]. A brief description of some related work appears in x6, and x7 is the conclusion of this paper. 2 The TSR Model of Communication A common characteristic of most flavors of the message passing model of communication is the distinction between the roles they assign to the two active entities ....

....In the following, we consider an alternative generic model of communication that, unlike the TSR model, supports the separation of responsibilities and encourages a weak dependence of workers on their environment. We refer to this generic model as the Idealized Worker Idealized Manager (IWIM) model[1]. Like the TSR model, the IWIM model is described only in terms of its most significant characteristics. As such, like the TSR model, it indeed defines not a specific model of communication, but a family of such models. Various members in this family can have different significant characteristics, ....

[Article contains additional citation context not shown here]

F. Arbab, "Coordination of massively concurrent activities," Tech. Rep. CS-- R9565, Centrum voor Wiskunde en Informatica, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands, 1995.

.... schemes) and control primitives (such as iterators, fixed points, and conditionals) On the other hand, the concept of coordinating a number of activities, such that they can run concurrently in a parallel and distributed fashion, has recently received wide attention [4, 5] The IWIM model [1, 2] (Ideal Worker Ideal Manager) is based on a complete symmetry between and decoupling of producers and consumers, as well as a clear distinction between the computational and the coordination communication work performed by each process. A direct realization of IWIM in terms of a concrete ....

....language MANIFOLD [3] to significantly improve the implementation of BALI, and remain closer to its formal model. 3. 1 The Coordination Language MANIFOLD MANIFOLD is a language for managing complex, dynamically changing interconnections among sets of independent, concurrent, cooperative processes [1]. MANIFOLD is based on the IWIM model of communication [2] The basic concepts in the IWIM model (thus also in MANIFOLD) are processes, events, ports, and channels. Its advantages over the Targeted Send Receive model (on which objectoriented programming models and tools such as PVM [13] PARMACS ....

[Article contains additional citation context not shown here]

Arbab, F. Coordination of massively concurrent activities. Report CS--R9565, CWI, Amsterdam, The Netherlands, Nov. 1995. Available on-line http://www.cwi.nl/ftp/CWIreports/IS/CSR9565. ps.Z.

....of concurrent activities in massively parallel and distributed computing environments based on Manifold [AHS93] AHR93] Visifold is a graphical environment designed to produce Manifold programs. Manifold is a programming language based on the Idealized Worker Idealized Manager (IWIM) model[Arb95] The basic components of Manifold are processes, events, ports and streams. A process is a black box with well defined ports of connection through which it exchanges units of information with the other processes in its environment. Visifold is currently under development at CWI. Visifold ....

....Model of Communication Visifold is based on a generic model of communication that supports the separation of responsibilities and encourages a weak dependence of workers (processes) on their environment. We refer to this generic model as the Idealized Worker Idealized Manager (IWIM) model. In [Arb95] a more detailed description of this model is given. The basic concepts in the IWIM model are processes, events, ports, and channels. A process is a black box with well defined ports of connection through which it exchanges units of information with the other processes in its environment. A ....

[Article contains additional citation context not shown here]

Farhad Arbab. Coordination of massively concurrent activities. Technical Report CS-R9564, CWI, Kruislaan 413 --- 1098 SJ Amsterdam --- The Netherlands, October 1995.

....2. An informal overview of MANIFOLD This section is a brief informal overview of the MANIFOLD coordination language. MANIFOLD is a control oriented coordination language for managing complex, dynamically changing interconnections among sets of independent, concurrent, cooperating processes [5, 3, 4, 10]. Two major concepts in MANIFOLD are separation of concerns and anonymous communication. Separation of concerns means that computation concerns are isolated from the communication and cooperation concerns. Anonymous communication means that the parties engaged in communication with each other need ....

Arbab, F. Coordination of massively concurrent activities. Tech. Rep. CS--R9565, Centrum voor Wiskunde en Informatica, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands, November 1995. Available on-line http://www.cwi.nl/ftp/CWIreports/IS/CS-R9565.ps.Z.

No context found.

F. Arbab, "Coordination of massively concurrent activities," Tech. Rep. CS--R9565, Centrum voor Wiskunde en Informatica, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands, 1995. Available on-line: http://www.cwi.nl/ftp/CWIreports/IS/CS-R9565.ps.Z

....We close this paper with a short conclusion in section 5. 2. The Manifold Coordination Language In this section, we briefly introduce MANIFOLD: a coordination language for managing complex, dynamically changing interconnections among sets of independent, concurrent, cooperating processes[1]. A MANIFOLD application consists of a (potentially very large) number of (light and or heavyweight) processes running on a network of heterogeneous hosts, some of which may be parallel systems. Processes in the same application may be written in different programming languages. Some of them may ....

F. Arbab. Coordination of massively concurrent activities. Technical Report CS--R9565, Centrum voor Wiskunde en Informatica, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands, November 1995. Available on-line http://www.cwi.nl/ftp/CWIreports/IS/CS-R9565.ps.Z.

....schemes) and control primitives (such as iterators, guards, fixed points, and conditionals) On the other hand, the concept of coordinating a number of activities, such that they can run concurrently in a parallel and distributed fashion, has recently received wide attention. The IWIM model [1, 2] (Ideal Worker Ideal Manager) is based on a complete symmetry between and decoupling of producers and consumers, as well as a clear Published in Proceedings of 1998 ACM Symposium on Applied Computing (SAC 98) Special Track on Coordination Models, Languages and Applications, February 27 March ....

....MANIFOLD [3] to significantly improve the implementation of BALI, and remain closer to its formal model. 3. 1 The Coordination Language MANIFOLD MANIFOLD is a language for managing complex, dynamically changing interconnections among sets of independent, concurrent, cooperative processes [1]. MANIFOLD is based on the IWIM model of communication [2] The basics concepts in the IWIM model (thus also in MANIFOLD) are processes, events, ports, and channels. Its advantages over the Targeted Send Receive model (on which object oriented programming models and tools such as PVM [11] ....

[Article contains additional citation context not shown here]

Arbab, F. Coordination of massively concurrent activities. Report CS--R9565, CWI, Amsterdam, The Netherlands, Nov. 1995. Available on-line http://www.cwi.nl/ftp/CWIreports/IS/CSR9565. ps.Z.

....2 An informal overview of MANIFOLD This section is a brief informal overview of the MANIFOLD coordination language. MANIFOLD is a control oriented coordination language for managing complex, dynamically changing interconnections among sets of independent, concurrent, cooperating processes [5,3,4,10]. Two major concepts in MANIFOLD are separation of concerns and anonymous communication. Separation of concerns means that computation concerns are isolated from the communication and cooperation concerns. Anonymous communication means that the parties engaged in communication with each other ....

Arbab, F. Coordination of massively concurrent activities. Tech. Rep. CS--R9565, Centrum voor Wiskunde en Informatica, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands, November 1995. Available on-line http://www.cwi.nl/ftp/CWIreports/IS/CS-R9565.ps.Z.

....in section 6. Finally, the conclusion of the paper is in section 7. 2. The Manifold Coordination Language In this section, we briefly introduce MANIFOLD: a coordination language for managing complex, dynamically changing interconnections among sets of independent, concurrent, cooperating processes[1]. A MANIFOLD application consists of a (potentially very large) number of (light and or heavyweight) processes running on a network of heterogeneous hosts, some of which may be parallel systems. Processes in the same application may be written in different programming languages. Some of them may ....

F. Arbab. Coordination of massively concurrent activities. Technical Report CS--R9565, Centrum voor Wiskunde en Informatica, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands, November 1995. Available on-line http://www.cwi.nl/ftp/CWIreports/IS/CS-R9565.ps.Z.

No context found.

F. Arbab, Coordination of massively concurrent activities, Tech. Report CSR9565, CWI, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands, Nov.

....in section 6. Finally, the conclusion of the paper is in section 7. 2 The Manifold Coordination Language In this section, we briefly introduce MANIFOLD: a coordination language for managing complex, dynamically changing interconnections among sets of independent, concurrent, cooperating processes[1]. MANIFOLD is based on the IWIM model of communication[3] A MANIFOLD application consists of a (potentially very large) number of (light and or heavyweight) processes running on a network of heterogeneous hosts, some of which may be parallel systems. Processes in the same application may be ....

F. Arbab. Coordination of massively concurrent activities. Technical Report CS--R9565, Centrum voor Wiskunde en Informatica, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands, november 1995. Available on-line: http://www.cwi.nl/ftp/CWIreports/IS/CS-R9565.ps.Z.

....improvements were made to the language and the major goals in the implementation of this second version were set to be portability and support for heterogeneous environments. This document describes MANIFOLD version 2. The conceptual model behind MANIFOLD is based on the IWIM model, described in [2] and [3] To our knowledge, presently, MANIFOLD is the only language or system based on the IWIM model. Specifically, the MANIFOLD model is a concrete version of the IWIM model where: 1. Each of the basic concepts of process, event, port, and channel in IWIM corresponds to an explicit language ....

.... Among coordination languages, MANIFOLD is currently unique in that it is (1) a complete language (as opposed to a language extension, like Linda[6] and (2) its underlying model leads to separate pure computation and pure coordination modules, with only weak dependencies on their environment[2, 3]. This significantly enhances the modularity of a MANIFOLD application and leads to increased re usability of both coordination as well as computation modules[7] and makes it an effective tool for restructuring of existing (sequential) software to run on parallel and or distributed platforms[8] ....

[Article contains additional citation context not shown here]

F. Arbab, "Coordination of massively concurrent activities," Tech. Rep. CS--R9565, Centrum voor Wiskunde en Informatica, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands, November 1995. Available on-line http://www.cwi.nl/ftp/CWIreports/IS/CS-R9565.ps.Z.

....2 An informal overview of MANIFOLD This section is a brief informal overview of the MANIFOLD coordination language. MANIFOLD is a control oriented coordination language for managing complex, dynamically changing interconnections among sets of independent, concurrent, cooperating processes [5,3,4,9]. Two major concepts in MANIFOLD are separation of concerns and anonymous communication. Separation of concerns means that computation concerns are isolated from the communication and cooperation concerns. Anonymous com5 munication means that the parties engaged in communication with each other ....

F. Arbab. Coordination of massively concurrent activities. Technical Report CS-R9565, Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands, 1995. Available on-line at http://www.cwi.nl/ftp/CWIreports /IS/CS-R9565.ps.Z.

.... schemes) and control primitives (such as iterators, fixed points, and conditionals) On the other hand, the concept of coordinating a number of activities, such that they can run concurrently in a parallel and distributed fashion, has recently received wide attention [4, 5] The IWIM model [1, 2] (Ideal Worker Ideal Manager) is based on a complete symmetry between and decoupling of producers and consumers, as well as a clear distinction between the computational and the coordination communication work performed by each process. A direct realization of IWIM in terms of a concrete ....

....MANIFOLD [3] to significantly improve the implementation of BALI, and remain closer to its formal model. 3. 1 The Coordination Language MANIFOLD MANIFOLD is a language for managing complex, dynamically changing interconnections among sets of independent, concurrent, cooperative processes [1]. MANIFOLD is based on the IWIM model of communication [2] The basic concepts in the IWIM model (thus also in MANIFOLD) are processes, events, ports, and channels. Its advantages over the Targeted Send Receive model (on which object oriented programming models and tools such as PVM [13] PARMACS ....

[Article contains additional citation context not shown here]

Arbab, F. Coordination of massively concurrent activities. Report CS--R9565, CWI, Amsterdam, The Netherlands, Nov. 1995. Available on-line http://www.cwi.nl/ftp/CWIreports/IS/CSR9565. ps.Z.

....distributed computation, performance measurements. 1 Introduction Some of the shortcomings of the common approaches to the design and development of parallel and distributed applications stem from the fundamental properties of the various models of communication used to construct this software[1, 2]. Without a proper programming paradigm for expressing the coordination of the cooperation of various active components that comprise a single concurrent application, programmers are forced to use low level communication constructs, such as message passing, directly in their code. Because these ....

....maintainability, and reusability of software modules. Moreover, the targeted send primitives used in message passing models of communication strengthen the dependence of individual processes on their environment. This too diminishes the reusability and maintainability of processes[1]. It also complicates debugging and proving correctness of programs because a process that depends on the existence and certain expected valid behavior of some other processes for its own correctness, by itself is not a well encapsulated concept. Coordination languages[3, 4] ameliorate these ....

[Article contains additional citation context not shown here]

F. Arbab. Coordination of massively concurrent activities. Technical Report CS--R9565, Centrum voor Wiskunde en Informatica, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands, November 1995. Available on-line http://www.cwi.nl/ftp/CWIreports/IS/CS-R9565.ps.Z.

No context found.

F. Arbab. Coordination of massively concurrent activities. CWI Report CS-R9565 (1995).

No context found.

Arbab F. (1995); Coordination of Massively Concurrent Activities. CWI Tech. Rep. CS-R9565.

No context found.

Arbab, F. "Coordination of Massively Concurrent Activities", CS-R9565 1995 Computer Science/Department of Interactive Systems, Centrum voor Wiskunde en Informatica, Amsterdam, NL.

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