Upgrade to Pro — share decks privately, control downloads, hide ads and more …

Papers We Love: "A Unified Theory of Garbage Col...

Papers We Love: "A Unified Theory of Garbage Collection"

My talk at http://www.meetup.com/papers-we-love/events/163406212/ about this great paper!

Michael Bernstein

February 24, 2014
Tweet

More Decks by Michael Bernstein

Other Decks in Technology

Transcript

  1. A Unified Theory of Garbage Collection Michael R. Bernstein Papers

    We Love #1 NYC, 24 February 2014 Monday, February 24, 14 - I am SO EXCITED to be here! - Many thanks to Zeeshan, Clint, and our hosts at Viggle
  2. Obsessed Monday, February 24, 14 - Hello, my name is

    Michael R. Bernstein, and I’m Obsessed. - Not with anything in particular, just in general - I want you to be obsessed too.
  3. About Me • Former Computer Science educator • Currently a

    “professional programmer” • Got interested in Garbage Collection because I used Ruby professionally • This meetup is basically my dream come true Monday, February 24, 14 - A little bit about me
  4. “A Unified Theory of Garbage Collection” Bacon, Chang, and Rajan,

    2004 Monday, February 24, 14 - The paper for tonight’s discussion
  5. Outline • Garbage Collection • This paper’s contributions • My

    favorite parts • Discussion Monday, February 24, 14 - Here’s what we’ll cover
  6. Show of Hands • Studied GC? • Read the paper?

    • Hacked on a GC? • Here for the beer and pizza? Monday, February 24, 14 - Show of hands
  7. Terminology • Garbage Collection • Heap • Mutator • Collector

    • Roots • Barriers Monday, February 24, 14 - Who has good definitions?
  8. “Garbage collection is automatic memory management. While the mutator runs,

    it routinely allocates memory from the heap. If more memory than available is needed, the collector reclaims unused memory and returns it to the heap.” Monday, February 24, 14 - And a definition
  9. GC Algorithms Monday, February 24, 14 - Let’s discuss the

    two algorithms that are the starting point for the discussion in the paper
  10. “The incremental nature of reference counting is generally considered to

    be its fundamental advantage. However, the cost of updating reference counts every time a new pointer is loaded into a register is typically much to high for high- performance applications.” Reference Counting Monday, February 24, 14 - Description
  11. “As a result, some form of deferred reference counting is

    used...the result is delayed collection, floating garbage, and longer pauses - the typical characteristics of tracing collectors!” Reference Counting Monday, February 24, 14 - RC
  12. “...its fundamental advantages are the lack of per-mutation overhead and

    the natural collection of cyclic garbage. However, a fundamental disadvantage of tracing is that freeing of dead objects is delayed...resulting in long pause times.” Mark & Sweep Monday, February 24, 14 - M&S
  13. “One of the first optimizations that is typically applied is

    generational collection. This reduces the average pause time...but also introduces per-mutation overhead -- thus it takes on both some of the positive and negative aspects of reference counting collection.” Mark & Sweep Monday, February 24, 14 - M&S
  14. This Paper’s Structure • Qualitative Comparison • The Algorithmic Duals

    • Hybrid Collectors • Cycle Collection • Multi-Heap Collectors • Cost Analysis • Space-Time Tradeoffs Monday, February 24, 14 - Formal framework - Fixed point formulation - Shows that what we think is different is similar
  15. This Paper’s Contributions • Formal framework for GC algorithms •

    Breaks down cargo-culted beliefs • Nearly all production GCs are hybrids • Design recommendations Monday, February 24, 14 - Formal framework - Fixed point formulation - Shows that what we think is different is similar
  16. "Our first-hand experience of (and frustration with) the convergence of

    optimized forms of reference counting and tracing collectors led directly to a deeper study of the algorithms in the hope of funding fundamental similarities that seem to be appearing in practice." Monday, February 24, 14 - Awesome quote
  17. “...tracing operates on live objects, or 'matter', while reference counting

    operates on dead objects, or 'anti- matter'. For every operation performed by the tracing collector, there is a precisely corresponding anti- operation performed by the reference counting collector.” Monday, February 24, 14 - Awesome quote
  18. Why I Love It • Emphasizes tradeoffs • Specifies areas

    of focus for design • Really neat and novel Monday, February 24, 14 - Tradeoffs - algorithms which are good for distributed or disk backed systems would be terrible for VMs and vice versa - Authors provide a list of properties of GC algorithms which should be considered in design
  19. Discussion • Other algorithmic duals? • Details of fix-point formulation

    • Partition, traversal, and trade-offs • Automatically tuned GCs Monday, February 24, 14 - Others - not quite the same, but FP vs. OOP