CppCon 2019 has ended
Back To Schedule
Tuesday, September 17 • 09:00 - 10:00
Will Your Code Survive the Attack of the Zombie Pointers?

Log in to save this to your schedule, view media, leave feedback and see who's attending!

Both the C++ and C standards currently specify that all pointers to an object become invalid (in the case of C, "indeterminate") at the end of that object's lifetime. In other words, your program's nice well-behaved pointers become vicious zombies. This transformation to zombies permits some additional diagnostics and optimizations, some deployed and some hypothetical, but it is not consistent with long-standing usage, especially for a range of concurrent and sequential algorithms that rely on loads, stores, and equality comparisons of such pointers. In fact, a few long-standing concurrent algorithms rely on assembly-language-style reincarnation of a zombie pointer when a new object is allocated at that same address.

This presentation gives an overview of several of these algorithms and discusses a range of possible ways of rehabilitating zombie pointers.

avatar for Michael Wong

Michael Wong

Distinguished Engineer, VP, Codeplay,ISOCPP
Michael Wong is Distinguished Engineer/VP of R&D at Codeplay Software. He is a current Director and VP of ISOCPP , and a senior member of the C++ Standards Committee with more then 15 years of experience. He chairs the WG21 SG5 Transactional Memory and SG14 Games Development/Low Latency/Financials... Read More →
avatar for Paul E. McKenney

Paul E. McKenney

Software Engineer, Facebook
Paul E. McKenney has been coding for almost four decades, more than half of that on parallel hardware, where his work has earned him a reputation among some as a flaming heretic. Paul maintains the RCU implementation within the Linux kernel, where the variety of workloads present... Read More →
avatar for Maged Michael

Maged Michael

Engineer, Facebook
Maged Michael is a software engineer at Facebook. He is the inventor of hazard pointers, lock-free malloc and several algorithms for concurrent data structures. He received a Ph.D. in computer science from the University of Rochester. He is an ACM Distinguished Scientist. He is an... Read More →

Tuesday September 17, 2019 09:00 - 10:00 MDT
Summit 4/5