Dynamic Load Balancing in a Lightweight Adaptive Parallel Multigrid PDE Solver

A parallel version of an adaptive multigrid solver for partial diierential equations is considered. The main emphasis is put on the load balancing algorithm to distribute the adaptive grids at runtime. The background and some applications of space-lling curves are discussed, which are later on used as the basic principle of the load-balancing heuristic. A tight integration of space-lling curves as a memory addressing scheme into the numerical algorithm is proposed. Some experiments on a cluster of PCs demonstrates the parallel eeciency and scalability of the approach. 1 An adaptive multigrid solver Our goal is to solve a partial diierential equation as fast as possible. We consider a multigrid solver, adaptive grid reenement and their eecient parallelization. We have to develop a parallel multigrid code that is almost identical to the sequential implementation. The computational workload has to be distributed into similar sized partitions and, at the same time, the communication between the processors has to be small. The underlying computer model takes into account the local processor execution time and the communication time. The rst term is proportional to the number of operations and the second one depends on the amount of data to be transferred between processors. The PDE is discretized by nite diierences. We set up the operator as a set of diierence stencils from one node to its neighboring nodes in the grid, which can be easily determined: Given a node, its neighbors can be only on a limited number of level, or one level up or down. The distance to the neighbor is determined by the level they share. So pure geometric information is suucient to apply the nite diierence operator to some vector. We avoid the storage of the stiiness matrix or any related information. For the iterative solution of the equation system, we have to implement matrix multiplication, which is to apply the operator to a given vector. A loop over all nodes in the hash table is required for this purpose. We take a strictly node-based approach. The nodes are stored in a hash table. Each interior node represents one unknown. Neither elements nor edges are stored. We use a one-irregular grid with`hanging' nodes whose values are determined by interpolation. This is equivalent to the property that there is at most onèhanging' node per edge. The one-irregular condition is a kind of a geometric smoothness condition for the adaptive grid. Additionally we …

[1]  J. Pasciak,et al.  Parallel multilevel preconditioners , 1990 .

[2]  Rolf Niedermeier,et al.  On Multi-dimensional Hilbert Indexings , 1998, COCOON.

[3]  Alex Pothen,et al.  Graph Partitioning Algorithms with Applications to Scientific Computing , 1997 .

[4]  James C. Browne,et al.  On partitioning dynamic adaptive grid hierarchies , 1996, Proceedings of HICSS-29: 29th Hawaii International Conference on System Sciences.

[5]  Shahid H. Bokhari,et al.  A Partitioning Strategy for Nonuniform Problems on Multiprocessors , 1987, IEEE Transactions on Computers.

[6]  Michael S. Warren,et al.  A portable parallel particle program , 1995 .

[7]  Peter Bastian Load Balancing for Adaptive Multigrid Methods , 1998, SIAM J. Sci. Comput..

[8]  Michael Griebel,et al.  Hash-Storage Techniques for Adaptive Multilevel Solvers and Their Domain Decomposition Parallelizati , 1998 .

[9]  On the Space lling Curve Heuristic for the Euclidean Traveling Salesman Problem , 1910 .

[10]  Yusheng Feng,et al.  Domain Decomposition for Adaptive hp Finite Element Methods , 1994 .

[11]  M. Cardew-Hall,et al.  A Key Based Parallel Adaptive Refinement Technique for Finite Element Methods , 1998 .

[12]  Mark T. Jones,et al.  Parallel Algorithms for Adaptive Mesh Refinement , 1997, SIAM J. Sci. Comput..

[13]  Desh Ranjan,et al.  Space-Filling Curves and Their Use in the Design of Geometric Data Structures , 1997, Theor. Comput. Sci..

[14]  Roger Wattenhofer,et al.  Space Filling Curves versus Random Walks , 1996, Algorithmic Foundations of Geographic Information Systems.

[15]  Craig C. Douglas,et al.  Caching in with Multigrid Algorithms: Problems in Two Dimensions , 1996, Parallel Algorithms Appl..

[16]  Curt Jones,et al.  Finding Good Approximate Vertex and Edge Partitions is NP-Hard , 1992, Inf. Process. Lett..

[17]  Michael S. Warren,et al.  Fast Parallel Tree Codes for Gravitational and Fluid Dynamical N-Body Problems , 1994, Int. J. High Perform. Comput. Appl..

[18]  D. Voorhies SPACE-FILLING CURVES AND A MEASURE OF COHERENCE , 1991 .

[19]  A. Perez,et al.  Peano scanning of arbitrary size images , 1992, Proceedings., 11th IAPR International Conference on Pattern Recognition. Vol. III. Conference C: Image, Speech and Signal Analysis,.

[20]  William F. Mitchell,et al.  A PARALLEL MULTIGRID METHOD USING THE FULL DOMAIN PARTITION , 1997 .

[21]  Klaus Birken,et al.  A dynamic data model for parallel adaptive PDE solvers , 1995, HPCN Europe.

[22]  D. Hilbert Über die stetige Abbildung einer Linie auf ein Flächenstück , 1935 .

[23]  Francis Sullivan,et al.  Interleave in peace, or interleave in pieces , 1998 .

[24]  Johan De Keyser,et al.  Partitioning and mapping adaptive multigrid hierarchies on distributed memory computers , 1992 .

[25]  D. Nicol,et al.  Parametric binary dissection , 1993 .