| Title | : | High Performance Memory Reclamation in Concurrent Data Structures |
| Speaker | : | Ajay Singh (ICS Forth) |
| Details | : | Wed, 11 Feb, 2026 2:30 PM @ SSB 334 |
| Abstract: | : | Safe memory reclamation (SMR) is crucial to ensure memory safety in optimistic and lock-free concurrent data structures in non-garbage collected programming languages. Yet, designing an ideal SMR algorithm remains challenging. The main difficulties include achieving high speed and scalability, keeping the interface easy to use for programmers, ensuring applicability to a broad class of data structures, bounding the memory footprint, and avoiding asymmetric overhead across data structure operations. Addressing these issues is critical for enabling the deployment of concurrent data structures in production systems. In this talk, I will present three new methods for safe memory reclamation that are each designed to address a distinct shortcoming of state-of-the-art safe memory reclamation algorithms. Together, these methods demonstrate how codesigning safe memory reclamation algorithms with neighboring layers of the programming environment, including operating system and hardware cache-coherence, can overcome longstanding challenges efficiently. |
