Heap allocation

Many operations in Go rely on heap allocation. TinyGo will try to optimize them away using escape analysis, but that is not always possible in practice.

If you want to know for sure which operations allocate on the heap, you can pass the compiler flag -print-allocs=. to show all heap allocations. You can also do this for a subset of functions or packages, for details see build flags.

These operations currently do heap allocations:

  • Taking the pointer of a local variable. This will result in a heap allocation, unless the compiler can see the resulting pointer never escapes. This causes a heap allocation:

    var global *int
    
    func foo() {
        i := 3
        global = &i
    }
    

    This does not cause a heap allocation:

    func foo() {
        i := 3
        bar(&i)
    }
    
    func bar(i *int) {
        println(*i)
    }
    
  • Converting between string and []byte. In general, this causes a heap allocation because one is constant while the other is not: for example, a []byte is not allowed to write to the underlying buffer of a string. However, there is an optimization that avoids a heap allocation when converting a string to a []byte when the compiler can see the slice is never written to. For example, this WriteString function does not cause a heap allocation:

    func WriteString(s string) {
        Write([]byte(s))
    }
    
    func Write(buf []byte) {
        for _, c := range buf {
            WriteByte(c)
        }
    }
    
  • Converting a byte or rune into a string. This operation is actually a conversion from a Unicode code point into a single-character string so is similar to the previous point.

  • Concatenating strings, unless one of them is zero length.

  • Creating an interface with a value larger than a pointer. Interfaces in Go are not a zero-cost abstraction and should be used carefully on microcontrollers.

  • Closures where the collection of shared variables between the closure and the main function is larger than a pointer.

  • Creating and modifying maps.

  • Starting goroutines.