4 GC Collector Language, 2

▼ |  | Programming Languages: Application and Interpretation

1 | PLAI Scheme
2 | GC Collector Scheme
3 | GC Mutator Scheme
4 | GC Collector Language, 2
5 | GC Mutator Language, 2
6 | Web Application Scheme

► | 4 | GC Collector Language, 2

4.1 | Garbage Collector Interface for GC2
4.2 | Garbage Collector Exports for GC2

On this page:

4.1`` Garbage Collector Interface for GC2
heap-size
location?
root?
heap-value?
heap-set!
heap-ref
get-root-set
read-root
set-root!
make-root
with-heap
with-roots
4.2`` Garbage Collector Exports for GC2
init-allocator
gc: deref
gc: alloc-flat
gc: cons
gc: first
gc: rest
gc: set-first!
gc: set-rest!
gc: cons?
gc: flat?
gc: closure
gc: closure-code-ptr
gc: closure-env-ref
gc: closure?

top ← prev up next →

### 4`` GC Collector Language, 2

#lang plai/gc2/collector

GC Collector Scheme is based on PLAI. It provides additional procedures and syntax for writing garbage collectors.

#### 4.1`` Garbage Collector Interface for GC2

The GC Collector Scheme language provides the following functions that provide access to the heap and root set:

> procedure (heap-size) → exact-nonnegative-integer?

Returns the size of the heap. The size of the heap is specified by the mutator that uses the garbage collector. See allocator-setup for more information.

> procedure (location? v) → boolean?
> v : any/c

Determines if v is an integer between 0 and (- (heap-size) 1) inclusive.

> procedure (root? v) → boolean?
> v : any/c

Determines if v is a root.

> procedure (heap-value? v) → boolean?
> v : any/c

A value that may be stored on the heap. Roughly corresponds to the contract (or/c boolean? number? procedure? symbol? empty?).

> procedure (heap-set! loc val) → void?
> loc : location?
> val : heap-value?

Sets the value at loc to val.

> procedure (heap-ref loc) → heap-value?
> loc : location?

Returns the value at loc.

> syntax (get-root-set)

Returns the current root?s as a list. This returns valid roots only when invoked via the mutator language. Otherwise it returns only what has been set up with with-roots.

> procedure (read-root root) → location?
> root : root?

Returns the location of root.

> procedure (set-root! root loc) → void?
> root : root?
> loc : location?

Updates root to refer to loc.

> procedure (make-root name get set) → root?
> name : symbol?
> get : (-> location?)
> set : (-> location? void?)

Creates a new root. When read-root is called, it invokes get and when set-root! is called, it invokes set.

For example, this creates a root that uses the local variable x to hold its location:

> (let ([x 1])
> (make-root 'x
> (λ () x)
> (λ (new-x) (set! x new-x))))

> syntax (with-heap heap-expr body-expr ...)
> | heap-expr |  | : |  | (vectorof heap-value?)

Evaluates each of the body-exprs in a context where the value of heap-expr is used as the heap. Useful in tests:

> (test (with-heap (make-vector 20)
> (init-allocator)
> (gc:deref (gc:alloc-flat 2)))
> 2)

> syntax (with-roots (root-var ...) expr1 expr2 ...)
> | roots-expr |  | : |  | (listof location?)

Evaluates each of expr1 and the expr2s in in a context with additional roots, one for each of the root-vars. The get-root-set function returns these additional roots. Calling read-root on one of the newly created roots returns the value of the corresponding root-var and calling set-root! mutates the corresponding variable.

This form is intended to be used in test suites for collectors. Since your test suites are not running in the

> #lang plai/gc2/mutator

language, get-root-set returns a list consisting only of the roots it created, not all of the other roots it normally would return. Use with-roots to note specific locations as roots and set up better tests for your GC.

> (test (with-heap (make-vector 4)
> (define f1 (gc:alloc-flat 1))
> (define r1 (make-root 'f1
> (λ () f1)
> (λ (v) (set! f1 v))))
> (define c1 (gc:cons r1 r1))
> (with-roots (c1)
> (gc:deref
> (gc:first
> (gc:cons r1 r1)))))
> 1)

#### 4.2`` Garbage Collector Exports for GC2

A garbage collector must define the following functions:

> procedure (init-allocator) → void?

init-allocator is called before all other procedures by a mutator. Place any requisite initialization code here.

> procedure (gc:deref loc) → heap-value?
> loc : location?

Given the location of a flat value, this procedure should return that value. If the location does not hold a flat value, this function should signal an error.

> procedure (gc:alloc-flat val) → location?
> val : heap-value?

This procedure should allocate a flat value (number, symbol, boolean, closure or empty list) on the heap, returning its location (a number). The value should occupy a single heap cell, though you may use additional space to store a tag, etc. You are also welcome to pre-allocate common constants (e.g., the empty list). This procedure may need to perform a garbage-collection. If there is still insufficient space, it should signal an error.

Note that closures are flat values. The environment of a closure is internally managed, but contains references to values on the heap. Therefore, during garbage collection, the environment of reachable closures must be updated. The language exposes the environment via the procedure-roots function.

> procedure (gc:cons first rest) → location?
> first : root?
> rest : root?

Given two roots, one for the first and rest values, this procedure must allocate a cons cell on the heap. If there is insufficient space to allocate the cons cell, it should signal an error.

> procedure (gc:first cons-cell) → location?
> cons-cell : location?

If the given location refers to a cons cell, this should return the first field. Otherwise, it should signal an error.

> procedure (gc:rest cons-cell) → location?
> cons-cell : location?

If the given location refers to a cons cell, this should return the rest field. Otherwise, it should signal an error.

> procedure (gc:set-first! cons-cell first-value) → void?
> cons-cell : location?
> first-value : location?

If cons-cell refers to a cons cell, set the head of the cons cell to first-value. Otherwise, signal an error.

> procedure (gc:set-rest! cons-cell rest-value) → void?
> cons-cell : location?
> rest-value : location?

If cons-cell refers to a cons cell, set the tail of the cons cell to rest-value. Otherwise, signal an error.

> procedure (gc:cons? loc) → boolean?
> loc : location?

Returns #true if loc refers to a cons cell. This function should never signal an error.

> procedure (gc:flat? loc) → boolean?
> loc : location?

Returns #true if loc refers to a flat value. This function should never signal an error.

> procedure (gc:closure code-ptr free-vars) → location?
> code-ptr : heap-value?
> free-vars : (listof root?)

Allocates a closure with code-ptr and the free variables in the list free-vars.

> procedure (gc:closure-code-ptr loc) → heap-value?
> loc : location?

Given a location returned from an earlier allocation check to see if it is a closure; if not signal an error. if so, return the code-ptr for that closure.

> procedure (gc:closure-env-ref loc i) → location?
> loc : location?
> i : exact-nonnegative-integer?

Given a location returned from an earlier allocation, check to see if it is a closure; if not signal an error. Uf so, return the ith variable in the closure (counting from 0).

> procedure (gc:closure? loc) → boolean?
> loc : location?

Determine if a previously allocated location holds a closure. This function will be called only with locations previous returned from an allocating function or passed to set-root!. It should never signal an error.
top ← prev up next →