HPC-GAP : engineering a 21st-century High-Performance Computer algebra system
Date
10/09/2016Author
Grant ID
644235
EP/F030657/1
EP/G055181/1
FP7-ICT-2011-7
Keywords
Metadata
Show full item recordAbstract
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 high‐performance computing 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 32000 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.
Citation
Behrends , R , Hammond , K , Janjic , V , Konovalov , A , Linton , S A , Loidl , H-W , Maier , P & Trinder , P 2016 , ' HPC-GAP : engineering a 21st-century High-Performance Computer algebra system ' , Concurrency and Computation : Practice and Experience , vol. 28 , no. 13 , pp. 3606-3636 . https://doi.org/10.1002/cpe.3746
Publication
Concurrency and Computation : Practice and Experience
Status
Peer reviewed
ISSN
1532-0634Type
Journal article
Rights
© 2016 The Authors. This is an open access article under the terms of the Creative Commons Attribution License, which permits use, distribution and reproduction in any medium, provided the original work is properly cited.
Collections
Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Related items
Showing items related by title, author, creator and subject.
-
Virtual Worlds and the 3D Web – time for convergence?
Bakri, Hussein; Allison, Colin; Miller, Alan Henry David; Oliver, Iain Angus (Springer, 2016) - Conference itemMulti-User Virtual Worlds (MUVW) such as Open Wonderland and OpenSim have proved to be fruitful platforms for innovative educational practice, supporting exploratory learning and generating true engagement. However, when ... -
The effect of visual and interactive representations on human performance and preference with scalar data fields
Han, Han L.; Nacenta, Miguel A. (Canadian Human-Computer Communications Society / Société canadienne du dialogue humain-machine, 2020-05-28) - Conference item2D scalar data fields are often represented as heatmaps because color can help viewers perceive structure without having to interpret individual digits. Although heatmaps and color mapping have received much research ... -
LOC8 : A location model and extensible framework for programming with location
Stevenson, Graeme Turnbull; Ye, Juan; Dobson, Simon Andrew; Nixon, Paddy (2010) - Journal articleLocation is a core concept in most pervasive systems-and one that's surprisingly hard to deal with flexibly. Using a location model supporting a range of expressive representations for spaces, spatial relationships, and ...