How to use storytelling to fit inline assembly into Rust
2 months ago
- #Compiler Optimizations
- #Rust
- #Inline Assembly
- Rust中的内联汇编必须遵循Rust抽象机的规则，尽管它不是用Rust编写的。
- 提出了一种'叙事式'方法，要求每个内联汇编块都必须有对应的Rust代码'故事'，用Rust术语解释其行为。
- 这种方法确保内联汇编与Rust的优化兼容，并防止未定义行为。
- 应用案例包括硬件操作、页表操作、非临时存储、堆栈着色和浮点控制寄存器操作。
- 叙事式方法有助于识别内联汇编何时可能导致错误编译或未定义行为。
- 该提案旨在正式规范内联汇编及FFI与Rust未定义行为的交互规则。