LLVM's Realtime Safety Revolution: Tools for Modern Mission Critical Systems

• 语言: 英语
• 格式: .pdf
• 来源: github.com/CppCon

摘要

The document discusses LLVM's Real-time Safety Revolution, introducing tools like RealtimeSanitizer to identify real-time safety vulnerabilities. It covers existing strategies, performance constraints, false negatives and positives, and disabling tools. The document emphasizes using RealtimeSanitizer alongside other tools to write better real-time code, with examples demonstrating its application and error detection capabilities.

AI总结

《LLVM的实时安全革命：现代任务关键系统的工具》主要围绕LLVM在实时系统中的安全工具和性能约束进行探讨，以下是文档的核心内容总结：

1. **实时系统编程挑战**：实时系统对代码的严格要求，包括确保代码在固定时间内完成（时间 determinism）和避免竞态条件等。

2. **现有策略**：现有工具和方法在实时系统中的局限性，包括可能导致误报（false positives/false negatives）和性能开销。

3. **RealtimeSanitizer工具**：
- 作为LLVM的新工具，用于检测代码中的潜在实时安全问题。
- 通过[[clang::nonblocking]]标识符来标记不阻塞函数，确保代码符合实时安全要求。
- 示例：在使用`std::vector::push_back`时，工具会检测到非实时安全的调用并报错。

4. **性能约束与权衡**：
- 工具的使用可能带来性能开销，需权衡安全性与性能。
- 提供灵活性，支持按需禁用特定检查或在特定调用中使用。

5. **工具的互补性**：LLVM工具链中不同工具的设计初衷是互补而非竞争，建议结合多种工具使用，以编写更高质量的实时代码。

6. **作者与贡献者**：
- 主要作者来自音频行业和技术领域，包括Chris Apple和David Trevelyan等。
- 感谢多位LLVM社区成员的审查和贡献。

**总结**：文档介绍了LLVM在实时系统安全领域的创新工具，如RealtimeSanitizer，并探讨了其应用与性能权衡，旨在帮助开发者编写更安全、更高效的实时代码。