1st IEEE Computer Society International Workshop on Cluster Computing
Formal Specification of Virtual Process Topologies
Melbourne, Australia
December 02-December 03
ISBN: 0-7695-0343-8
A lack of adequate and flexible topology support in the popular message passing systems such as Parallel Virtual Machine was a major factor in the development of our Virtual Process Topology Environment. This parallel programming environment provides high level abstractions for inter-process communication, relieving the application developer of the cumbersome task of mapping logical neighbors to their task identifiers within message passing systems. The novel approach of separating topological specification from the APIs provided extreme flexibility to the developers of the applications using regular topologies. We believed that the task of supporting process topologies could be made even easier and, in this paper, present our new method which uses recurrence relations to define topologies. Within the new environment, the recurrence relationships can be passed to the topology server, which then is used in the generation of the topological specification.
Index Terms:
PVM, MPI, Parallel and Distributed Processing, Virtual Process Topologies, Topology Visualisation Tools
Citation:
Kamran Kazemi, Chris McDonald, "Formal Specification of Virtual Process Topologies," iwcc, pp.169, 1st IEEE Computer Society International Workshop on Cluster Computing, 1999