The proceedings contain 22 papers. The topics discussed include: MPI-2: standards beyond the message-passing model;a parallel program execution model supporting modular software construction;performance driven program...
ISBN:
(纸本)0818684275
The proceedings contain 22 papers. The topics discussed include: MPI-2: standards beyond the message-passing model;a parallel program execution model supporting modular software construction;performance driven programmingmodels;parallelprogramming and complexity analysis using actors;the high performance solution of irregular problems;aspects of the compilation of nested parallel imperative languages;massivelyparallel computing in java;market-based massivelyparallel internet computing;variable grain architectures for MPP computation and structured parallelprogramming;and datarol: a parallel machine architecture for fine-grain multithreading.
This paper represents the beginning of a study aimed at devising semantic models for true concurrency that provide clear distinctions between concurrency, paxallelism and choice. We present a simple programming langua...
详细信息
ISBN:
(纸本)3540665366
This paper represents the beginning of a study aimed at devising semantic models for true concurrency that provide clear distinctions between concurrency, paxallelism and choice. We present a simple programming language which includes (weakly) sequential composition, asynchronous and synchronous parallel composition, a restriction operator, and that supports recursion. We develop an operational and a denotational semantics for this language, and we obtain a theorem relating the behavior of a process as described by the transition system to the meaning of the process in the denotational model. This implies that the denotational model is adequate with respect to the operational model. Our denotational model is based on the resource traces of Gastin and Teodesiu, and since a single resource trace represents all possible executions of a concurrent process, we axe able to model each term of our concurrent language by a single trace. Therefore we obtain a deterministic semantics for our language and we axe able to model parallelism without introducing nondeterminism.
In this paper we describe an experiment in which MANIFOLD is used to coordinate the interprocess communication in a parallelized proposition solver. MANIFOLD is very well suited for applications involving dynamic proc...
详细信息
ISBN:
(纸本)354065836X
In this paper we describe an experiment in which MANIFOLD is used to coordinate the interprocess communication in a parallelized proposition solver. MANIFOLD is very well suited for applications involving dynamic process creation and dynamically changing (ir)regular communication patterns among sets of independent concurrent cooperating processes. The idea in this case study is simple. The proposition solver consists of a fixed numbers of separate processing units which communicate with each other such that the output of one serves as the input for the other. Because one of the processing units performs a computation intensive job, we introduce a master/worker protocol to divide its computations. We show that this protocol implemented in MANIFOLD adds another hierarchic layer to the application but leaves the previous layers intact. This modularity of MANIFOLD offers the possibility to introduce concurrency step by step. We also verify the implementation of the proposition solver using a simple family of assertions and give some performance results.
The proceedings contain 32 papers. The special focus in this conference is on Coordinatio Languages and models. The topics include: Coordination and access control of mobile agents;characteristics of an agent scriptin...
ISBN:
(纸本)354065836X
The proceedings contain 32 papers. The special focus in this conference is on Coordinatio Languages and models. The topics include: Coordination and access control of mobile agents;characteristics of an agent scripting language and its execution environment;a coordination model for agents based on secure spaces;coordination with attributes;a specification language for mobile systems;promoting re-usability of coordinated active objects using event notification protocols;pipelining the molecule soup;a semantic theory for an embedded coordination language;coordination of synchronous programs;composing specifications for coordination;on the expressiveness of coordination models;comparing software architectures for coordination languages;a hierarchical model of coordination of concurrent activities;a self-deploying election service for active networks;a simple extension of java language for controllable transparent migration and its portable implementation;coordination among mobile objects;simulation of conference management using an event-driven coordination language;internet-based coordination environments and document-based applications;coordination of a parallel proposition solver;composition language for autonomous megamodules;modeling resources for activity coordination and scheduling and static analysis of real-time component-based systems configurations.
This paper argues for the development of more general and user-friendly parallelprogrammingmodels, independent of hardware structures and concurrency concepts of operating systems theory, leading to portable program...
详细信息
ISBN:
(纸本)0818684275
This paper argues for the development of more general and user-friendly parallelprogrammingmodels, independent of hardware structures and concurrency concepts of operating systems theory, leading to portable programs and easy to use languages. It then presents the BaLinda model, based on last in/first out threads that interact via a shared tuplespace, and argues that it is simple enough to be both general and easy to use. It also discusses the idea of using function-based objects as the basic unit of parallel execution and the hierarchical structure to partition tuplespaces.
The paper discusses the relationships between hierarchically composite MPP architectures and the software technology derived from the structured parallelprogramming methodology, in particular the architectural suppor...
详细信息
ISBN:
(纸本)0818684275
The paper discusses the relationships between hierarchically composite MPP architectures and the software technology derived from the structured parallelprogramming methodology, in particular the architectural support to successive modular refinements of parallel applications, and the architectural support to the parallelprogramming paradigms and their combinations. The structured parallelprogramming methodology referred here is an application of the Skeletons model. The considered hierarchically composite architectures are MPP machine models for PetaFlops computing, composed of proper combinations of current architectural models of different granularities, where the Processors-In-Memory model is adopted at the finest granularity level. The methodologies are discussed with reference to the current PQE2000 Project on MPP general purpose systems.
Although Java was not specifically designed for the computationally intensive numeric applications that are the typical fodder of highly parallel machines, its widespread popularity and portability make it an interest...
详细信息
ISBN:
(纸本)0818684275
Although Java was not specifically designed for the computationally intensive numeric applications that are the typical fodder of highly parallel machines, its widespread popularity and portability make it an interesting candidate vehicle for massivelyparallelprogramming. With the advent of high-performance optimizing Java compilers, the open question is: How can Java programs best exploit massive parallelism? The authors have been contemplating this question vie! libraries of Java-routines for specifying and coordinating parallel codes. A would be most desirable to have these routines written in 100%-Pure Java;however, a more expedient solution is to provide Java wrappers (stubs) to existing parallel coordination libraries, such as MPI. MPI is an attractive alternative, as like Java, it is portable. We discuss both approaches here. In undertaking this study, we have also identified some minor modifications of the current language specification that would make 100%-Pure Java parallelprogramming more natural.
This paper is concerned with the use of massivelyparallel Processing (MPP) systems by industry and commerce. In this context, it is argued that the definition of MPP should be extended to include LAN/WAN clusters or ...
详细信息
ISBN:
(纸本)0818684275
This paper is concerned with the use of massivelyparallel Processing (MPP) systems by industry and commerce. In this context, it is argued that the definition of MPP should be extended to include LAN/WAN clusters or 'meta-computers'. The frontier for research for industry has moved on from mere parallel implementations of scientific simulations or commercial databases - rather, it is concerned with the problem of integrating computational and informational resources in a seamless and effective manner. Examples taken from recent research projects at the parallel Applications Centre (PAC) are used to illustrate these points.
We study the use of well-defined building blocks for SPMD programming of machines with distributed memory. Our general framework is based on homomorphisms, functions that capture the idea of data-parallelism and have ...
ISBN:
(纸本)0818684275
We study the use of well-defined building blocks for SPMD programming of machines with distributed memory. Our general framework is based on homomorphisms, functions that capture the idea of data-parallelism and have a close correspondence with collective operations of the MPI standard, e.g., scan and reduction. We prove two composition rules: under certain conditions, a composition of a scan and a reduction can be transformed into one reduction, and a composition of two scans into one scan. As an example of decomposition, we transform a segmented reduction into a composition of partial reduction and all-gather The performance gain and overhead of the proposed composition and decomposition rules are assessed analytically for the hypercube and compared with the estimates for some other parallelmodels.
暂无评论