Implementing Hazard Pointers in Rust

Channel:
United States Jon Gjengset
Subscribers:
97,800
Published on ● Video Link: https://www.youtube.com/watch?v=fvcbyCYdR10


Duration: 4:55:09
30,741 views
519

This time, we take a stab at implementing Hazard Pointers (https://erdani.org/publications/cuj-2004-12.pdf) in Rust. We follow along with the C++ implementation in Facebook's Folly library (https://github.com/facebook/folly/blob/master/folly/synchronization/Hazptr.h), as well as the C++ standardization proposal (http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2021/p1121r3.pdf).

0:00:00 Introduction
0:00:37 Rust for Rustaceans
0:01:00 Concurrent Memory Reclamation
0:10:32 Hazard Pointers
0:35:27 Folly's Hazard Pointer Interface
0:54:08 Delayed Reclamation
0:58:18 More Folly Interface
1:11:56 A Wild Entity Diagram Appears
1:16:40 Memory Use
1:21:12 More Folly Interface
1:27:50 Starting the Rust Code
1:35:24 Testing Out the Rust Interface
1:42:32 HazPtrHolder::load
2:02:15 HazPtrObject::retire
2:19:43 HazPtrHolder::reset
2:22:50 Unsafe Blocks in Unsafe Fns
2:25:04 Borrow Checker Prevents Misuse
2:27:45 Bad Drop Lint
2:34:15 Dropping in HazPtrDomain::retire
2:46:00 Intermission
2:47:57 Reading Folly's HazPtrDomain::retire
2:59:02 HazPtrDomain::acquire
3:17:32 HazPtrDomain::retire
3:45:57 Specifying a Deleter
4:32:26 Tests Pass?
4:36:12 Eager Reclaiming
4:37:32 Checking Reclamation Behavior
4:52:04 Final Thoughts

You can find the code for the implementation at https://github.com/jonhoo/haphazard.

Live version with chat: https://youtu.be/4PuE6oMYxeM



Other Videos By Jon Gjengset


2022-07-01Making a Rust crate compile faster
2022-06-19Day in the Life of Open Source Maintenance 2022-06-19
2022-06-11Post-Crust of Rust Q&A
2022-06-11Crust of Rust: Send, Sync, and their implementors
2022-03-05Implementing and Optimizing a Wordle Solver in Rust
2022-01-15Implementing Hazard Pointers in Rust (part 4/4)
2021-10-31Implementing Hazard Pointers in Rust (part 3)
2021-10-08Crust of Rust: Functions, Closures, and Their Traits
2021-08-31Crust of Rust: async/await
2021-07-10Implementing Hazard Pointers in Rust (part 2)
2021-06-26Implementing Hazard Pointers in Rust
2021-06-13Lock-Free to Wait-Free Simulation in Rust (part 2)
2021-05-22Lock-Free to Wait-Free Simulation in Rust
2021-04-30Crust of Rust: Dispatch and Fat Pointers
2021-04-02Crust of Rust: Atomics and Memory Ordering
2021-03-13Crust of Rust: The Drop Check
2021-02-20Crust of Rust: Subtyping and Variance
2021-01-23Q&A January 2021 (now with cat)
2020-12-12The Unsafe Chronicles: Exhibit A: Aliasing Boxes
2020-11-21A Cool Generic Concurrency Primitive in Rust
2020-11-14Crust of Rust: Sorting Algorithms


Tags:
rust
live-coding
hazard pointers
concurrency
synchronization
memory reclamation