Go Channel 发送顺序与并发控制解析

Go 语言中，向无缓冲 channel 发送数据的 goroutine 并无调度优先级或固定轮转顺序；当多个 goroutines 同时尝试发送时，运行时以伪随机方式选择就绪的 sender，因此无法保证“ping”和“pong”交替输出。

上述 ping-pong 示例看似实现了交替通信，实则依赖于偶然的调度时机，而非语言规范保障的行为。其核心问题在于：pinger 和 ponger 两个 goroutine 完全独立、无同步机制，均持续争抢向同一无缓冲 channel c 发送数据。由于 Go 的 channel 发送操作在无接收者就绪时会阻塞，而 printer 是唯一接收方，它每次仅消费一个消息并休眠 1 秒——这短暂的空窗期让 pinger 和 ponger 在唤醒后激烈竞争下一次发送权。

Go 运行时（runtime）对多个阻塞在同一个 channel 上的 sender 的唤醒策略是非确定性的：它不按启动顺序、不按时间戳、也不按 goroutine ID 排序，而是基于底层调度器的内部状态（如 G-P-M 调度队列、锁竞争结果等）进行近似公平但不可预测的选择。这意味着：

• 即使在单核（GOMAXPROCS=1）下，因 time.Sleep 引入的定时器唤醒偏差，也可能导致连续多次同一 goroutine 获得执行机会；
• 在多核环境下（GOMAXPROCS>1），竞争更明显，极易出现 "ping", "ping", "pong" 等非交替序列；
• 该程序不是真正的 ping-pong 协议——缺少“ping 发出后等待 pong 响应”的反馈闭环，只是两个独立生产者向一个消费者倾倒字符串。

✅ 若需严格交替，必须引入显式同步。例如使用两个 channel 构建响应式循环：

func main() {
    ping := make(chan string, 1)
    pong := make(chan string, 1)

    go func() {
        for i := 0; i < 5; i++ {
            <-pong // 等待上一轮 pong 完成（初始由 pong <- "" 启动）
            ping <- "ping"
        }
    }()

    go func() {
        pong <- "" // 启动信号
        for i := 0; i < 5; i++ {
            msg := <-ping
            fmt.Println(msg)
            pong <- "pong" // 响应
        }
    }()

    // 等待结束
    time.Sleep(time.Second * 6)
}

⚠️ 注意事项：

• 不要依赖 goroutine 启动顺序或 channel send 的“自然轮转”；
• 无缓冲 channel 的发送/接收配对必须严格协调，否则易死锁或行为漂移；
• 调试并发逻辑时，应主动设置 GOMAXPROCS=2 或更高，并用 -race 检测竞态；
• 真实场景中，优先使用结构化同步原语（如 sync.Mutex、sync.WaitGroup、context）或 CSP 风格的 channel 编排，而非隐式时序假设。

总之，Go 的 channel 是并发安全的通信管道，但不是调度器——它不承诺公平性、不保证 FIFO（对多个 sender）、也不提供时序契约。可预测的协作，永远需要开发者显式建模。