Maged Michael
ACM Distinguished Scientist
Maged M. Michael is an ACM Distinguished Scientist and an elected member of the Connecticut Academy of Science and Engineering. He is the inventor of hazard pointers, lock-free malloc and several algorithms for concurrent data structures. He received the 2014 ACM SIGPLAN Most Influential PLDI Paper Award for his paper on Scalable Lock-Free Dynamic Memory Allocation. As an internationally renowned computer scientist in the field of parallel computing, he works for Meta now. Before Facebook, he was a Research Staff Member at IBM. He received a Ph.D. in computer science from the University of Rochester.
Topic
* Hazard Pointer Synchronous Reclamation
The hazard pointer deferred reclamation technique is on track for inclusion in the C++ standard library in C++26. It enables low-latency scalable safe access to shared dynamic objects without expensive synchronization. This talk presents synchronous reclamation for hazard pointers, which enables users to control the timing of reclamation of objects protectable by hazard pointers. This is necessary for supporting generic types with deleters that depend on resources with independent lifetimes. The talk covers: overview of hazard pointers, motivation for synchronous reclamation, solution options, the cohort algorithm--a fast and scalable solution, C++ API, and C++ usage examples.
