While preparing for a conference talk on Garbage Collection algorithms, implementations, and history, I have made a habit of scouring the internet for information on how to communicate the challenging ideas that Garbage Collection (GC) encompasses. During one of these frenzies I came across a fascinating paper, Teaching Garbage Collection without Implementing Compilers or Interpreters, which attempts to provide a framework to teach Computer Science students the finer points of GC through the constructivist means of having them actually implement the algorithms. This framework is necessary because according to the authors:
"Many students appear to have a poor grasp of garbage collection."
While it is interesting to me how students learn, I am much more interested in how professionals learn. It's no surprise that this concept isn't discussed much in this paper, as it is clearly beyond its scope, but it is posited that:
"Beyond the pure pedagogic value, this (approach) could have a salutary impact on the software students write in their careers."
I believe it can. Having tried to draw connections between academic and professional practice before with some success, I'm considering taking something very similar to the approach outlined in this paper in the talk I'm preparing, in order to illustrate the concepts at the core of Garbage Collection and leave a lasting impression.
According to the paper and bolstered by my own experience as a Computer Science educator and recruiter for a startup, GC is taught at the Undergraduate and Graduate levels in varying degrees of granularity, for a wide range of purposes. Some programs merely place GC in the hierarchy of important problems and work areas in Computer Science, acknowledging that it is relied on, but not necessary to thoroughly understand. Other programs attempt to teach students how to implement GC in the context of Programming Language or Virtual Machine design, accepting the burden and relying on a host of prior knowledge from the student for the material to be comprehensible.
The authors propose an interesting way to get at the heart of the issues that GC represents, allowing students to focus on the implementation details of various GC algorithms and their impact on runtimes without having to endure the pain of "curricular dependencies" (parsing, lexing, program transformation, etc.) normally associated with Virtual Machine construction.
This post on the Brown University PLT Blog outlines the technique, which uses the Dr. Racket IDE and Racket programming language to teach the material. The central concept behind this pedagogy is that students should focus on the implementation details of the collector and mutator routines in their runtimes by actually implementing them, because...they are learning about Garbage Collection. The authors repeatedly refer to "curricular dependencies" as a deterrent to being able to teach GC thoroughly and deeply, and they cite evidence that their approach, which allows students to shed a number of these dependencies, leads to students who not only understand memory management and GC, but are excited to use them in practice. The authors make some of their course work available, including a sample collector that simply throws an error when the heap is out of space (shown in a modified form below), and their approach and implementation are both very compelling.
The flexibility and feature-set of Racket makes it possible for students to implement a collector in ten functions in order to be able to interface with a mutator that is provided by the framework.
Here's a breakdown of how the framework functions in practice:
Racket is an excellent choice for this kind of experiment and the authors of the framework have worked diligently to provide a smooth experience for students, leveraging some awesome language features along the way. An awesome side effect of diving into this material has been an introduction to this great language and framework up close, which I had only read about in a passive way. One of the most compelling implementation details of the framework is how the authors provide automatic A-normal form program transformation for input programs. Combined with the use of continuation marks and other language features, the framework is capable of automatically "re-routing" memory allocations to the student designed heap and collector. I have provided an example of this below. Contracts are also employed to ensure that any of the implemented functions cannot "cheat" by, for example, allocating complex data structures on the student heap directly without laying them out on their own.
;; Expands (partially, at least) to the below. Notice the 'set-collector' ;; calls and the invocation of the gui in particular. (module mutator plai/mutator (#%module-begin (begin (require "mrbcollector.rkt") (set-collector:deref! gc:deref) (set-collector:alloc-flat! gc:alloc-flat) (set-collector:cons! gc:cons) (set-collector:first! gc:first) (set-collector:rest! gc:rest) (set-collector:flat?! gc:flat?) (set-collector:cons?! gc:cons?) (set-collector:set-first!! gc:set-first!) (set-collector:set-rest!! gc:set-rest!) (init-heap! (#%datum . 128)) (when (gui-available?) (if (<= (#%datum . 128) 500) (set-ui! (dynamic-require `plai/private/gc-gui 'heap-viz%)) (printf "Large heap; the heap visualizer will not be displayed.\n"))) (init-allocator)) (mutator-top-interaction define (incr-list lst) (if (empty? lst) empty (cons (+ 1 (first lst)) (incr-list (rest lst))))) (mutator-top-interaction incr-list '(1 2 3 4 5))))
The paper reports a great deal of success with this approach, which leads me to wonder - can I turn it around a bit to help make various schemes clearer to professional developers in a conference setting? There is clearly great power in the simplicity in writing a very small lisp program and seeing your custom memory layout visualized, but will it translate when it is someone else's? Is the power in this approach in the constructivism that the authors worked so hard to achieve, or is the interface they provide an equally powerful tool?
(define (gc:alloc-flat p) (begin (when (> (+ heap-ptr cell-size) (heap-size)) (map (lambda (s) (print (read-root s))) (get-root-set)) (error "out of memory"))
It is relatively simple to get up and running with this system. Download Racket, follow the instructions on this course page, begin implementing various GC algorithms, and see your favorites in action (an example Mark and Sweep collector can be found here). If you don't learn something new, at the very least you'll appreciate the implementation of the GC you rely on daily.
Thank you to the authors of the original paper for their encouragement and links to further resources, and to @jdmaturen for the correction.
Note: An earlier version of this post linked directly to the PDF. A correction was made to link to the information page at the request of the authors.
April 17 2015: Thanks to Nikita Baksalyar for linkrot corrections.