Structured Concurrency in C++: A Hands-On Workshop
Mateusz Pusz
Asynchrony and parallelism appear everywhere, from processor hardware interfaces to networking, to file I/O, to GUIs, to accelerators. Every C++ domain and every platform needs to deal with asynchrony and parallelism, from scientific computing to video games to financial services, from the smallest mobile devices to your laptop to GPUs in the world's fastest supercomputer.
This training shows that concurrency is not only about the C++ Standard Library threading and synchronization low-level tools. During the workshop, you will learn how to write efficient, asynchronous, and highly concurrent code without the need for any manual synchronization between threads, leading to simpler code and faster runtimes. During the hands-on exercises, you will implement coroutine tools from scratch and create parallel processing pipelines with a new std::execution
framework, also called Senders/Receivers, which will arrive as a part of C++26. The reference implementation of this framework is publicly available on GitHub so that it can be used in production immediately without the need to wait for the next C++ release.
What You Will Learn?
- Understand what structured concurrency is and how it helps write thread-safe code without the need for additional synchronization.
- A detailed discussion of coroutine machinery and its suspend and customization points.
- How to implement synchronous and asynchronous tasks using coroutines.
- How to build a complex asynchronous pipeline with schedulers, senders, and receivers in a few lines of code.
- Practical usage of all the asynchronous algorithms provided by the
std::execution
framework.
Workshop Structure
- 30% lecture
- 70% hands-on coding
Experience required
- Recent working experience with writing simple C++ templates
Environment
- A laptop with a web browser and access to the Internet
- All hands-on exercises will be implemented using Compiler Explorer
Outline
-
Asynchronous Programming with Coroutines
-
Coroutine keywords, restrictions, suspend points
- Coroutine return type
- std::coroutine_traits
- Coroutine promise interface
- std::coroutine_handle
- Awaiters and Awaitables
- Symmetric Control Transfer
- C++ exceptions support
- Eager and Lazy Tasks
- async with coroutines
-
sync_await
-
Structured Concurrency with Senders and Receivers
-
Motivation
- The structure of an asynchronous processing pipeline
- Data parallelism with senders
- Cancellation support
- Transferring the work
- Sender factories
- Sender adaptors
- Sender consumers
- Implementing an asynchronous algorithm
- Sender/Receivers and Coroutines
Mateusz Pusz
Mateusz worked at Intel for 13 years, and now he is a Principal Software Engineer and the head of the C++ Competency Center at EPAM Systems. He is also a founder of Train IT, which provides dedicated C++ trainings and consulting services to corporations worldwide.
Mateusz is a contributor and an active voting member of the ISO C++ Committee (WG21), where, together with the best C++ experts in the world, he shapes the future of the C++ language.