概念：
CSP模型，即通信顺序进程模型，是由英国计算机科学家C.A.R. Hoare于1978年提出的。该模型强调进程之间通过通道（channel）进行通信，并通过消息传递来协调并发执行的进程。CSP模型的核心思想是“不要通过共享内存来通信，而要通过通信来共享内存”。这一思想有效地避免了传统并发编程中常见的竞态条件和死锁问题。
我的理解是一份数据不能由多个协程同时持有：
1、对于无缓冲chan，一份数据只能同时由一个协程持有。
如果没有数据接收者，发送者阻塞。
如果阻塞后出现了数据接收者，将数据转交给接收者之后发送者才能从阻塞中返回。
如果有数据接收者在等待，发送者不用阻塞，将数据转交给接收者之后立刻返回。
2、对于带缓冲chan，一份数据或者在缓冲中或者由一个协程持有。
如果缓冲满（没有接收者或接收者慢），发送者阻塞。
只有在数据接收者取走缓冲中的数据后，缓冲有剩余容量，阻塞的发送者才能返回。
如果有多个接收者，一份数据只能被一个接收者接收。
示例程序：两个协程交替打印奇偶数：
使用不带缓冲的chan，如果发送者在没有接收者接收的情况下也可以返回的话，就会出现争抢数据，也就不满足奇偶打印的要求。
import (
"fmt"
"sync"
"time"
)
func main() {
var ch = make(chan int)
var wg sync.WaitGroup
wg.Add(2)
go func() {
defer wg.Done()
for v1 := range ch {
fmt.Println(time.Now().Format(time.TimeOnly), "go1:", v1)
ch <- v1 + 1
time.Sleep(time.Second)
}
}()
go func() {
defer wg.Done()
for v2 := range ch {
fmt.Println(time.Now().Format(time.TimeOnly), "go2:", v2)
ch <- v2 + 1
time.Sleep(time.Second)
}
}()
ch <- 1
wg.Wait()
}控制台输出：
go2始终打印奇数，go1始终打印偶数。满足奇偶打印的要求。
以上示例如果改成带缓冲chan，那么会出现争抢数据，也就不满足奇偶打印的要求，但是同样满足CSP要求，因为发送者返回时数据已经放到了缓冲里。
--end--