Write a Blog >>
Mon 24 Feb 2020 15:15 - 15:40 - Concurrent Data Structures (Mediterranean Ballroom) Chair(s): Michael Scott

In this paper, we present a universal memory reclamation scheme, Wait-Free Eras (WFE), for deleted memory blocks in wait-free concurrent data structures. WFE’s key innovation is that it is completely wait-free. Although some techniques provide similar guarantees for certain data structures, they lack support for arbitrary wait-free data structures. Consequently, developers are typically forced to marry their wait-free data structures with lock-free Hazard Pointers or (potentially blocking) epoch-based memory reclamation. Since both these schemes provide weaker progress guarantees, they essentially forfeit the strong progress guarantees of wait-free data structures. Though making the original Hazard Pointers scheme or epoch-based reclamation completely wait-free seems infeasible, we achieved this goal with a more recent, (lock-free) Hazard Eras scheme which we extend to guarantee wait-freedom. As this extension is non-trivial, we discuss all challenges pertaining to the construction of universal wait-free memory reclamation.

WFE is implementable on ubiquitous x86_64 and AArch64 (ARM) architectures. Its API is mostly compatible with Hazard Pointers, which allows easy transitioning of existing data structures into WFE. Our experimental evaluations show that WFE’s performance is close to epoch-based reclamation and almost matches the original Hazard Eras scheme, while providing stronger progress guarantees.

Mon 24 Feb (GMT-07:00) Tijuana, Baja California change

14:00 - 15:40: Main Conference - Concurrent Data Structures (Mediterranean Ballroom)
Chair(s): Michael Scott
PPoPP-2020-papers14:00 - 14:25
Or OstrovskyTel Aviv University, Adam MorrisonTel Aviv University
PPoPP-2020-papers14:25 - 14:50
Andreia CorreiaUniversity of Neuchâtel, Pedro Ramalhete, Pascal FelberUniversité de Neuchâtel
PPoPP-2020-papers14:50 - 15:15
Arik RinbergTechnion, Alexander SpiegelmanVMware Research, Edward BortnikovYahoo Research, Eshcar HillelYahoo Research, Oath, Idit KeidarTechnion - Israel institute of technology, Hadar ServianskyWeizmann, Lee RhodesVerizon Media
PPoPP-2020-papers15:15 - 15:40
Ruslan NikolaevVirginia Tech, Binoy RavindranVirginia Tech