Writing Performant Concurrent Data Structures by Adrian Alic - Rust Zürisee March 2023

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: https://github.com/rust-zurichsee/meetups/tree/master/2023-03-28_embedded-hpc Adrian's Blog: https://alic.dev/ Watch more of our meetup: https://www.youtube.com/playlist?list=PL85XCvVPmGQipj690WrVgsnU4K4x7qFGy Join us next time: https://www.meetup.com/de-DE/rust-zurich/ Would you like to chat or give a talk? Join us in our Matrix room: https://matrix.to/#/#rust-zuerisee:matrix.coredump.ch 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