How to use storytelling to fit inline assembly into Rust
The Rust Abstract Machine is full of wonderful oddities that do not exist on the actual hardware. Inevitably, every time this is discussed, someone asks: “But, what if I use inline assembly...
The Rust Abstract Machine is full of wonderful oddities that do not exist on the actual hardware . Inevitably, every time this is discussed, someone asks: “But, what if I use inline assembly? What happens with provenance and uninitialized memory and Tree Borrows and all these other fun things you made up that don’t actually exist?” This is a great question, but answering it properly requires some effort. In this post, I will lay down my current thinking on how inline assembly fits into the Rust Abstract Machine by giving a general principle that explains how anything we decide about the semant
related reading
- Everyone Says Assembly Is Untyped—Everyone Is Wronggingerbill.org
- Inline In Rustmatklad.github.io
- A half-hour to learn Rustfasterthanli.me
- A Gentle Introduction to LLVM IR · mcyoungmcyoung.xyz
- References and Borrowing - The Rust Programming Languagedoc.rust-lang.org
- Working with strings in Rustfasterthanli.me
- Writing an OS in Rustos.phil-opp.com
- Rust Optimization.md · GitHubgist.github.com
- Patterns for Defensive Programming in Rust | corrode Rust Consultingcorrode.dev
- Bringing async/await to embedded Rust - Ferrous Systemsferrous-systems.com
- GitHub - knurling-rs/flip-link: Adds zero-cost stack overflow protection to your embedded programsgithub.com
- async/await on embedded Rust - Ferrous Systemsferrous-systems.com