Skip to main content
SpringerLink
Log in

The design of the SACLIB/PACLIB kernels

  • Conference paper
  • First Online:
Design and Implementation of Symbolic Computation Systems (DISCO 1993)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 722))

Abstract

This paper describes the design of the kernels of two variants of the SAC-2 computer algebra library: Saclib and Paclib. Saclib is a C version of SAC-2, supporting automatic garbage collection and embeddability. Paclib is a parallel version of Saclib, supporting lightweight concurrency, non-determinism, and parallel garbage collection.

Supported by the Austrian Science Foundation (FWF) grant S5302-PHY “Parallel Symbolic Computation”.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. B. Buchberger, G. Collins, M. Encarnation, H. Hong, J. Johnson, W. Krandick, R. Loos, A. Mandache, A. Neubacher, and H. Vielhaber. A SACLIB Primer. Technical Report 92-34, RISC-Linz, Johannes Kepler University, Linz, Austria, 1992.

    Google Scholar 

  2. P. A. Buhr and R. A. Stroobosscher. The πSystem: Providing Light-weight Concurrency on Shared-Memory Multiprocessor Computers Running UNIX. Software — Practice and Experience, 20(9):929–964, September 1990.

    Google Scholar 

  3. G. E. Collins and R. Loos. ALDES/SAC-2 now available. ACM SIGSAM Bull., 1982.

    Google Scholar 

  4. H. Hong. Parallel Computation of Modular Multivariant Polynomial Resultants on Shared Memory Machine. In Submitted to the 2nd International Conference of the Austrian Center for Parallel Computation, Gmunden, Austria, October 4–6, 1993.

    Google Scholar 

  5. H. Hong, W. Schreiner, A. Neubacher, K. Siegl, H.-W. Loidl, T. Jebelean, and P. Zettler. PACLIB User Manual. Technical Report 92-32, RISC-Linz, Johannes Kepler University, Linz, Austria, May 1992. Also: Technical Report 92-9, ACPC Technical Report Series, Austrian Center for Parallel Computation, July 1992.

    Google Scholar 

  6. H. Kredel. From SAC-2 to Modula-2. In Proceedings of ISSAC, pages 447–455. Springer, Berlin, 1988. Volume 358 of Lecture Notes in Computer Science.

    Google Scholar 

  7. W. Küchlin. The S-Threads Environment for Parallel Symbolic Computation. In Computer Algebra and Parallelism, Second International Workshop, pages 1–18, Ithaca, USA, May, 1990. Springer, Berlin. Volume 584 of Lecture Notes in Computer Science.

    Google Scholar 

  8. W. Küchlin and N. Nevin. On Multi-Threaded List-Processing and Garbage Collection. In 3rd IEEE Symposium on Parallel and Distributed Processing, Dallas, TX, December, 1991. IEEE Press.

    Google Scholar 

  9. W. Küchlin and J. Ward. Experiments with Virtual C Threads. In 4th IEEE Symposium on Parallel and Distributed Processing, Arlington, TX, December, 1992. IEEE Press.

    Google Scholar 

  10. L. Langemyr. Converting SAC-2 Code to Lisp. In Proceedings of EUROCAL 87, pages 50–51. Springer-Verlag, 1989.

    Google Scholar 

  11. R. G. K. Loos. The Algorithm Description Language ALDES (Report). ACM SIGSAM Bull., 10(1):15–39, 1976.

    Google Scholar 

  12. W. Schreiner. The Design of the PACLIB Kernel. Technical Report 92-33, RISC-Linz, Johannes Kepler University, Linz, Austria, 1992.

    Google Scholar 

  13. W. Schreiner. The Correctness of the PACLIB Kernel — A Case Study in Parallel Program Verification by Temporal Logic. Technical report, RISC-Linz, Johannes Kepler University, Linz, Austria, 1993. To appear.

    Google Scholar 

  14. W. Schreiner and H. Hong. A New Library for Parallel Algebraic Computation. In Sixth SIAM Conference on Parallel Processing for Scientific Computing, Norfolk, Virginia, March 22–24, 1993. Also: Technical Report 92-73, RISC-Linz, Johannes Kepler University, Linz, Austria, 1992.

    Google Scholar 

  15. W. Schreiner and H. Hong. PACLIB — A Library for Parallel Algebraic Computation on Shared Memory Computers. In Parallel Systems Fair at the Seventh International Parallel Processing Symposium, Newport Beach, CA, April 13–16, 1993.

    Google Scholar 

  16. W. Schreiner and V. Stahl. The Exact Solution of Linear Equation Systems on a Shared Memory Multiprocessor. In Submitted to the PARLE 93, Munich, Germany, June 14–18, 1993.

    Google Scholar 

  17. S. Seitz. Algebraic Computation on a Local Net. In Computer Algebra and Parallelism, Second International Workshop, pages 19–32, Ithaca, USA, May, 1990. Springer, Berlin. Volume 584 of Lecture Notes in Computer Science.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Research Institute for Symbolic Computation (RISC-Linz), Johannes Kepler University, Linz, Austria

    Hoon Hong, Andreas Neubacher & Wolfgang Schreiner

Authors
  1. Hoon Hong
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Andreas Neubacher
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Wolfgang Schreiner
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Alfonso Miola

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hong, H., Neubacher, A., Schreiner, W. (1993). The design of the SACLIB/PACLIB kernels. In: Miola, A. (eds) Design and Implementation of Symbolic Computation Systems. DISCO 1993. Lecture Notes in Computer Science, vol 722. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013184

Download citation

  • DOI: https://doi.org/10.1007/BFb0013184

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57235-0

  • Online ISBN: 978-3-540-47985-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation