Abstract
This paper introduces the design of SymGrid, a new Grid framework that will, for the first time, allow multiple invocations of symbolic computing applications to interact via the Grid. SymGrid is designed to support the specific needs of symbolic computation, including computational steering (greater interactivity), complex data structures, and domain-specific computational patterns (for irregular parallelism). A key issue is heterogeneity: SymGrid is designed to orchestrate components from different symbolic systems into a single coherent (possibly parallel) Grid application, building on the OpenMath standard for data exchange between mathematically-oriented applications. The work is being developed as part of a major EU infrastructure project.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Dean, J.: Experiences with MapReduce, an abstraction for large-scale computation. In: Proc. PACT 2006 – Intl. Conf. on Parallel Architectures and Compilation Techniques, p. 1 (2006)
Dean, J., Ghemawat, S.: MapReduce: Simplified data processing on large clusters. In: Proc. OSDI 2004 – Sixth Symp. on Operating System Design and Implementation, pp. 137–150 (2004)
Char, B.W., et al.: Maple V Language Reference Manual. Maple Publishing, Waterloo, Canada (1991)
Group, T.G.: Gap – groups, algorithms, and programming, version 4.2 St Andrews (2000), http://www.gap-system.org/gap
Daberkow, M., Fieker, C., Klüners, J., Pohst, M., Roegner, K., Schörnig, M., Wildanger, K.: Kant v4. J. Symb. Comput. 24(3/4), 267–283 (1997)
Morisse, K., Kemper, A.: The Computer Algebra System MuPAD. Euromath Bulletin 1(2), 95–102 (1994)
Al Zain, A., Trinder, P., Loidl, H.W., Michaelson, G.: Managing Heterogeneity in a Grid Parallel Haskell. J. Scalable Comp.: Practice and Experience 6(4) (2006)
Cooperman, G.: STAR/MPI: Binding a parallel library to interactive symbolic algebra systems. In: ISSAC 1995. Proc. Intl. Symp. on Symbolic and Algebraic Computation. Lecture Notes in Control and Information Sciences, vol. 249, pp. 126–132. ACM Press, New York (1995)
Cooperman, G.: GAP/MPI: Facilitating parallelism. In: Proc. DIMACS Workshop on Groups and Computation II. DIMACS Series in Discrete Maths. and Theoretical Comp. Sci., vol. 28, pp. 69–84. AMS, Providence, RI (1997)
Petcu, D., Paprycki, M., Dubu, D.: Design and Implementation of a Grid Extension of Maple. Scientific Programming 13(2), 137–149 (2005)
The OpenMath Format (2007), http://www.openmath.org/
Cole, M.I.: Algorithmic Skeletons. In: Hammond, K., Michaelson, G. (eds.) Research Directions in Parallel Functional Programming; ch.13, pp. 289–304. Springer, Heidelberg (1999)
Alt, M., Dünnweber, J., Müller, J., Gorlatch, S.: HOCs: Higher-Order Components for grids. In: Getov, T., Kielmann, T. (eds.) Components Models and Systems for Grid Applications. CoreGRID, pp. 157–166 (2004)
Cole, M.: Algorithmic Skeletons: Structured Management of Parallel Computation. The MIT Press, Cambridge (1989)
Cooperman, G.: Parallel GAP: Mature interactive parallel. Groups and computation, III (Columbus, OH, 1999) de Gruyter, Berlin (2001)
Roch, L., Villard, G.: Parallel computer algebra. In: ISSAC 1997, IMAG Grenoble, France (1997) (Preprint)
Amrheim, B., Gloor, O., Küchlin, W.: A case study of multithreaded Gröbner basis completion. In: In Proc. of ISSAC 1996, pp. 95–102. ACM Press, New York (1996)
Bündgen, R., Göbel, M., Küchlin, W.: Multi-threaded AC term re-writing. In: Proc. PASCO 1994, vol. 5, pp. 84–93. World Scientific, Singapore (1994)
Michler, G.O.: High performance computations in group representation theory. Institut fur Experimentelle Mathematik, Univerisitat GH Essen (1998) ( Preprint)
Bernardin, L.: Maple on a massively parallel, distributed memory machine. In: Proc. PASCO 1997, pp. 217–222. ACM Press, New York (1997)
Char, B.: A user’s guide to Sugarbush — Parallel Maple through Linda. Technical report, Drexel University, Dept. of Mathematics and Comp. Sci. (1994)
Chan, K., Díaz, A., Kaltofen, E.: A Distributed Approach to Problem Solving in Maple. In: Proc. 5th Maple Summer Workshop and Symp., pp. 13–21 (1994)
Küchlin, W.: PARSAC-2: A parallel SAC-2 based on threads. In: Sakata, S. (ed.) AAECC-8 1990. LNCS, vol. 508, pp. 341–353. Springer, Heidelberg (1991)
The GpH-Maple Interface (2007), http://www.risc.uni-linz.ac.at/software/ghc-maple/
GENSS (2007), http://genss.cs.bath.ac.uk/index.htm
Delaitre, T., Goyeneche, A., Kacsuk, P., Kiss, T., Terstyanszky, G., Winter, S.: GEMLCA: Grid Execution Management for Legacy Code Architecture Design. In: Proc. 30th EUROMICRO Conference, pp. 305–315 (2004)
Agrawal, S., Dongarra, J., Seymour, K., Vadhiyar, S.: NetSolve: past, present, and future; a look at a Grid enabled server. In: Making the Global Infrastructure a Reality, pp. 613–622. Wiley, Chichester (2003)
Geodise (2007), http://www.geodise.org/
Tepeneu, D., Ida, T.: MathGridLink – Connecting Mathematica to the Grid. In: Proc. IMS 2004, Banff, Alberta (2004)
GridMathematica2, http://www.wolfram.com/products/gridmathematica/
Petcu, D., ¸Tepeneu, D., Paprzycki, M., Ida, I.: In: Engineering the Grid: status and perspective, pp. 91–107, American Scientific Publishers (2006)
Cooperman, G., Ansel, J., Ma, X.: Transparent adaptive library-based checkpointing for master-worker style parallelism. In: CCGrid 2006. Proc. IEEE Intl. Symp. on Cluster Computing and the Grid, pp. 283–291. IEEE Computer Society Press, Los Alamitos (2006)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hammond, K., Zain, A.A., Cooperman, G., Petcu, D., Trinder, P. (2007). SymGrid: A Framework for Symbolic Computation on the Grid. In: Kermarrec, AM., Bougé, L., Priol, T. (eds) Euro-Par 2007 Parallel Processing. Euro-Par 2007. Lecture Notes in Computer Science, vol 4641. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-74466-5_49
Download citation
DOI: https://doi.org/10.1007/978-3-540-74466-5_49
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-74465-8
Online ISBN: 978-3-540-74466-5
eBook Packages: Computer ScienceComputer Science (R0)