2.13 concurrent

1. What There Is

1.1. goroutine + channel

• goroutine.md
• channel.md

1.2. sync Package

sync.md

2. Synchronization

2.1. Sequential Consistency Model

Within the same Goroutine thread, the sequentially consistent memory model is guaranteed.

2.2. happens-before

Different Goroutines do not satisfy the sequentially consistent memory model by themselves. Explicitly defined synchronization events are needed as synchronization references.

2.2.1. channel

• buffered channel: ch <- v ≤ v <- ch
  • Explanation: sending data to a buffered channel happens before receiving the data from the buffered channel
  • That is, the writer needs to produce data first and put it into the channel; then the reader can consume the data from the channel
• unbuffered channel: v <- ch ≤ ch <- v
  • Explanation: receiving data from an unbuffered channel happens before sending data to the unbuffered channel
  • That is, when the reader reads data from the channel, it blocks until the writer produces data into the channel

3. Concurrency Patterns

• Fan-in and Fan-out · Chinese Notes for Concurrency in Go · KanCloud

4. Multi-core CPU

Go Multi-core Parallelization PythonWise: CPU Affinity in Go tsingson/cpuaffinity: pin goroutine to cpu core as thread

5. References

• 1.5 Concurrency-Oriented Memory Model · Advanced Go Programming
• The Go Memory Model - The Go Programming Language
• Effective Go - The Go Programming Language
• The Go Memory Model - The Go Programming Language