Meeting C++ online - Thread-safety compile-time guaranteed in C++

Antoine MORRIER

Scheduled for 22:00

Writing correct multithreaded C++ is hard, and the type system does little to help.

This talk presents a C++ library that pushes a class of these bugs out of runtime and into the compiler. Using move-only types, RAII guards, and carefully constrained APIs, we can encode rules directly in the type system. For example, we can express that a value cannot be accessed by multiple threads, and a violation that would normally surface as a hard-to-reproduce runtime bug becomes a plain compile error.

The design draws inspiration from Rust's ownership model, but the implementation is pure C++ and stays close to the idioms C++ developers already use.

Here is the link to the Godbolt link with the code basics I want to present: 

Godbolt link

Please login to comment