Explore property-testing techniques for asynchronous Rust code to enhance the reliability of distributed systems in this 40-minute conference talk from RustLab. Delve into the challenges of building dependable distributed systems, focusing on the complexities introduced by await points and rare execution sequences. Learn how Zed Industries leveraged Rust's asynchronous programming model to improve their CRDT-based collaborative editor's reliability. Gain insights into implementing a deterministic runtime that executes all possible permutations of asynchronous code paths. Discover practical tools and strategies to apply these reliability-enhancing techniques to your own applications, potentially revolutionizing the development of concurrent systems.
Overview
Syllabus
Intro
Propertytesting
Why Rust
Code
Test executor
Test application
Key takeaways
Discussion
Taught by
RustLab Conference