Files in this item
In search of a map : using program slicing to discover potential parallelism in recursive functions
Item metadata
dc.contributor.author | Barwell, Adam David | |
dc.contributor.author | Hammond, Kevin | |
dc.date.accessioned | 2019-01-09T11:30:04Z | |
dc.date.available | 2019-01-09T11:30:04Z | |
dc.date.issued | 2017-09-07 | |
dc.identifier | 257273951 | |
dc.identifier | d1874b15-ff8d-448b-ac62-9fbc117b122a | |
dc.identifier | 85030991040 | |
dc.identifier | 000426954500004 | |
dc.identifier.citation | Barwell , A D & Hammond , K 2017 , In search of a map : using program slicing to discover potential parallelism in recursive functions . in Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing (FHPC 2017) . ACM , New York , pp. 30-41 , FHPC 2017 Workshop on Functional High-Performance Computing , Oxford , United Kingdom , 7/09/17 . https://doi.org/10.1145/3122948.3122951 | en |
dc.identifier.citation | workshop | en |
dc.identifier.isbn | 9781450351812 | |
dc.identifier.other | ORCID: /0000-0002-4326-4562/work/52572462 | |
dc.identifier.other | ORCID: /0000-0003-1236-7160/work/57821936 | |
dc.identifier.uri | https://hdl.handle.net/10023/16813 | |
dc.description | Funding: EU FP7 grant “Parallel Patterns for Adaptive Heterogeneous Multicore Systems” (ICT-288570), by the EU H2020 grant “RePhrase: Refactoring Parallel Het- erogeneous Resource-Aware Applications – a Software Engineering Approach” (ICT-644235), by COST Action IC1202 (“Timing Analysis on Code-Level”), by the EPSRC grant “Discovery: Pattern Discovery and Program Shaping for Manycore Systems” (EP/P020631/1), and by Scottish Enterprise grant PS7305CA44. | en |
dc.description.abstract | Recursion schemes, such as the well-known map, can be used as loci of potential parallelism, where schemes are replaced with an equivalent parallel implementation. This paper formalises a novel technique, using program slicing, that automatically and statically identifies computations in recursive functions that can be lifted out of the function and then potentially performed in parallel. We define a new program slicing algorithm, build a prototype implementation, and demonstrate its use on 12 Haskell examples, including benchmarks from the NoFib suite and functions from the standard Haskell Prelude. In all cases, we obtain the expected results in terms of finding potential parallelism. Moreover, we have tested our prototype against synthetic benchmarks, and found that our prototype has quadratic time complexity. For the NoFib benchmark examples we demonstrate that relative parallel speedups can be obtained (up to 32.93x the sequential performance on 56 hyperthreaded cores). | |
dc.format.extent | 670278 | |
dc.language.iso | eng | |
dc.publisher | ACM | |
dc.relation.ispartof | Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing (FHPC 2017) | en |
dc.subject | Program slicing | en |
dc.subject | Recursion schemes | en |
dc.subject | Patten discovery | en |
dc.subject | Parallelism | en |
dc.subject | QA76 Computer software | en |
dc.subject | T Technology | en |
dc.subject | NDAS | en |
dc.subject.lcc | QA76 | en |
dc.subject.lcc | T | en |
dc.title | In search of a map : using program slicing to discover potential parallelism in recursive functions | en |
dc.type | Conference item | en |
dc.contributor.sponsor | European Commission | en |
dc.contributor.sponsor | European Commission | en |
dc.contributor.sponsor | European Commission | en |
dc.contributor.sponsor | EPSRC | en |
dc.contributor.institution | University of St Andrews. School of Computer Science | en |
dc.contributor.institution | University of St Andrews. Centre for Interdisciplinary Research in Computational Algebra | en |
dc.identifier.doi | 10.1145/3122948.3122951 | |
dc.identifier.grantnumber | FP7-ICT-2011-7 | en |
dc.identifier.grantnumber | FP&-ICT-2011-7 | en |
dc.identifier.grantnumber | 644235 | en |
dc.identifier.grantnumber | EP/P020631/1 | en |
This item appears in the following Collection(s)
Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.