Implementing Hazard Pointers in Rust (part 2)

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


Duration: 5:28:30
10,165 views
140

We continue our journey 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), starting from where we left off last time: https://github.com/jonhoo/haphazard/tree/7f0d8d62e071f8bc55233a3d2437225d6282e368



0:00:00 Introduction
0:01:50 Where we left off
0:05:50 PRs fixing problems from part 1
0:10:35 Update on issues we filed
0:20:37 Bugs I found
0:35:12 Can deleter alias be const?
0:38:35 impl Drop vs drop in vtable
0:40:25 Some Rust Q&A
0:43:20 Splitting up into modules
0:56:56 Support for custom domains
2:19:30 Improving static domain safety
2:58:04 Intermission
3:02:02 Aligning with Folly's HazPtrDomain
4:39:03 Aligning with Folly's HazPtrHolder
5:18:32 Aligning with Folly's HazPtrObject

5:25:10 Where we are and where next?


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

Live version with chat: https://youtu.be/Hy8VfC2FwBM



Other Videos By Jon Gjengset


2022-09-24Crust of Rust: Build Scripts and Foreign-Function Interfaces (FFI)
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


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