Multiprocessed parallelism support in ALDOR on SMPs and multicores

PASCO'07: Proceedings of the 2007 International Workshop on Parallel Symbolic Computation

Volumn , Issue , 2007, Pages 60-68

  Maza, Marc Moreno ^a   Stephenson, Ben ^a   Watt, Stephen M ^a   Xie, Yuzhen ^a  

^a UNIVERSITY OF WESTERN ONTARIO   (Canada)

Author keywords

Aldor; Categorical parallelism; Dynamic process management; Multiprocessor parallelism; Shared memory

Indexed keywords

ALGEBRA; COMPUTER PROGRAMMING LANGUAGES; COMPUTER RESOURCE MANAGEMENT; INTERFACES (COMPUTER); PARALLEL ALGORITHMS; PROGRAM PROCESSORS; STORAGE ALLOCATION (COMPUTER);

CATEGORICAL PARALLELISM; DYNAMIC PROCESS MANAGEMENT; MULTIPROCESSOR PARALLELISM; SHARED MEMORY;

MULTIPROCESSING SYSTEMS;

EID: 36849087374     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1278177.1278188     Document Type: Article

References (28)

1. The Open Group Base Specifications Issue 6. IEEE Std 1003.1, 2004 Edition. http://www.opengroup.org/onlinepubs/009695399/.
2. aldor.org. Aldor 1.0.3. University of Western Ontario, Canada, 2004.
3. Argonne National Laboratory. MPICH2. http://www-unix.mcs.anl.gov/mpi/ mpich2/.
4. T.J. Ashby and A.D. Kennedyand M.F.P. O'Boyle. A modular iterative solver package in a, categorical language. In LNCS vol.47, pages 123-132, 1993.
5. R. D. Blumofe and C. E. Leiserson. Scheduling multithreaded computations by work stealing. In IEEE FOCS94, 1994.
6. C. Chen, M. Moreno Maza, W. Pan, and Y. Xie. Verification of polynomial system solvers. In Proceedings of AWFS 2007, 2007.
7. Y. Chicha and S. M. Watt. A localized tracing scheme applied to garbage collection. In APLAS 2006, 2006.
8. X. Dahan, M. Moreno Maza, É. Schost, W. Wu, and Y. Xie. Lifting techniques for triangular decompositions. In ISSAC'05, pages 108-115. ACM Press, 2005.
9. J. Della Dora, C. Dicrescenzo, and D. Duval. About a new method for computing in algebraic number fields. In Proc. EUROCAL 85 Vol. 2, vol. 204 of Lect. Notes in Comp. Sci., pages 289-290. Springer-Verlag, 1985.
10. Sun Fortress Project Group. The Sun Fortress Project. fortress.sunsource.net, 2007.
11. M.V. Foursov and M. Moreno Maza. On computer-assisted classification of coupled integrable equations. J. Symb. Comp., 33:647-660, 2002.
12. M. Frigo, C. E. Leiserson, and K. H. Randall. The implementation of the Cilk-5 multithreaded language. In ACM SIGPLAN, 1998.
13. J. von zur Gathen and J. Gerhard. Modern Computer Algebra. Cambridge University Press, 1999.
14. T. Gautier and N. Mannhart. Parallelism in aldor - the communication library Put for parallel, distributed computation. In A CPC-2, LNCS vol. 734, pages 204-218, 1998.
15. T. Gautier, J. Roch, and F. Wagner. Fine grained distributed implementation of a language with provable performance. In Proceedings of ICCS2007/PAPP2007, May 2007.
16. J. Grabmeier, E. Kaltofen, and V. Weispfenning, editors. Computer Algebra Handbook. Springer, 2003.
17. R. L. Graham. Bounds on multiprocessing timing anomalies. SIAM Journal of Applied Mathematics, 17(3):416-429, March 1969.
18. KAAPI group. KAAPI: Kernel for adaptive, asynchronous parallel and interactive programming. http://kaapi.gforge.inria.fr/.
19. W. W. Küchlin. PARSAC-2: A parallel SAC-2 based on threads. In AAECC-8, LNCS vol.508, pages 341-353, 1990.
20. F. Lemaire, M. Moreno Maza, and Y. Xie. Making a sophisticated symbolic solver available to different communities of users. In Proceedings of ATCM 2006, 2006.
21. N. Mannhart. Piit: a portable communication library for distributed computer algebra. PhD thesis, Swiss Federal Institute of Technology, 1997.
22. M. Moreno Maza and Y. Xie. Component-level parallelization of triangular decompositions. In Proceedings of PASCO2007. ACM Press, 2007.
23. M. Moreno Maza. On triangular decompositions of algebraic varieties. Technical Report TR 4/99, NAG Ltd, Oxford, UK, 1999. Presented at the MEGA-2000 Conference, Bath, England. http://www.csd.uwo.ca/~moreno.
24. W. Schreiner and H. Hong. The design of the PACLIB kernel for parallel algebraic computation. In ACPC-2, LNCS vol.734, Pages 204-218, 1993.
25. Stephen M. Watt. A system for parallel computer algebra programs. In LNCS Vol.204, pages 537-538, 1985.
26. # compiler. In ISSAC '94: Proceedings of the International Symposium on Symbolic and Algebraic Computation, New York, NY, USA, 1994. ACM Press.
27. Stephen M. Watt, Peter A. Broadbery, Samuel S. Dooley, Pietro Iglio, Scott C. Morisson, Jonathan M. Steinbach, and Robert S. Sutor. AXIOM Library Compiler User Guide. NAG, The Numerical Algorithms Group Limited, Oxford, United Kingdom, 1st edition, November 1994. AXIOM is a registred trade mark of NAG.
28. Stephen M. Watt. Aldor. In Computer Algebra Handbook (J. Grabmeier, E. Kaltofen, and V. Weispfenning, editors), pages 265-270, Springer 2003.