C++ safety, in context
Sutter's Mill
MARCH 11, 2024
The main improvement MSLs give is that a program data race will not corrupt the language’s own virtual machine (whereas in C++ a data race is currently all-bets-are-off undefined behavior). I think that makes it a valuable strategy to pursue. 2) The problem “isn’t” that C++ code is not formally provably safe.
Let's personalize your content