Prev Next

Golang / Golang Internals and Memory Management Interview Questions

How does Go's garbage collector work? Explain the tri-color mark-and-sweep algorithm.

Go uses a concurrent, tri-color mark-and-sweep garbage collector. The key design goal is to minimize Stop-The-World (STW) pauses to sub-millisecond levels, even on large heaps, allowing Go programs to remain responsive under continuous allocation pressure.

Tri-Color Object States
ColorMeaning
WhiteNot yet visited. At GC end, white objects are unreachable — will be freed.
GreyReachable from a root, but outgoing references not yet scanned.
BlackFully scanned. All references from this object have been processed.

Algorithm phases:

  1. STW start (~100 µs): pauses all goroutines briefly to take a consistent root snapshot and enable the write barrier.
  2. Concurrent mark: GC goroutines run alongside application goroutines, turning grey objects black by scanning their references. Application goroutines continue executing.
  3. Write barrier: while marking is concurrent, the program may create new pointers. The write barrier (Dijkstra/hybrid) intercepts pointer writes and shades the pointed-to object grey so it is not missed.
  4. Mark termination (STW) (~100 µs): a second brief pause to drain the grey queue and disable the write barrier.
  5. Concurrent sweep: white (unreachable) objects are swept back into free lists. This is concurrent — no STW needed.
// Trigger GC manually (rarely needed in production)
import "runtime"
runtime.GC() // triggers a full GC cycle

// Read GC stats
var stats runtime.MemStats
runtime.ReadMemStats(&stats)
fmt.Printf("NumGC: %d\n", stats.NumGC)
fmt.Printf("PauseTotal: %v\n", time.Duration(stats.PauseTotalNs))
fmt.Printf("HeapAlloc: %d MB\n", stats.HeapAlloc/1024/1024)

// GOGC env — controls GC frequency
// GOGC=100 (default): GC triggers when heap grows 100% above last GC live set
// GOGC=200: GC triggers at 200% — less frequent GC, more memory used
// GOGC=off: disables GC (only for benchmarks)

// GOMEMLIMIT (Go 1.19+) — hard memory limit
// GOMEMLIMIT=500MiB triggers GC more aggressively if heap approaches 500 MB

The write barrier overhead (~5–10% CPU in allocation-heavy code) is the price paid for concurrent marking. In Go 1.22+, the runtime adaptively adjusts GC frequency using GOGC together with GOMEMLIMIT to balance latency and throughput automatically.

In Go's tri-color GC, what happens to objects that are still white at the end of the mark phase?
What is the purpose of the write barrier during concurrent GC marking?

Invest now in Acorns!!! 🚀 Join Acorns and get your $5 bonus!

Invest now in Acorns!!! 🚀
Join Acorns and get your $5 bonus!

Earn passively and while sleeping

Acorns is a micro-investing app that automatically invests your "spare change" from daily purchases into diversified, expert-built portfolios of ETFs. It is designed for beginners, allowing you to start investing with as little as $5. The service automates saving and investing. Disclosure: I may receive a referral bonus.

Invest now!!! Get Free equity stock (US, UK only)!

Use Robinhood app to invest in stocks. It is safe and secure. Use the Referral link to claim your free stock when you sign up!.

The Robinhood app makes it easy to trade stocks, crypto and more.


Webull! Receive free stock by signing up using the link: Webull signup.

More Related questions...

What is the internal structure of a Go slice and how does it differ from an array? How does append() work internally and what triggers a reallocation? When does a variable get allocated on the stack versus the heap in Go? How do goroutine stacks work and how do they grow in Go? How does Go's garbage collector work? Explain the tri-color mark-and-sweep algorithm. What are GOGC and GOMEMLIMIT and how do you use them to tune GC behavior? How are Go maps implemented internally and what does that mean for performance? When should you use sync.Map instead of a mutex-protected regular map? How do pointers work in Go and when should you pass by pointer vs by value? How does Go's goroutine scheduler work? Explain the GMP model. How are Go channels implemented internally? How are Go interfaces implemented internally and why do they matter for performance? How does Go's memory allocator work? Explain mcache, mcentral, and mheap. How are strings represented in Go and why are they immutable? How does defer work internally in Go and what are its performance implications? How do panic and recover work in Go and when should you use them? How do you profile a Go application using pprof? What is the Go race detector and how does it work? What is the difference between sync.Mutex and sync.RWMutex and when do you use each? When should you use channels versus mutexes in Go concurrency? How do generics work in Go 1.18+ and how do they affect performance? How does context.Context work and when do you use each context type? What is the 'unsafe' package in Go and when is it used? What is the nil interface pitfall in Go and how do you avoid it? What are goroutine leaks and how do you detect and prevent them? How does sync.WaitGroup work and what are common mistakes? How do closures capture variables in Go and what is the classic goroutine loop bug? How does struct embedding work in Go and how does it differ from inheritance? How does error wrapping work in Go 1.13+ with errors.Is and errors.As? How do you write and run benchmarks in Go? How does struct field ordering affect memory layout and performance in Go? How do you implement fan-out and fan-in patterns with Go goroutines? How does the reflect package work in Go and when should it be used? What is cgo in Go and what are its performance trade-offs? What does GOMAXPROCS control and how does it affect Go's concurrency model? How does sync.Once work and what are its use cases? What are the most common memory leak patterns in Go and how do you diagnose them? How do build constraints (build tags) work in Go? How do io.Reader and io.Writer work and why are they fundamental to Go's I/O model? What is the Go optimisation workflow? How do you go from a performance problem to a fix? What is sync.Pool and when should you use it? How do type assertions and type switches perform internally in Go? How does Go's module system work and what is the role of go.sum? How do you implement a worker pool in Go? What static analysis tools are essential for a Go project and what does each check?
Show more question and Answers...

GoLang Interfaces and Object Oriented Interview Questions

Comments & Discussions