Skip to content

Research at St Andrews

HPC-GAP: engineering a 21st-century High-Performance Computer algebra system

Research output: Contribution to journalArticle

DOI

Open Access permissions

Open

Author(s)

Reimer Behrends, Kevin Hammond, Vladimir Janjic, Alexander Konovalov, Stephen Alexander Linton, Hans-Wolfgang Loidl, Patrick Maier, Philip Trinder

School/Research organisations

Abstract

Symbolic computation has underpinned a number of key advances in Mathematics and Computer Science. Applications are typically large and potentially highly parallel, making them good candidates for parallel execution at a variety of scales from multi-core to high-performance computing systems. However, much existing work on parallel computing is based around numeric rather than symbolic computations. In particular, symbolic computing presents particular problems in terms of varying granularity and irregular task sizes that do not match conventional approaches to parallelisation. It also presents problems in terms of the structure of the algorithms and data.
This paper describes a new implementation of the free open-source GAP computational algebra system that places parallelism at the heart of the design, dealing with the key scalability and cross-platform portability problems. We provide three system layers that deal with the three most important classes of hardware: individual shared memory multi-core nodes, mid-scale distributed clusters of (multi-core) nodes, and full- blown HPC systems, comprising large-scale tightly-connected networks of multi-core nodes. This requires us to develop new cross-layer programming abstractions in the form of new domain-specific skeletons that allow us to seamlessly target different hardware levels. Our results show that, using our approach, we can achieve good scalability and speedups for two realistic exemplars, on high-performance systems comprising up to 32,000 cores, as well as on ubiquitous multi-core systems and distributed clusters. The work reported here paves the way towards full scale exploitation of symbolic computation by high-performance computing systems, and we demonstrate the potential with two major case studies.
Close

Details

Original languageEnglish
Pages (from-to)3606-3636
Number of pages33
JournalConcurrency and Computation : Practice and Experience
Volume28
Issue number13
Early online date15 Jan 2016
DOIs
StatePublished - 10 Sep 2016

    Research areas

  • Parallelism, Multicore, High-Performance Computing, Computational algebra

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

Related by author

  1. Space exploration using parallel orbits: a study in parallel symbolic computing

    Janjic, V., Brown, C. M., Neunhoeffer, M., Hammond, K., Linton, S. A. & Loidl, H-W. Sep 2013 Parallel Computing: Accelerating Computational Science and Engineering (CSE). Bader, . M., Bode, A., Bungartz, H-J., Gerndt, M., Joubert, G. R. & Peters, F. (eds.). IOS Press, Vol. 25, p. 225-232 8 p. (Advances in Parallel Computing)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  2. Easy Composition of Symbolic Computation Software using SCSCP: A New Lingua Franca for Symbolic Computation

    Linton, S. A., Hammond, K., Konovalov, A., Brown, C. M., Trinder, P. W., Loidl, H-W., Horn, P. & Roozemond, D. Feb 2013 In : Journal of Symbolic Computation. 49, p. 95-119 15 p.

    Research output: Contribution to journalArticle

  3. UPCGAP: A UPC package for the GAP system

    Johnson, N., Konovalov, A., Janjic, V. & Linton, S. A. 2013 p. 217-221

    Research output: Contribution to conferencePaper

  4. Easy composition of symbolic computation software: a new lingua franca for symbolic computation

    Linton, S., Hammond, K., Konovalov, A., Al Zain, A. D., Trinder, P., Horn, P. & Roozemond, D. 2010 Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation. ACM, p. 339-346 8 p. (ISSAC '10)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  5. Parallelism without Pain: Orchestrating Computational Algebra Components into a High-Performance Parallel System

    Al Zain, A. D., Trinder, P. W., Hammond, K., Konovalov, A., Linton, S. & Berthold, J. 2008 PROCEEDINGS OF THE 2008 INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING WITH APPLICATIONS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 99-112 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

Related by journal

  1. Towards an autonomous decentralised orchestration system

    Jaradat, W., Dearle, A. & Barker, A. 10 Aug 2016 In : Concurrency and Computation : Practice and Experience. 28, 11, p. 3164-3179

    Research output: Contribution to journalArticle

  2. Resource Analyses for Parallel and Distributed Coordination

    Trinder, P., Cole, M., Hammond, K., Loidl, H-W. & Michaelson, G. Mar 2013 In : Concurrency and Computation : Practice and Experience. 25, 3, p. 309-348 40 p.

    Research output: Contribution to journalArticle

  3. Engineering Parallel Symbolic Programs in GPH

    Loidl, H-W., Trinder, PW., Barry, E., Hammond, K., Junaidu, SB. & Peyton Jones, SL. Oct 1999 In : Concurrency and Computation : Practice and Experience. 11, 12, p. 701-752 52 p.

    Research output: Contribution to journalArticle

ID: 215757954