Writing performant concurrent data structures in Rust can be challenging, and often requires subversion of Rust's ownership guarantees. In this talk I'll be using a multi-producer single-consumer queue as a case study for writing performant code, crafting safe abstractions, sniffing out undefined behaviour & concurrency issues, and avoiding pitfalls during benchmarking.
Slides: [ Ссылка ]
Adrian's Blog: [ Ссылка ]
Watch more of our meetup: [ Ссылка ]
Join us next time: [ Ссылка ]
Would you like to chat or give a talk? Join us in our Matrix room:
[ Ссылка ]
Chapters:
00:00 Intro
01:39 Motivation
04:53 The Ideas for more speed
10:47 The Memory Model
18:48 Implementation in Rust
33:43 Crafting Safe Abstractions
45:41 Runtime Analysis with Miri
48:32 Conclusion
53:16 Questions
