Module hazard

Source

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.