Lightweight Wrappers for Conscious std::transform_reduce Operation Safety - Richárd Szalay - CppNow

www.cppnow.org​
/ cppnow
---
Lightweight Wrappers for Conscious std::transform_reduce Operation Safety - Richárd Szalay - CppNow 2023
Slides: github.com/boostcon/cppnow_pr...
---
"C++17 introduced Parallel STL: a set of overloaded functions taking an additional “execution policy” parameter.
While the Standard defines the semantics of the individual algorithms, adherence to their abstract requirements is up to the developer.
Experience shows that programmers frequently make mistakes and write erroneous code, which is hard to debug.
While a fully automatic detection of erroneous constructs is yet computationally infeasible to do, I introduce a framework with which the user will be able to indicate - axiomatically, based on absolute trust - that an operation has “safe” properties, e.g. commutativity of certain functors.
A lightweight prototype library shim, “pstl::algorithm” was developed to require such annotations."
---
Richárd Szalay
Richárd has been developing in C++ for around a decade at this point (with occasional breaks to pursue other projects, mainly in C# and Python) and has been developing for C++ for the better half of the aforementioned decade. He is a PhD student researcher at ELTE - Eötvös Loránd University of Hungary, while also working at Ericsson Telecommunication Technologies R&D in a team whose aim is making better code analysis and comprehension tools while also pursuing a wish to improve C++ and other software development activities, for the community at large.
---
Video Sponsors: think-cell and Bloomberg Engineering
Audience Audio Sponsors: Innoplex and Maryland Research Institute
---
Videos Filmed & Edited By Bash Films: bashfilms.com/
KZbin Channel Managed & Optimized By Digital Medium Ltd: events.digital-medium.co.uk
---
CppNow 2024
www.cppnow.org​
/ cppnow
---
#boost #cppprogramming #cpp