MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  STAR/MPI: Binding a Parallel Library to Interactive Symbolic Algebra Systems (1995) [19 citations — 10 self]

Download:
pdf | ps
by Gene Cooperman
Proc. of International Symposium on Symbolic and Algebraic Computation (ISSAC '95), ACM
http://www.ccs.neu.edu/home/gene/papers/issac95a.ps.gz
Add To MetaCart

Abstract:

Many users of symbolic algebra systems have felt the need for greater CPU power. Yet few of them have ventured into parallel programming due to the steep learning curve and the unfamiliar programming environment entailed by such an eort. In an attempt to remedy that situation, the parallel library MPI has been integrated into both GCL (GNU Common LISP) and GAP [14] (a general purpose language for mathematical group theory). These implementations are examples that extend bindings of MPI to interactive languages. (MPI already has bindings to the compiled languages C and FORTRAN.) Further, this binding to an interactive language retains the interactive environment during execution. Further, STAR/MPI represents a blueprint for binding MPI to other interactive languages besides GCL and GAP, from which comes the name STAR/MPI, or /MPI. STAR/MPI includes a simple SPMD architecture on top of this MPI binding. An important class of sequential algorithms is described that can be parallelized with little eort using STAR/MPI architecture. Since GAP is representative of systems for discrete mathematics and LISP is the basis for several symbolic algebra systems with strengths in nondiscrete mathematics, it is hoped to gain broad feedback on the issues involved. Although vendor-specic, interactive, parallel languages exist, this appears to be the rst attempt at dening a binding of a vendor-independent, portable, parallel library to arbitrary interactive languages.

Citations

926 Active Messages: A mechanism for integrated communication and computation – Eicken, Culler, et al. - 1992
738 A machine-oriented logic based on the resolution principle – Robinson - 1965
535 V.: PVM: Parallel Virtual Machine: A User's Guide and Tutorial for Networked Parallelism – Geist, Beguelin, et al. - 1994
357 Multilisp: A language for concurrent symbolic computation – Halstead - 1985
158 A.: Using MPI – Gropp, Lusk, et al. - 1994
110 Monitors, Message, and Clusters: The p4 Parallel Programming System – Butler, Lusk - 1994
102 Compositional parallel programming – Chandy, Kesselman - 1992
74 Computations with Finitely Presented Groups – Sims - 1994
35 CAS/PI: a Portable and Extensible Interface for Computer Algebra Systems – Kajler - 1992
34 Computation with permutation groups – Sims - 1971
23 MP: A protocol for the efficient exchange of mathematical expressions – Gray, Kajler, et al. - 1994
13 Computation with presented groups – Sims - 1994
12 DSC: A System for Distributed Symbolic Computation – Diaz, Kaltofen, et al. - 1991
2 software at info.mcs.anl.gov in /pub/mpi/mpich-Jul22.tar.gZ, anonymous ftp – Doss, Gropp, et al.
1 MP: A protocol for ecient exchange of mathematical expressions – Gray, Kajler, et al. - 1994