PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM (series) / PLDI 2017 (series) / ISMM 2017 (series) / ISMM Research Papers /
Type-Assisted Automatic Garbage Collection for Lock-Free Data Structures
We introduce Isolde, an automatic garbage collection scheme designed specifically for managing memory in lock-free data structures, such as stacks, lists, maps and queues. Isolde exists as a plug-in memory manager, designed to sit on-top of another memory manager, and use it’s allocator and reclaimer. Isolde treats a lock-free data structure as a logical heap, isolated from the rest of the program. This allows garbage collection outside of Isolde to take place without affecting the lock-free data structure. Isolde further manages objects allocated on a Isolde heap in a fully concurrent manner, allowing garbage collection to incrementally remove garbage without stopping other threads doing work.
Sun 18 Jun
09:30 - 10:30: ISMM 2017 - Session 1: Garbage Collection at Aula Master Chair(s): Hannes PayerGoogle | ||||||||||||||||||||||||||||||||||||||||||
09:30 - 10:00 Talk | Rodrigo BrunoINESC-ID / Instituto Superior Técnico, University of Lisbon, Luís Picciochi OliveiraFeedzai, Paulo FerreiraINESC-ID / Instituto Superior Técnico, University of Lisbon | |||||||||||||||||||||||||||||||||||||||||
10:00 - 10:30 Talk |