The Collie: A Wait-Free Compacting Collector

摘要

We describe the Collie collector, a fully concurrent compacting collector that uses transactional memory techniques to achieve wait-free compaction. The collector uses compaction as the primary means of reclaiming unused memory, and performs "individual object transplantations" as transactions. We introduce new terms and requirements useful for analyzing concurrent relocating collectors, including definitions of referrer sets, object transplantation and the notion of individually transplantable objects. The Collie collector builds on these terms and on a detailed analysis of an object's legal states during compaction. Collie uses a combination of read barriers, write barriers and transactional memory operations. Its read-barrier supports fast, direct object referencing while using a bound, constant time, wait-free triggering path. Collie thereby avoids the constant indirection cost of Brooks style barriers or handle-based heaps . Collie is demonstrated using speculative multi-address atomicity , a form of hardware transactional memory supported by the Azul Vega architecture . We evaluate the Collie collector on the Azul platform, on which previous concurrent collectors such as the Pauseless Collector and its generational variant have been commercially available for several years. We discuss Collie's performance while running sustained workloads, and compare it to the Pauseless collector on the same platform. The Collie collector provides significant MMU improvements even in the l-msec time windows compared to the Pauseless collector. At the same time, it matches Pauseless in throughput and in the ability to scale to large heap sizes. We believe that the Collie collector is the first garbage collector to leverage hardware-assisted transactional memory. While Collie directly leverages Vega's speculative multi-address atomicity feature (SM A) , its design can be easily adapted to other hardware-assisted transactional memory systems. Specifically, the upcoming Intel TSX instruction set extensions include capabilities similar to SMA. We expect Collie to be easily implementable on future commodity servers based on Intel Haswell processors and following processor generations.