Earn a Michigan Engineering AI Certificate — Stay Ahead of the AI Revolution
Live Online Classes in Design, Coding & AI — Small Classes, Free Retakes
Overview
Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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.
Syllabus
Intro
Propertytesting
Why Rust
Code
Test executor
Test application
Key takeaways
Discussion
Taught by
RustLab Conference