We report on a high-level categorical parallel framework, written in the Aldor language, to support high-performance computer algebra on symmetric multi-processors and multicore processors. This framework provides functions for dynamic process management and data communication and synchronization via shared memory segments. A simple interface for user-level scheduling is also provided. Packages are developed for serializing and de-serializing high-level Aldor objects, such as sparse multivariate polynomials, into arrays of machine integers for data transfer. Our benchmark performance results show this framework is practically efficient for coarse-grained parallel symbolic computations. Categories and Subject Descriptors G.4 [Mathematical Computing]: Mathematical Software—
Marc Moreno Maza, Ben Stephenson, Stephen M. Watt,