channel
概述
Go语言中的通信机制，用于在goroutine之间传递数据，是CSP理论中同步通信的现代实现。
关键内容
-
CSP实现：Go的channel直接实现了CSP中的同步通信概念，对应CSP的通信通道。
-
类型安全：channel是类型安全的，只能传递指定类型的值，避免了类型错误。
-
同步机制：默认情况下，channel操作是同步的，发送和接收操作会阻塞直到另一方准备就绪，实现了CSP中的"会合"概念。
-
缓冲支持：除了无缓冲channel外，Go还支持带缓冲的channel，允许一定程度的异步通信。
-
Select语句：Go的select语句允许在多个channel操作间进行选择，类似CSP中的守卫命令。
-
工程价值：channel使得Go程序能够以清晰、安全的方式处理并发，避免了传统共享内存并发中的竞态条件和死锁问题。
来源
- 14-hoare-csp — CSP理论对Go channel的影响
- [[]] —
相关
- Go — Go语言
- goroutine — Go的并发执行单元
- Communicating Sequential Processes — 理论基础
- C.A.R. Hoare — 理论提出者
- 同步通信 — 相关通信方式