Hazard pointers: safe memory reclamation for lock-free objects | IEEE Journals & Magazine | IEEE Xplore