Leveraging Immutability to Validate Hazard Pointers for Optimistic Traversals

Hazard pointers (HP) is one of the earliest manual memory reclamation algorithms for concurrent data structures. It is widely used for its robustness: memory overhead is bounded (e.g., by the number of threads). To access a node, threads first announce the protection of each to-be-accessed node, whi...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Proceedings of ACM on programming languages Jg. 9; H. PLDI; S. 26 - 47
Hauptverfasser:	Lee, Janggun, Kim, Jeonghyeon, Kang, Jeehoon
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York, NY, USA ACM 10.06.2025
Schlagworte:	Computing methodologies Concurrent algorithms Garbage collection Program verification Software and its engineering Theory of computation concurrent data structures concurrent memory reclamation hazard pointers
ISSN:	2475-1421, 2475-1421
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!