Bulk synchronous parallel computing-a paradigm for transportable software

A necessary condition for the establishment, on a substantial basis, of a parallel software industry would appear to be the availability of technology for generating transportable software, i.e. architecture independent software which delivers scalable performance for a wide variety of applications on a wide range of multiprocessor computers. This paper describes H-BSP-a general purpose parallel computing environment for developing transportable algorithms. H-BSP is based on the Bulk Synchronous Parallel Model (BSP), in which a computation involves a number of supersteps, each having several parallel computational threads that synchronize at the end of the superstep. The BSP Model deals explicitly with the notion of communication among computational threads and introduces parameters g and L that quantify the ratio of communication throughput to computation throughput, and the synchronization period, respectively. These two parameters, together with the number of processors and the problem size, are used to quantify the performance and, therefore, the transportability of given classes of algorithms across machines having different values for these parameters. This paper describes the role of unbundled compiler technology in facilitating the development of such a parallel computer environment.<<ETX>>

[1]  H. T. Kung,et al.  I/O complexity: The red-blue pebble game , 1981, STOC '81.

[2]  Z. Galil,et al.  An Efficient General-Purpose Parallel Computer , 1983, JACM.

[3]  Alok Aggarwal,et al.  Communication Complexity of PRAMs , 1990, Theor. Comput. Sci..

[4]  Leslie G. Valiant,et al.  A bridging model for parallel computation , 1990, CACM.

[5]  Monica S. Lam,et al.  A data locality optimizing algorithm , 1991, PLDI '91.

[6]  Ken Kennedy,et al.  Compiling Fortran D for MIMD distributed-memory machines , 1992, CACM.

[7]  Leslie G. Valiant,et al.  A Combining Mechanism for Parallel Computers , 1992, Heinz Nixdorf Symposium.

[8]  Monica S. Lam,et al.  Communication optimization and code generation for distributed memory machines , 1993, PLDI '93.

[9]  W. F. McColl,et al.  General purpose parallel computing , 1993 .

[10]  A. L. Rosenberg,et al.  Parallel Architectures and Their Efficient Use , 1993, Lecture Notes in Computer Science.

[11]  Leslie G. Valiant,et al.  Why BSP Computers , 1993 .

[12]  Leslie G. Valiant,et al.  Why BSP computers? (bulk-synchronous parallel computers) , 1993, [1993] Proceedings Seventh International Parallel Processing Symposium.

[13]  Michael Philippsen,et al.  Synchronization barrier elimination in synchronous FORALLs , 1993 .

[14]  Thomas E. Cheatham,et al.  A Suite of Analysis Tools Based on a General Purpose Abstract Interpreter , 1994, CC.

[15]  Thomas E. Cheatham,et al.  A compiler for BSP-L, a programming language for the Bulk Synchronous Parallel model , 1994, Proceedings of TENCON'94 - 1994 IEEE Region 10's 9th Annual International Conference on: 'Frontiers of Computer Technology'.

[16]  Thomas Cheatham Models, Languages, and Compiler Technology for High Performance Computers , 1994, MFCS.

[17]  Anoop Gupta,et al.  Modeling communication in parallel algorithms: a fruitful interaction between theory and systems? , 1994, SPAA '94.

[18]  William F. McColl,et al.  Scalable Parallel Computing: A Grand Unified Theory and its Practical Development , 1994, IFIP Congress.

[19]  Thomas E. Cheatham,et al.  H-BSP - A General Purpose Parallel Computing Environment , 1994, IFIP Congress.

[20]  Thomas E. Cheatham,et al.  Supporting multiple evolving compilers , 1994, SEKE.

[21]  Leslie G. Valiant,et al.  Direct Bulk-Synchronous Parallel Algorithms , 1994, J. Parallel Distributed Comput..

[22]  Dan C. Stefanescu,et al.  An equational framework for the flow analysis of higher order functional programs , 1994, LFP '94.

[23]  M. Lynn Hawaii International Conference on System Sciences , 1996 .

[24]  William F. McColl,et al.  Scalability, portability and predictability: The BSP approach to parallel programming , 1996, Future Gener. Comput. Syst..

[25]  Henk Sol,et al.  Proceedings of the 54th Hawaii International Conference on System Sciences , 1997, HICSS 2015.