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

Niculescu, Virginia; Loulergue, Frédéric

doi:10.1007/s11227-019-02820-x

Cited by 2 publications

(3 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The JPLF framework offers the possibility to develop efficient implementations based on some templates that facilitate a simple and robust implementation. Using it, we proved that this can lead to efficient implementations on shared and distributed memory platforms of many divide-and-conquer algorithms [45,[48][49][50]. The templates based on PowerList allow decompositions of degree two (decomposition into two subproblems), while the variants based on PList allow decomposition with different arities [51].…”

Section: Discussionmentioning

confidence: 99%

On Generalizing Divide and Conquer Parallel Programming Pattern

Niculescu¹

2022

Mathematics

Self Cite

View full text Add to dashboard Cite

(1) Background: Structuring is important in parallel programming in order to master its complexity, and this structuring could be achieved through programming patterns and skeletons. Divide-and-conquer computation is essentially defined by a recurrence relation that links the solution of a problem to the solutions of subproblems of the same type, but of smaller sizes. This pattern allows the specification of different types of computations, and so it is important to provide a general specification that comprises all its cases. We intend to prove that the divide-and-conquer pattern could be generalized such that to comprise many of the other parallel programming patterns, and in order to prove this, we provide a general formulation of it. (2) Methods: Starting from the proposed generalized specification of the divide-and-conquer pattern, the computation of the pattern is analyzed based on its stages: decomposition, base-case and composition. Examples are provided, and different execution models are analyzed. (3) Results: a general functional specification is provided for a divide-and-conquer pattern and based on it, and we prove that this general formulation could be specialized through parameters’ instantiating into other classical parallel programming patterns. Based on the specific stages of the divide-and-conquer, three classes of computations are emphasized. In this context, an equivalent efficient bottom-up computation is formally proved. Associated models of executions are emphasized and analyzed based on the three classes of divide-and-conquer computations. (4) Conclusion: A more general definition of the divide-and-conquer pattern is provided, and this includes an arity list for different decomposition degrees, a level of recursion, and also an alternative solution for the cases that are not trivial but allow other approaches (sequential or parallel) that could lead to better performance. Together with the associated analysis of patterns equivalence and optimized execution models, this provides a general formulation that is useful both at the semantic level and implementation level.

show abstract

Section: Discussionmentioning

confidence: 99%

On Generalizing Divide and Conquer Parallel Programming Pattern

Niculescu¹

2022

Mathematics

Self Cite

View full text Add to dashboard Cite

show abstract

“…For example, if we need to compute extended PowerList operators < +, * , −, / > on the same pair of input arguments, they could be combined and computed in a single computation stream. This has been used for the FFT computation case [28].…”

Section: Powerlist Data Structuresmentioning

confidence: 99%

“…For some of these cases it is possible to apply some function transformation -as tupling -in order to reduce the additional computations. This had been investigated in [28]. Fig.…”

Section: Mpirun -N 20 Testpowerlistreduce_mpimentioning

confidence: 99%

Reflections on the Design of Parallel Programming Frameworks

Niculescu

Sterca

Loulergue

2021

Communications in Computer and Information Science

Self Cite

View full text Add to dashboard Cite

Parallel programming is much more complex and difficult than sequential programming, and it is therefore more challenging to achieve the same software quality in a parallel context. High-level parallel programming models, if implemented as software frameworks, could increase productivity and reliability. Important requirements such as extensibility and adaptability for different platforms are required for such a framework, and this paper reflects on these requirements and their relation to the software engineering methodologies that could put them in practice. All these are exemplified on a Java framework -JPLF; this is a high-level parallel programming approach being based on the model brought by the PowerLists associated theories, and it respects the analysed requirements. The design of JPLF is analysed by explaining the design choices and highlighting the design patterns and design principles applied.

show abstract

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

Cited by 2 publications

References 15 publications

On Generalizing Divide and Conquer Parallel Programming Pattern

On Generalizing Divide and Conquer Parallel Programming Pattern

Reflections on the Design of Parallel Programming Frameworks

Contact Info

Product

Resources

About