Module hazard

Structs

HazardBag

Global bag (multiset) of hazards pointers. HazardBag.head and HazardSlot.next form a grow-only list of all hazard slots. Slots are never removed from this list. Instead, it gets deactivated and recycled for other Shields.

HazardSlot 🔒

See HazardBag

Shield

Represents the ownership of a hazard pointer slot.