Pipelined decomposable BSP computers
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Volume 36 (2002) no. 1, p. 43-65

The class of weak parallel machines is interesting, because it contains some realistic parallel machine models, especially suitable for pipelined computations. We prove that a modification of the bulk synchronous parallel (BSP) machine model, called decomposable BSP (dBSP), belongs to the class of weak parallel machines if restricted properly. We will also correct some earlier results about pipelined parallel Turing machines.

DOI : https://doi.org/10.1051/ita:2002004
Classification:  68Q05,  68Q10
Keywords: BSP, complexity theory, models of compuation, parallel computing, pipelining
     author = {Beran, Martin},
     title = {Pipelined decomposable BSP computers},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     publisher = {EDP-Sciences},
     volume = {36},
     number = {1},
     year = {2002},
     pages = {43-65},
     doi = {10.1051/ita:2002004},
     zbl = {1013.68087},
     mrnumber = {1928158},
     language = {en},
     url = {http://www.numdam.org/item/ITA_2002__36_1_43_0}
Beran, Martin. Pipelined decomposable BSP computers. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Volume 36 (2002) no. 1, pp. 43-65. doi : 10.1051/ita:2002004. http://www.numdam.org/item/ITA_2002__36_1_43_0/

[1] M. Beran, Decomposable bulk synchronous parallel computers, in Proc. of SOFSEM '99. Springer-Verlag, Lecture Notes in Comput. Sci. 1725 (1999) 349-359. http://www.ms.mff.cuni.cz/~beran/publications.html | Zbl 0964.68063

[2] M. Beran, Formalizing, analyzing, and extending the model of bulk synchronous parallel computer, Technical Report V-829. Institute of Computer Science, Academy of Sciences of the Czech Republic (2000). http://www.cs.cas.cz/research/library/reports_800.shtml

[3] O. Bonorden, B. Juurlink, I. Von Otte and I. Rieping, The Paderborn University BSP (PUB) library - design, implementation and performance, in Proc. of 13th International Parallel Processing Symposium & 10th Symposium on Parallel and Distributed Processing (IPPS/SPDP). San Juan, Puerto Rico (1999). http://www.uni-paderborn.de/~pub/

[4] P. Van Emde Boas, Machine models and simulations, edited by J. van Leeuwen. Elsevier Science Publishers, Amsterdam, Handb. Theoret. Comput. Sci. A (1990) 1-66. | MR 1127167 | Zbl 0900.68265

[5] P. Van Emde Boas, The second machine class, model of parallelism, edited by J. van Leeuwen, J.K. Lenstra and A.H.G. Rinnooy Kan. Centre for Mathematics and Computer Science, Amsterdam, Parallel Computers and Computations, CWI Syllabus 9 (1985) 133-161. | MR 834183

[6] A.V. Gerbessiotis and C.J. Siniolakis, Primitive operations on the BSP model, Technical Report PRG-TR-23-96. Oxford University Computing Laboratory, Oxford (1996).

[7] A.V. Gerbessiotis and L.G. Valiant, Direct bulk-synchronous parallel algorithms. J. Parallel Distributed Comput. 22 (1994) 251-267.

[8] D.Q. Goldin, S.A. Smolka and P. Wegner, Turing machines, transition systems, and interaction (submitted). http://www.cs.umb.edu/~dqg/papers/mfcs.ps

[9] J.M.D. Hill, W. Mccoll, D.C. Stefanescu, M.W. Goudreau, K. Lang, S.B. Rao, T. Suel, T. Tsantilas and R. Bisseling, BSPlib: The BSP programming library. BSPlib reference manual with ANSI C examples (1998). http://www.bsp-worldwide.org/implmnts/oxtool/

[10] B.H.H. Juurlink and H.A.G. Wijshoff, Communication primitives for BSP computers. Inform. Process. Lett. 58 (1996) 303-310. | MR 1401188 | Zbl 1023.68878

[11] R.M. Karp and V. Ramachandran, Parallel algorithms for shared-memory machines, edited by J. van Leeuwen. Elsevier Science Publishers, Amsterdam, Handb. Theoret. Comput. Sci. A (1990) 869-941. | MR 1127183 | Zbl 0900.68267

[12] J. Van Leeuwen and J. Wiedermann, The Turing machine paradigm in contemporary computing, edited by B. Enquist and W. Schmidt. Springer-Verlag, Mathematics Unlimited - 2001 and Beyond (2001) 1139-1155. | MR 1852208 | Zbl 1012.68068

[13] W.F. Mccoll, Bulk synchronous parallel computing, edited by J.R. Davy and P.M. Dew. Oxford University Press, Abstract Machine Models for Highly Parallel Computers (1995) 41-63. | MR 1385672

[14] C. Slot and P. Van Emde Boas, On tape versus core; an application of space efficient perfect hash function to the invariance of space, in Proc. of STOC'84. Washington D.C. (1984) 391-400.

[15] L.G. Valiant, A bridging model for parallel computation. Comm. ACM 33 (1990) 103-111.

[16] P. Wegner, Models and paradigms of interaction. OOPSLA Tutorial Notes (1995).

[17] J. Wiedermann, Weak parallel machines: A new class of physically feasible parallel machine models, in Mathematical Foundations of Computer Science 1992, 17th Int. Symposium (MFCS'92), edited by I.M. Havel and V. Koubek. Springer-Verlag, Berlin, Lecture Notes in Comput. Sci. 629 (1992) 95-111.