Reliable scalable symbolic computation: The design of SymGridPar2

MAIER, Patrick, STEWART, R. and TRINDER, P.W. (2014). Reliable scalable symbolic computation: The design of SymGridPar2. Computer Languages, Systems & Structures, 40 (1), 19-35.

[img]
Preview
PDF (Author's own manuscript)
SGP2-revised.pdf - Accepted Version
Creative Commons Attribution Non-commercial No Derivatives.

Download (481kB) | Preview
Official URL: https://www.sciencedirect.com/science/article/pii/...
Link to published version:: 10.1016/j.cl.2014.03.001

Abstract

Symbolic computation is an important area of both Mathematics and Computer Science, with many large computations that would benefit from parallel execution. Symbolic computations are, however, challenging to parallelise as they have complex data and control structures, and both dynamic and highly irregular parallelism. The SymGridPar framework (SGP) has been developed to address these challenges on small-scale parallel architectures. However the multicore revolution means that the number of cores and the number of failures are growing exponentially, and that the communication topology is becoming increasingly complex. Hence an improved parallel symbolic computation framework is required. This paper presents the design and initial evaluation of SymGridPar2 (SGP2), a successor to SymGridPar that is designed to provide scalability onto 10^5 cores, and hence also provide fault tolerance. We present the SGP2 design goals, principles and architecture. We describe how scalability is achieved using layering and by allowing the programmer to control task placement. We outline how fault tolerance is provided by supervising remote computations, and outline higher-level fault tolerance abstractions. We describe the SGP2 implementation status and development plans. We report the scalability and efficiency, including weak scaling to about 32,000 cores, and investigate the overheads of tolerating faults for simple symbolic computations.

Item Type: Article
Departments: Arts, Computing, Engineering and Sciences > Computing
Identification Number: 10.1016/j.cl.2014.03.001
Depositing User: Patrick Maier
Date Deposited: 12 Feb 2018 12:51
Last Modified: 12 Feb 2018 12:58
URI: http://shura.shu.ac.uk/id/eprint/18617

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year

View more statistics