Advertisement

The design of the SACLIB/PACLIB kernels

  • Hoon Hong
  • Andreas Neubacher
  • Wolfgang Schreiner
Conference paper
Part of the Lecture Notes in Computer Science book series (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.

Keywords

Garbage Collection Garbage Collector Free List Virtual Processor Shared Memory Multiprocessor 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. 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. 3.
    G. E. Collins and R. Loos. ALDES/SAC-2 now available. ACM SIGSAM Bull., 1982.Google Scholar
  4. 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. 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. 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. 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. 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. 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. 10.
    L. Langemyr. Converting SAC-2 Code to Lisp. In Proceedings of EUROCAL 87, pages 50–51. Springer-Verlag, 1989.Google Scholar
  11. 11.
    R. G. K. Loos. The Algorithm Description Language ALDES (Report). ACM SIGSAM Bull., 10(1):15–39, 1976.Google Scholar
  12. 12.
    W. Schreiner. The Design of the PACLIB Kernel. Technical Report 92-33, RISC-Linz, Johannes Kepler University, Linz, Austria, 1992.Google Scholar
  13. 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. 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. 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. 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. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Hoon Hong
    • 1
  • Andreas Neubacher
    • 1
  • Wolfgang Schreiner
    • 1
  1. 1.Research Institute for Symbolic Computation (RISC-Linz)Johannes Kepler UniversityLinzAustria

Personalised recommendations