You can do it in C++, actually, using Clang’s thread safety attributes: https://clang.llvm.org/docs/ThreadSafetyAnalysis.html https://clang.llvm.org/docs/Threa

You can do it in C++, actually, using Clang’s thread safety attributes: https://clang.llvm.org/docs/ThreadSafetyAnalysis.html https://clang.llvm.org/docs/ThreadSafetyAnalysis.html You can create a dummy ‘lock’ type that just represents being on a certain thread, with corresponding global variables for different named threads.