Real-time Safety - Guaranteed by the Compiler!

Explore Clang 20's Function Effect Analysis (FEA) and learn how to achieve real-time safety guarantees at compile-time in this comprehensive conference talk from NDC TechTown 2025. Discover how to mark functions as non-throwing, non-allocating, or non-blocking and have the compiler enforce these constraints automatically. Understand the mechanics behind FEA, including how functions marked as non-allocating cannot call malloc or new and can only invoke other non-allocating functions. Learn about the challenges of implementing FEA with third-party libraries and explore practical solutions to overcome these obstacles. Gain insights from Squarehead's real-world experience using FEA to refactor their soft real-time pipeline toward harder real-time constraints, including valuable tips, tricks, and best practices for successful implementation. Get introduced to the brand-new RealtimeSanitizer, the runtime companion tool to FEA that provides additional safety verification. Master the practical application of Function Effect Analysis and RealtimeSanitizer for your own C++ projects while learning from real-life implementation experiences and proven strategies for achieving compile-time real-time safety guarantees.