Transforming powerlist-based divide-and-conquer programs for an improved execution model

Abstract : Powerlists are data structures that can be successfully used for defining parallel programs based on divide-and-conquer paradigm. These parallel recursive data structures and their algebraic theories offer both a methodology to design parallel algorithms and parallel programming abstractions to ease the development of parallel applications. The paper presents a technique for speeding up the parallel recursive programs defined based on powerlists. The improvements are achieved by applying transformation rules that introduce tuple functions and prefix operators, for which a more efficient execution model is defined. Together with the execution model, a cost model is also defined in order to allow a proper evaluation. The treated examples emphasise the fact that the transformation leads to important improvements of the programs. The speeding up is achieved by reducing the number of recursive calls, and also by enable the fusion of splitting/combining operations on different data structures. In addition, enhancing the function that has to be computed to other useful functions using a tuple, could improved the cost reduction even more.
Document type :
Journal articles
Complete list of metadatas

https://hal.inria.fr/hal-02317068
Contributor : Frédéric Loulergue <>
Submitted on : Tuesday, October 15, 2019 - 6:18:23 PM
Last modification on : Wednesday, October 16, 2019 - 1:31:24 AM

Identifiers

Citation

Virginia Niculescu, Frédéric Loulergue. Transforming powerlist-based divide-and-conquer programs for an improved execution model. Journal of Supercomputing, Springer Verlag, 2019, pp.22. ⟨10.1007/s11227-019-02820-x⟩. ⟨hal-02317068⟩

Share

Metrics

Record views

11