How would you design and reason about backpressure in a Go pipeline built from channels?

Explain how Go's memory model defines synchronization guarantees for goroutines, and why unsynchronized access is unsafe even for "simple" reads/writes.