Stack vs heap allocation of structs in Go, and how they relate to garbage collection

by

It’s worth noting that the words “stack” and “heap” do not appear anywhere in the language spec. Your question is worded with “…is declared on the stack,” and “…declared on the heap,” but note that Go declaration syntax says nothing about stack or heap.

That technically makes the answer to all of your questions implementation dependent. In actuality of course, there is a stack (per goroutine!) and a heap and some things go on the stack and some on the heap. In some cases the compiler follows rigid rules (like “new always allocates on the heap”) and in others the compiler does “escape analysis” to decide if an object can live on the stack or if it must be allocated on the heap.

In your example 2, escape analysis would show the pointer to the struct escaping and so the compiler would have to allocate the struct. I think the current implementation of Go follows a rigid rule in this case however, which is that if the address is taken of any part of a struct, the struct goes on the heap.

For question 3, we risk getting confused about terminology. Everything in Go is passed by value, there is no pass by reference. Here you are returning a pointer value. What’s the point of pointers? Consider the following modification of your example:

type MyStructType struct{}

func myFunction1() (*MyStructType, error) {
    var chunk *MyStructType = new(MyStructType)
    // ...
    return chunk, nil
}

func myFunction2() (MyStructType, error) {
    var chunk MyStructType
    // ...
    return chunk, nil
}

type bigStruct struct {
    lots [1e6]float64
}

func myFunction3() (bigStruct, error) {
    var chunk bigStruct
    // ...
    return chunk, nil
}

I modified myFunction2 to return the struct rather than the address of the struct. Compare the assembly output of myFunction1 and myFunction2 now,

--- prog list "myFunction1" ---
0000 (s.go:5) TEXT    myFunction1+0(SB),$16-24
0001 (s.go:6) MOVQ    $type."".MyStructType+0(SB),(SP)
0002 (s.go:6) CALL    ,runtime.new+0(SB)
0003 (s.go:6) MOVQ    8(SP),AX
0004 (s.go:8) MOVQ    AX,.noname+0(FP)
0005 (s.go:8) MOVQ    $0,.noname+8(FP)
0006 (s.go:8) MOVQ    $0,.noname+16(FP)
0007 (s.go:8) RET     ,

--- prog list "myFunction2" ---
0008 (s.go:11) TEXT    myFunction2+0(SB),$0-16
0009 (s.go:12) LEAQ    chunk+0(SP),DI
0010 (s.go:12) MOVQ    $0,AX
0011 (s.go:14) LEAQ    .noname+0(FP),BX
0012 (s.go:14) LEAQ    chunk+0(SP),BX
0013 (s.go:14) MOVQ    $0,.noname+0(FP)
0014 (s.go:14) MOVQ    $0,.noname+8(FP)
0015 (s.go:14) RET     ,

Don’t worry that myFunction1 output here is different than in peterSO’s (excellent) answer. We’re obviously running different compilers. Otherwise, see that I modfied myFunction2 to return myStructType rather than *myStructType. The call to runtime.new is gone, which in some cases would be a good thing. Hold on though, here’s myFunction3,

--- prog list "myFunction3" ---
0016 (s.go:21) TEXT    myFunction3+0(SB),$8000000-8000016
0017 (s.go:22) LEAQ    chunk+-8000000(SP),DI
0018 (s.go:22) MOVQ    $0,AX
0019 (s.go:22) MOVQ    $1000000,CX
0020 (s.go:22) REP     ,
0021 (s.go:22) STOSQ   ,
0022 (s.go:24) LEAQ    chunk+-8000000(SP),SI
0023 (s.go:24) LEAQ    .noname+0(FP),DI
0024 (s.go:24) MOVQ    $1000000,CX
0025 (s.go:24) REP     ,
0026 (s.go:24) MOVSQ   ,
0027 (s.go:24) MOVQ    $0,.noname+8000000(FP)
0028 (s.go:24) MOVQ    $0,.noname+8000008(FP)
0029 (s.go:24) RET     ,

Still no call to runtime.new, and yes it really works to return an 8MB object by value. It works, but you usually wouldn’t want to. The point of a pointer here would be to avoid pushing around 8MB objects.

More Related Contents:

  1. How to avoid non reachable code with switch-case?
  2. Stop code execution after redirect
  3. Unable to install gRPC for go in mac os
  4. What’s the meaning of interface{}?
  5. Multiple values in single-value context
  6. How to initialize a nested struct?
  7. how to reference a relative file from code and tests
  8. Object creation on the stack/heap?
  9. Iterate through the fields of a struct in Go
  10. If Go’s interfaces aren’t enforced, are they necessary?
  11. Application auto build versioning
  12. How to set default values in Go structs
  13. What are channels used for?
  14. Cross compile Go on OSX?
  15. What does an underscore in front of an import statement mean?
  16. How to cross compile from Windows to Linux?
  17. Where in memory are string literals ? stack / heap? [duplicate]
  18. Identify non builtin-types using reflect
  19. In a Go template range loop, are variables declared outside the loop reset on each iteration?
  20. How to collect values from N goroutines executed in a specific order?
  21. How to compile Go program consisting of multiple files?
  22. Reason for huge size of compiled executable of Go
  23. From io.Reader to string in Go
  24. Converting map to struct
  25. Why does golang compiler think the variable is declared but not used?
  26. Why can’t I append to a slice that’s the property of a struct in golang?
  27. calling command with some arguments works but not with others but works from console
  28. Do buffered channels maintain order?
  29. Build Docker Image From Go Code
  30. What do “value semantics’” and “pointer semantics” mean in Go?

Leave a Comment