Optimal broadcasting and gossiping in one-port meshes of trees with distance-insensitive routing☆
Introduction
The meshes of trees [15] have been proposed as an ingenious hybrid of trees and meshes. They have both small diameter and large bisection width. Many problems can be solved on them in polylogarithmic parallel time by algorithms that use mostly local communication patterns. For these algorithms, meshes of trees clearly outperform meshes of the same size. To implement such algorithms, a distance-sensitive switching hardware, such as store-and-forward, is sufficient. Current parallel computers use distance-insensitive switching, such as wormhole [16], which can, of course, mimic local communication patterns. How meshes of trees compare to meshes if algorithms with global communication patterns are considered, has not been studied yet. In this paper, we show that meshes of trees with distance-insensitive switching and with routers with one-port capability and packet combining can execute optimally or asymptotically optimally two basic collective communication operations [5], [6], [16], one-to-all broadcast (OAB) and all-to-all broadcast (AAB). We consider both node-disjoint-path and link-disjoint-path models [3], [7]. Our algorithms work optimally for both square and rectangular meshes of trees.
This result indicates that meshes of trees have outstanding properties even if distance-insensitive switching hardware is used. Hence, it indicates that as general purpose topology, meshes of trees outperform meshes, since they execute faster algorithms with local communication patterns and do not lag behind meshes in execution of algorithms with global communication patterns.
Section snippets
Collective communication operations
In parallel algorithms, several communication patterns are frequently used. Efficient implementations of these operations are needed in parallel programming environment libraries. There are several kinds of basic collective communication operations [5], [6], [16].
Given a connected network G and a designated node s possessing a packet, the task of a OAB in G with the source s is to deliver the packet from s to all other nodes in G, either directly by s or by employing previously informed nodes.
Previous and related work
Broadcasting and gossiping have been widely studied under various communication models, we refer readers to survey papers [5], [6], [10], [16], [18] for further details.
Broadcasting in complete binary trees
For broadcasting, the full-duplex model does not provide any advantage over the half-duplex model [10]. Due to Lemma 1, the OAB in the H1L model is optimally solvable for any graph G. Therefore, we consider the weakest communication model, H1N, in this section. An algorithm for OAB in CBTn in the H1N model with the optimal complexity, i.e., n+2 rounds, can be obtained as the reversal of the AOG algorithm in [4]. Here, we give another algorithm, designed specially as a building block for OAB and
The main results
First we present algorithms for the standard square meshes of trees, MTn,n, and after that, we describe a generalization of these algorithms for the rectangular MTm,n.
Conclusions
We have designed an optimal broadcast algorithm in one-port WH square and rectangular meshes of trees and asymptotically optimal gossip algorithms under the assumptions of combining and both half-duplex and full-duplex models. Our results are summarized in Table 1.
Our results prove that for MTm,n and these collective communication operations, the link-disjoint model does not provide any improvement with respect to the node-disjoint model. They show that the group of networks in which the number
Acknowledgements
This research has been supported by GAČR under grant #102/97/1055 and by CTU under grant #309908003.
References (19)
Optimal algorithms for dissemination of information in generalized communication modes
Discrete Applied Mathematics
(1994)- et al.
Methods and problems of communication in usual networks
Discrete Applied Mathematics
(1994) - et al.
Gossiping in vertex-disjoint paths mode in d-dimensional grids and planar graphs
Information and Computation
(1995) - et al.
Optimal algorithms for broadcast and gossip in the edge-disjoint path modes
Information and Computation
(1997) The relationship between the gossip complexity in vertex-disjoint paths mode and the vertex bisection width
Discrete Applied Mathematics
(1998)New gossips and telephones
Discrete Mathematics
(1975)- et al.
Fast information sharing in a complete network
Discrete Applied Mathematics
(1993) An algorithm of broadcasting in the mesh of trees
- et al.
On the number of rounds necessary to disseminate information
Cited by (3)
Feedback vertex sets in mesh-based networks
2007, Theoretical Computer ScienceOTIS-MOT: An efficient interconnection network for parallel processing
2012, Journal of SupercomputingTighter bounds on feedback vertex sets in mesh-based networks
2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
- ☆
This paper is an extension of paper P. Salinger and P. Tvrdı́k, Optimal broadcasting and gossiping in one-port wormhole meshes of trees, in: Proceedings of the 11th IASTED Int. Conf. on Par. and Distr. Comp. and Systems, Acta Press, USA, 1999, pp. 713–718.