<abstract xmlns="http://www.w3.org/1999/xhtml">

<p>The continuous evolution of programming languages creates a challenge not only for the compiler implementers but also for the regular developers. The C++17 standard introduced the Parallel STL library, a parallel extension of the original and fundamental Standard Template Library (STL) with the promise to achieve safe, efficient, and scalable parallel programming in an easy way. While the syntax remained familiar, the new parallel algorithms introduced additional requirements, which are often ignored even by experienced programmers. In this paper, we investigate the root cause of the misuse of the Parallel STL. We carried out a classroom experiment to measure the programmers’ behaviour when programming using the Parallel STL and found that the major issue is not that their code would be erroneous, but the lack of awareness of the semantic requirements of parallel functors. While a fully automatic detection of erroneous constructs is computationally infeasible to achieve, we introduce a framework with which the developer will be able to indicate – axiomatically, based on absolute trust – that an operation has “safe” properties required by the algorithms. We implemented a prototype of the proposed framework to demonstrate its usability and effectiveness.</p>
</abstract>

The continuous evolution of programming languages creates a challenge not only for the compiler implementers but also for the regular developers. The C++17 standard introduced the Parallel STL library, a parallel extension of the original and fundamental Standard Template Library (STL) with the promise to achieve safe, efficient, and scalable parallel programming in an easy way. While the syntax remained familiar, the new parallel algorithms introduced additional requirements, which are often ignored even by experienced programmers. In this paper, we investigate the root cause of the misuse of the Parallel STL. We carried out a classroom experiment to measure the programmers’ behaviour when programming using the Parallel STL and found that the major issue is not that their code would be erroneous, but the lack of awareness of the semantic requirements of parallel functors. While a fully automatic detection of erroneous constructs is computationally infeasible to achieve, we introduce a framework with which the developer will be able to indicate – axiomatically, based on absolute trust – that an operation has “safe” properties required by the algorithms. We implemented a prototype of the proposed framework to demonstrate its usability and effectiveness.

A Tag-Based Solution for Safer Parallel STL Usage

Department of Programming Languages and Compilers, Faculty of Informatics

Acta Electrotechnica et Informatica

This work is licensed under the Creative Commons Attribution 4.0 International License.

{"article-title":"A Tag-Based Solution for Safer Parallel STL Usage"}

The continuous evolution of programming languages creates a challenge not only for the compiler implementers but also for the regular developers. The C++17...

A Tag-Based Solution for Safer Parallel STL Usage

Publié en ligne: 08 août 2023

Pages: 19 - 27

Reçu: 16 avr. 2023

Accepté: 23 juin 2023

DOI: https://doi.org/10.2478/aei-2023-0008

Mots clés
C++ programming language, Standard Template Library, concurrent programming, parallel programming, type safety

© 2023 Benjámin Barth et al., published by Sciendo

This work is licensed under the Creative Commons Attribution 4.0 International License.

A Tag-Based Solution for Safer Parallel STL Usage

Publié en ligne: 08 août 2023

Pages: 19 - 27

Reçu: 16 avr. 2023

Accepté: 23 juin 2023

DOI: https://doi.org/10.2478/aei-2023-0008

Mots clésC++ programming language, Standard Template Library, concurrent programming, parallel programming, type safety

© 2023 Benjámin Barth et al., published by Sciendo

This work is licensed under the Creative Commons Attribution 4.0 International License.

Mots clés
C++ programming language, Standard Template Library, concurrent programming, parallel programming, type safety