#hazard-pointers #protected #array #mark #boundary #protector #protector-pool

mess_protector

A Protector is like a less-formal hazard pointer. It is intended to mark a boundary in an array as protected so that it won't be overwritten.

1 unstable release

0.0.1 Dec 6, 2023

#9 in #protected

MIT/Apache

11KB
254 lines

mess_protector

This crate provides a Protector and ProtectorPool. The protector is kind of like a RWLock, RCU, or hazard pointer. It's used to mark some usize (likely an array index) as "protected."

Dependencies

~0.7–28MB
~355K SLoC