home *** CD-ROM | disk | FTP | other *** search
- Newsgroups: sci.math.symbolic
- Path: sparky!uunet!charon.amdahl.com!pacbell.com!sgiblab!darwin.sura.net!paladin.american.edu!news.univie.ac.at!alijku05!risc.uni-linz.ac.at!schreine
- From: schreine@risc.uni-linz.ac.at (Wolfgang Schreiner)
- Subject: Re: Multiprocessor Implementations of Symbolic Software?
- Message-ID: <1992Nov17.083832.8531@alijku05.edvz.uni-linz.ac.at>
- Sender: news@alijku05.edvz.uni-linz.ac.at
- Nntp-Posting-Host: melmac.risc.uni-linz.ac.at
- Organization: RISC-Linz, Johannes Kepler University, Linz, Austria
- References: <1992Nov12.042527.10730@colorado.edu> <1992Nov16.093358.9281@alijku05.edvz.uni-linz.ac.at>
- Date: Tue, 17 Nov 1992 08:38:32 GMT
- Lines: 44
-
- In article <1992Nov12.042527.10730@colorado.edu>, sherod@newton.Colorado.EDU
- (Scott Herod) writes:
- > Are there multiprocessor implimentations of any of the larger
- > symbolic software packages? It seems that this is the wave of
- > future esp. since many of these packages stress functional as
- > opposed to procedural programming.
- >
- > Scott Herod
-
- We developed a parallel programming interface PACLIB for the
- computer algebra package SACLIB which is a library of C
- functions that supports in particular polynomial arithmetic.
- PACLIB is built on top of the uSystem kernel of the
- University of Waterloo that provides light-weight concurrency
- under UNIX.
-
- PACLIB is based on C and supports the following features:
-
- * light-weight concurrency based on a functional model (in C)
- * non-determinism and speculative parallelism
- * functional streams and shared buffers
- * parallel garbage collection
-
- A compiler for a functional language into PACLIB-C is
- currently under development.
-
- The PACLIB package runs on a Sequent Symmetry shared memory
- computers with 20 processors under Dynix/ptx but it should be
- portable to any UNIX machine supported by the uSystem package.
-
- A user manual for PACLIB can be derived via anonymous ftp
- from melmac.risc.uni-linz.ac.at (140.78.140.60) in form of
- a compressed dvi file pub/reports/parlab/pacuser.dvi.Z.
-
- Best regards, WS
-
- --
- --------------------------------------------------------
- Wolfgang Schreiner
- Research Institute for Symbolic Computation (RISC-Linz)
- Johannes Kepler University, A-4040 Linz, Austria
- Tel: +43 7236 3231 66 Fax: +43 7236 3231 30
- Email: schreine@risc.uni-linz.ac.at
- --------------------------------------------------------
-