[go-nuts] golang gc

Yes, that’s basically how it’s done. The runtime, including the GC, is compiled with special options; among other things, the compiler’s escape-analysis system gives an error when a value “escapes” instead of allocating it on the heap.

More or less, yes. The entire runtime package is compiled in a mode
in which the compiler refuses to implicitly allocate memory. The
runtime package can still allocate memory explicitly where possible
and appropriate, but the compiler won't introduce any memory
allocation. Then, given that tool, the GC is written very very
carefully.

Note that Go is an open source project, so you can look at the
implementation yourself. Start at runtime/mgc.go.

Ian