Tokio async support in Miri
- Mentors
- oli-obk
- Organization
- The Rust Foundation
- Technologies
- linux, rust
- Topics
- libc, system call, tokio async
Miri is a testing tool to check undefined behaviour in unsafe Rust. Currently, a significant portion of Tokio async program still cannot be effectively tested with Miri due to unhandled system calls. This project aims to rectify this limitation by offering support for Tokio async in Miri through a complete implementation of epoll shim. By doing so, it will open up a whole new part of the async ecosystem to be tested with Miri, ensuring greater reliability and stability in Rust ecosystem.