0

0

Go并发编程是什么_Go并发模型与基本概念解析

P粉602998670

P粉602998670

发布时间:2026-01-25 13:10:03

|

670人浏览过

|

来源于php中文网

原创

Go并发编程以goroutine+channel重构并发思维:goroutine轻量(2KB栈、纳秒级创建)、由GMP调度;channel用于同步与通信,非共享内存替代,无缓冲需配对阻塞,有缓冲仍保序原子性。

go并发编程是什么_go并发模型与基本概念解析

Go 并发编程不是“多线程的另一种写法”,而是用 goroutine + channel 重构了并发的思考方式:你不再操心锁、状态同步、线程生命周期,而是设计数据如何流动。

goroutine 不是线程,别拿 pthread 的经验去猜它

启动一个 goroutine 只需 go f(),但它和操作系统线程(pthread)有本质区别

  • 初始2KB,可动态伸缩;系统线程栈通常固定 1MB~8MB
  • 创建/销毁不触发系统调用,开销在纳秒级;pthread_create 是微秒级甚至更高
  • 调度由 Go 运行时(GMP 模型)接管,不是内核;一个 OS 线程(M)可跑成百上千个 G
  • 阻塞系统调用(如 readaccept)不会卡死整个线程,运行时会自动把其他 G 切到别的 M

常见错误:在循环里无节制启 go handle(req) 却不控制并发数 → 内存暴涨或调度器过载。应配合 semaphore 或带缓冲的 channel 限流。

channel 是通信契约,不是共享内存的替代品

channel 的核心作用是同步 + 数据传递,不是“线程安全的队列”。它的行为由类型和缓冲区决定:

  • make(chan int):无缓冲,sendrecv 必须配对阻塞(即“握手”),天然实现同步
  • make(chan int, 10):有缓冲,发送不阻塞直到满;接收不阻塞直到空;但**仍保证顺序与原子性**
  • 向已关闭的 channel 发送 panic;从已关闭的 channel 接收返回零值 + false(可用 v, ok := 判断)
  • 永远不要在多个 goroutine 中同时关闭同一个 channel —— 这是典型的竞态源,应由发送方单侧关闭

典型误用:for range ch 在接收端,但发送端未关闭 channel → 永远阻塞。务必确保 sender 明确调用 close(ch),或用 context 控制生命周期。

Originality AI
Originality AI

专门为网络出版商设计的抄袭和AI检测工具

下载

select 不是 switch,它是 goroutine 的“等待多路复用器”

select 用来同时监听多个 channel 操作,但它不是轮询,也不保证公平性:

  • 所有 case 的 channel 操作必须是**非阻塞准备就绪**状态,否则该 case 被跳过
  • 多个 case 同时就绪时,Go 运行时**随机选择一个**(不是 FIFO),不可依赖顺序
  • default 可实现非阻塞尝试;不加 default 且所有 case 阻塞,则当前 goroutine 挂起
  • 不能在 select 里直接调用函数(如 case ch ),因为 compute() 会在 select 判定前执行,破坏语义

实用技巧:用 select + time.After 实现超时,但注意 time.After 创建的是单次定时器,高频场景建议复用 time.NewTimerReset

context 不是“传参工具”,它是 goroutine 生命周期的总控开关

context.Context 的唯一正统用途是**取消传播与截止时间控制**,不是用来塞业务参数(那是 anti-pattern):

  • context.WithCancel:手动触发取消,适合用户中断、任务终止等显式信号
  • context.WithTimeout / context.WithDeadline:自动在超时后关闭 Done() channel,下游 goroutine 应监听并退出
  • context.WithValue 仅限传递**请求范围的、不可变的元数据**(如 request-id, user-id),绝不传结构体指针或可变对象
  • 所有 I/O 操作(http.Client.Dodatabase/sql.QueryContext)都支持 context,不传等于放弃超时/取消能力

最容易被忽略的一点:goroutine 启动时若没把 ctx 传进去,或者传了却没在关键路径上检查 ctx.Err(),那这个 goroutine 就成了“幽灵协程”——无法被优雅终止,最终导致泄露。

相关专题

更多
string转int
string转int

在编程中,我们经常会遇到需要将字符串(str)转换为整数(int)的情况。这可能是因为我们需要对字符串进行数值计算,或者需要将用户输入的字符串转换为整数进行处理。php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

381

2023.08.02

int占多少字节
int占多少字节

int占4个字节,意味着一个int变量可以存储范围在-2,147,483,648到2,147,483,647之间的整数值,在某些情况下也可能是2个字节或8个字节,int是一种常用的数据类型,用于表示整数,需要根据具体情况选择合适的数据类型,以确保程序的正确性和性能。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

543

2024.08.29

c++怎么把double转成int
c++怎么把double转成int

本专题整合了 c++ double相关教程,阅读专题下面的文章了解更多详细内容。

53

2025.08.29

C++中int的含义
C++中int的含义

本专题整合了C++中int相关内容,阅读专题下面的文章了解更多详细内容。

197

2025.08.29

堆和栈的区别
堆和栈的区别

堆和栈的区别:1、内存分配方式不同;2、大小不同;3、数据访问方式不同;4、数据的生命周期。本专题为大家提供堆和栈的区别的相关的文章、下载、课程内容,供大家免费下载体验。

394

2023.07.18

堆和栈区别
堆和栈区别

堆(Heap)和栈(Stack)是计算机中两种常见的内存分配机制。它们在内存管理的方式、分配方式以及使用场景上有很大的区别。本文将详细介绍堆和栈的特点、区别以及各自的使用场景。php中文网给大家带来了相关的教程以及文章欢迎大家前来学习阅读。

574

2023.08.10

线程和进程的区别
线程和进程的区别

线程和进程的区别:线程是进程的一部分,用于实现并发和并行操作,而线程共享进程的资源,通信更方便快捷,切换开销较小。本专题为大家提供线程和进程区别相关的各种文章、以及下载和课程。

482

2023.08.10

Python 多线程与异步编程实战
Python 多线程与异步编程实战

本专题系统讲解 Python 多线程与异步编程的核心概念与实战技巧,包括 threading 模块基础、线程同步机制、GIL 原理、asyncio 异步任务管理、协程与事件循环、任务调度与异常处理。通过实战示例,帮助学习者掌握 如何构建高性能、多任务并发的 Python 应用。

143

2025.12.24

c++ 根号
c++ 根号

本专题整合了c++根号相关教程,阅读专题下面的文章了解更多详细内容。

45

2026.01.23

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
Go 教程
Go 教程

共32课时 | 4.2万人学习

Go语言实战之 GraphQL
Go语言实战之 GraphQL

共10课时 | 0.8万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号