Memory management support for lock-free data structures is well known to be a tough problem. Recent work has successfully reduced the overhead of such schemes. However, applying memory management support to a data structure remains complex and in many cases requires to redesign the data structure. In this paper, we present the first lock-free memory management scheme that is applicable to general (arbitrary) lock-free data structures and can be applied automatically via a compiler plugin. In addition to the simplicity of incorporating, this scheme provides low overhead and does not rely on the lock-freedom of any OS services.
Wed 7 Nov
|10:30 - 10:52|
Nachshon CohenEPFL, Switzerland
|10:52 - 11:15|
Benoit DalozeJKU Linz, Austria, Arie TalTechnion, Stefan MarrUniversity of Kent, Hanspeter MössenböckJKU Linz, Austria, Erez PetrankTechnionPre-print
|11:15 - 11:37|
|11:37 - 12:00|