1. 微服务并发模型概述：Go 并发原语与架构契合点

微服务架构的本质是将单体应用拆分为多个独立部署、轻量协作的服务。每个服务实例需要同时处理大量网络请求、RPC 调用、消息队列消费以及定时任务。Go 语言凭借其轻量级并发原语——goroutine 和 channel，天然契合微服务的高并发、低延迟、高吞吐需求。然而，若对并发模型理解不深，极易陷入常见的并发瓶颈模式，导致性能劣化甚至系统雪崩。

1.1 Go 并发原语与微服务的契合点

1.2 微服务中常见的并发瓶颈模式

即使使用了 goroutine 和 channel，若架构设计不当，仍会引入以下六类典型并发瓶颈。理解这些模式是后续性能剖析与优化的基础。

1. 无限制 goroutine 创建：每个请求都 go func()，不控制并发数。当突发流量到来时，goroutine 数量激增，导致调度器压力、栈内存膨胀、GC 停顿加剧。
2. channel 阻塞与死锁：无缓冲 channel 在接收方未就绪时阻塞发送方；有缓冲 channel 满时阻塞生产者。若未配合 select + 超时或 default，极易导致 goroutine 泄漏或系统 hang 住。
3. 共享内存锁争用：多个 goroutine 通过 sync.Mutex 或 sync.RWMutex 保护共享状态。当临界区过大或锁粒度不当时，锁竞争成为吞吐瓶颈，尤其在多核场景下。
4. 伪共享（False Sharing）：不同 goroutine 操作同一缓存行上的不同变量，导致 CPU 缓存一致性协议频繁失效，性能下降 10 倍以上。
5. goroutine 泄漏：goroutine 因 channel 未关闭、阻塞在 I/O 或锁上而无法退出，长期占用栈内存和调度资源，最终导致 OOM。
6. 无限制的 channel 缓冲：为缓解阻塞设置过大的 channel 缓冲，导致内存占用飙升，且掩盖了生产-消费速率不匹配的问题，延迟增加。

1.3 并发模型架构图：goroutine + channel 在微服务中的典型交互

下图展示了一个典型的微服务请求处理流程，使用 goroutine 和 channel 实现请求接收、任务分发、并行处理与结果聚合。

1.4 并发瓶颈模式对比表

1.5 代码示例：goroutine 泄漏 vs 正确关闭

// ❌ 错误示例：goroutine 泄漏
func leakyHandler(ch chan int) {
    go func() {
        val := <-ch  // 若 ch 永远没有数据写入，goroutine 永久阻塞
        fmt.Println(val)
    }()
    // 函数返回，但 goroutine 未退出
}

// ✅ 正确示例：使用 context 超时控制
func safeHandler(ctx context.Context, ch chan int) {
    go func() {
        select {
        case val := <-ch:
            fmt.Println(val)
        case <-ctx.Done():
            // 超时或取消，goroutine 安全退出
            fmt.Println("timeout or cancelled")
        }
    }()
}

// ✅ 正确示例：使用有缓冲 channel + default 避免阻塞
func nonBlockingSend(ch chan int, val int) {
    select {
    case ch <- val:
        // 成功发送
    default:
        // 发送失败，不阻塞，可记录丢弃或重试
        fmt.Println("channel full, drop or retry")
    }
}

1.6 本章小结