loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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
Kamran Kazemi, University of Western Australia
Chris McDonald, University of Western Australia
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
Usage of this product signifies your acceptance of the Terms of Use.