Skip to search formSkip to main contentSkip to account menu

Hazard pointer

In a multithreaded computing environment, hazard pointers are one approach to solving the problems posed by dynamic memory management of the nodes in… 
Wikipedia (opens in a new tab)

Related topics

Related topics

11 relations
ABA problemCompare-and-swapComputer scienceConcurrent data structure

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Safe Deferred Memory Reclamation with Types
Memory management in lock-free data structures remains a major challenge in concurrent programming. Design techniques including… 
2017
2017
Verifying Concurrent Stacks by Divergence-Sensitive Bisimulation
The verification of linearizability -- a key correctness criterion for concurrent objects -- is based on trace refinement whose… 
2017
2017
A new and five older Concurrent Memory Reclamation Schemes in Comparison (Stamp-it)
Memory management is a critical component in almost all shared-memory, concurrent data structures and algorithms, consisting in… 
2015
2015
A Concurrent Dictionary and Wait-Free Queue from Compare and Swap
This paper describes algorithms for a lock-free dictionary and a waitfree queue. The queue improves on a previous result by Kogan… 
2014
2014
Shared boxes: rely-guarantee reasoning in VeriFast
VeriFast is a verifier for single-threaded and multithreaded C and Java programs. It takes a C or Java program annotated with… 
2013
2013
Verifying Concurrent Memory Reclamation Algorithms with Grace
Memory management is one of the most complex aspects of modern concurrent algorithms, and various techniques proposed for it… 
2012
2012
Binary Trees Implementations Comparison for Multicore Programming
Although there are a lot of optimized concurrent algorithms for lists, queues, stacks, hash tables and other common data… 
2011
2011
Active Hazard Pointers : Leak-Free Memory Reclamation for Lock-Free Objects
Lock-free objects offer significant performance and reliability benefits over conventional lock-based counterparts. However, the… 
2010
2010
The Design and Implement of Memory Manager in STM
Software transactional memory (STM) is one of the promising models in parallel programming for multi-core processor system and… 
2005
2005
RCU Semantics: A First Attempt
There is not yet a formal statement of RCU (read-copy update) semantics. While this lack has thus far not been an impediment to… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)