This Article 
 Bibliographic References 
 Add to: 
Concurrent Processing of Linearly Ordered Data Structures on Hypercube Multicomputers
September 1994 (vol. 5 no. 9)
pp. 898-911

The paper presents a simple and effective method for the concurrent manipulation oflinearly ordered data structures on hypercube systems. The method Is based on theexistence of an augmented binomial search tree, called the pruned binomial tree, rootedat any arbitrary processor node of the hypercube such that; every edge of the treecorresponds to a direct link between a pair of hypercube nodes; and the tree spans anyarbitrary sequence of n consecutive nodes containing the root, using a fanout of at most[log/sub 2/ n] and a depth of at most [log/sub 2/ n]+1. Search trees spanningnonoverlapping processor lists are formed using only local information, and can be usedconcurrently without contention problems. Thus, they can be used for performingoperations such as broadcast and merge simultaneously on sets with nonuniform sizes.Extensions of the tree to k-ary n-cubes and faulty hypercubes are presented.Applications of this concurrent data structure to low- and intermediate-level imageprocessing algorithms, and for dictionary operations involving multiple keys, are alsooutlined.

[1] M. J. Atallah, R. Cole, and M. Goodrich, "Cascading divide-and-conquer,"SIAM J. Computing, vol. 18, pp. 499-532, June 1989.
[2] A. Aho, J. Hopcroft, and J. Ullman,Data Structures and Algorithms. Reading, MA: Addison-Wesley, 1983.
[3] H. Asar, N. Nandhakumar, and J. K. Aggarwal, "Pyramid-based image segmentation using multi-sensor data," Tech. Rep., Comput. and Vision Res. Center, Univ. of Texas, Austin, TX, USA, 1989.
[4] J. Bruck, R. Cypher, and D. Soroker, "Tolerating faults in hypercubes using subcube partitioning,"IEEE Trans. Comput., vol. 41, pp. 599-605, 1992.
[5] L. N. Bhuyan and D. P. Agrawal, "Generalized hypercube and hyperbus structures for a computer network,"IEEE Trans. Comput., vol. C-33, no. 4, pp. 323-333, Apr. 1984.
[6] L. S. Barasch, S. Lakshmivarahan, and S. K. Dhall, "Generalized Gray codes and their properties, inMathematics for Large Scale Computing, in J. C. Diaz, Ed.,Lecture Notes in Pure and Applied Mathematics, vol. 120. New York: Marcel Dekker, 1989.
[7] B. Becker and H. U. Simon, "How robust is then-cube?,"Inform. Computat., vol. 77, pp. 162-178, 1988.
[8] G. Blelloch, "Scans as primitive parallel operations,"IEEE Trans. Comput., vol. 38, pp. 1526-1537, Nov. 1989.
[9] L. S. Barasch, S. Lakshmivarahan, and S. K. Dhall, "Generalized Gray codes and their properties," inProc. 3rd Int. Conf. Supercomputing, Vol. III, 1988, pp. 331-337.
[10] R. Chowkwanyun and K. Hwang, "Multicomputer architectural support and load balancing functions for concurrent lisp execution," in K. Hwang and D. DeGroot, Eds.,Parallel Processing for Supercomputers and Artificial Intelligence. New York: McGraw-Hill, 1989.
[11] M. C. Chen, A. L. Krainin, and J. J. Rodrigues, "Supporting sets and arrays on massively parallel architectures," inProc. 4th Conf. Hypercubes, Concurrent Comput., and Applic., vol. 1, 1989, pp. 47-54.
[12] W. J. Dally,A VLSI Architecture for Concurrent Data Structures. Boston, MA: Kluwer Academic, 1987, pp. 144-161.
[13] W. J. Dally, "Performance analysis ofk-aryn-cube interconnection networks,"IEEE Trans. Comput., vol. 39, pp. 775-785, June 1990.
[14] Z. Dobes, D. Kumar, and R. Miller, "Distributed data structures on medium-grained hypercubes," inProc. 4th Conf. Hypercubes, Concurrent Comput., and Applic., vol. 1, 1989, pp. 55-58.
[15] F. Dehne and A. Rau-Chaplin, "Implementing data structures on a hypercube multiprocessor, and applications in parallel computational geometry,"J. Parallel Distrib. Computing, vol. 8, pp. 367-375, Apr. 1990.
[16] D. Dolev, J. Halpern, B. Simons, and R. Strong, "A new look at fault-tolerant network routing," inProc. 16th Ann. Symp. Theory of Computing, 1984, pp. 526-535.
[17] G. C. Fox and W. Furamanski, "Optimal communication algorithms for regular-decompositions on the hypercube," inProc. 3rd Conf. on Hypercubes, Concurrent Comput., and Applic., vol. 1, 1988, pp. 648-713.
[18] R. Ford, M. J. Jipping, R. Schultz, and B. Wenhardt, "On the performance of concurrent tree algorithms,"J. Parallel Distrib. Computing, vol. 8, pp. 253-266, Mar. 1990.
[19] J. Ghosh and S. Deshpande, "Linearly ordered concurrent data structures on hypercube multicomputers," inProc. 4th Conf. Hypercubes, Concurrent Computers, and Applications, vol. 1, 1989, pp. 317-320.
[20] W. I. Grosky and R. Jain, "A pyramid-based approach to segmentation applied to region matching,"IEEE Trans. Patt. Anal. Mach. Intell., vol. 8, pp. 639-650, 1986.
[21] S. L. Johnsson and C.-T. Ho, "Spanning graphs for optimum broadcasting and personalized communication in hypercubes,"IEEE Trans. Comput., vol. 38, pp. 1249-1268, Sept. 1989.
[22] S. L. Johnsson, "Communication efficient basic linear algebra computations on hypercube architectures,"J. Parallel Distributed Comput., pp. 133-172, 1987.
[23] S. L. Johnsson, "Communication in network architectures," in R. Suaya and G. Birtwistle, Eds.,VLSI and Parallel Computation. San Mateo, CA: Morgan Kaufmannm, 1990, pp. 223-389.
[24] H. P. Katseff, "Incomplete hypercubes,"IEEE Trans. Comput., vol. 37, pp. 604-608, May 1988.
[25] C. E. Leiserson and C. M. Maggs, "Communication-efficient graph algorithms," inInt. Conf. Parallel Processing, 1986, pp. 861-868.
[26] F. T. Leighton,Introduction to Parallel Algorithms and Architectures: Arrays, Trees, and Hypercubes. Palo Alto, CA: Morgan Kaufmann, 1992.
[27] Z. Mu and M. C. Chen, "Communication-efficient distributed data structures on hypercube machines," inProc. 2nd Conf. Hypercube Concurrent Comput., 1987, pp. 67-77.
[28] D. Nassimi and S. Sahni, "Data broadcasting in SIMD computers,"IEEE Trans. Comput., vol. C-30, no. 2, pp. 101-106, 1981.
[29] A. R. Omondi and J. D. Brock, "Implementing a dictionary on hypercube machines," inInt. Conf. Parallel Processing, 1987, pp. 707-709.
[30] T. A. Ottomann, A. L. Rosenberg, and L. J. Stockmeyer, "A dictionary machine (for VLSI),"IEEE Trans. Comput., vol. C-31, no. 9, pp. 892-897, 1982.
[31] S. Ranka and S. Sahni, "Hypercube algorithms for image transformations," inProc. Int. Conf. Parallel Processing, vol. III, 1989, pp. 24-31.
[32] P. Ramanathan and K. G. Shin, "Reliable broadcasting in hypercube multicomputers,"IEEE Trans. Comput., vol. 32, pp. 1654-1657, Dec. 1988.
[33] C. S. Raghavendra and M. A. Sridhar, "Broadcasting algorithms in faulty SIMD hypercubes," inProc. 4th IEEE Symp. Parallel Distrib. Processing, 1992, pp. 4-11.
[34] E. M. Reingold, J. Nievergelt, and N. Deo,Combinatorial Algorithms: Theory and Practice. Englewood Cliffs, NJ: Prentice-Hall, 1977, pp. 173-179.
[35] C.S. Raghavendra, P.-J. Yang, and S.-B. Tien, "Free Dimensions--An Effective Approach to Achieving Fault Tolerance in Hypercubes,"Proc Int'l Symp. Fault-Tolerant Computing, CS Press, 1992, pp. 170-177.
[36] Y. Saad and M. H. Scultz, "Topological properties of hypercubes," Res. Rep. 389, Dept. of Comput. Sci., Yale Univ., June 1985.
[37] J. M. Sipelstein and G. E. Blelloch, "Collection-oriented languages,'"Proc. IEEE, vol. 79, pp. 504-523, Apr. 1991.
[38] H. Samet and A. Rosenfeld, "Quadtree structures for region processing," inProc. IJCPR-80, 1980, pp. 36-41.
[39] J.-Y. Tien, C.-T. Ho, and W.-P. Yang, "Broadcasting on incomplete hypercubes," inProc. 3rd IEEE Int. Symp. Parallel Distrib. Processing, 1991, pp. 826-833.
[40] S. B. Tien and C. S. Raghavendra, "Algorithms and bounds for shortest path and diameter problems in faulty hypercubes,"Proc. 28th Allerton Conf. Commun., Control and Computing, 1990.
[41] A. S. Wagner, "Embedding arbitrary binary trees in a hypercube,"J. Parallel Distrib. Computing, vol. 7, pp. 503-520, Dec. 1989.
[42] A. S. Wagner, "Embedding all binary trees in the hypercube,"Proc. 3rd IEEE Symp. Parallel Distrib. Processing, 1991, pp. 104-111.
[43] A. Y. Wu, "Embedding of tree networks in hypercubes,"J. Parallel Distrib. Computing, vol. 2, pp. 238-249, 1985.
[44] C. K. Yuen, "The separability of Gray code,"IEEE Trans. Inform. Theory, vol. 20, p. 668, 1974.

Index Terms:
Index Termstree data structures; trees (mathematics); search problems; hypercube networks;parallel algorithms; parallel programming; distributed memory systems; concurrentprocessing; linearly ordered data structures; hypercube multicomputers; concurrentmanipulation; hypercube systems; augmented binomial search tree; pruned binomial tree;arbitrary processor node; consecutive nodes; fanout; search trees; nonoverlappingprocessor lists; local information; broadcast; merge; k-ary n-cubes; intermediate-levelimage processing algorithms; dictionary operations; low-level image processingalgorithms; concurrent data structure; Gray code embedding; distributed memorymulticomputers
J. Ghosh, S.K. Das, A. John, "Concurrent Processing of Linearly Ordered Data Structures on Hypercube Multicomputers," IEEE Transactions on Parallel and Distributed Systems, vol. 5, no. 9, pp. 898-911, Sept. 1994, doi:10.1109/71.308529
Usage of this product signifies your acceptance of the Terms of Use.