6. 并发编程(并发编程模型)
zhezhongyun 2025-06-10 04:05 38 浏览
本章深入解析Go语言并发编程核心机制,涵盖调度原理、通信模式及工程实践,结合性能优化与陷阱规避策略。
6.1 Goroutine基础
6.1.1 创建与调度
// 启动goroutine
go func() {
fmt.Println("Async task")
}()
// 携带参数
msg := "hello"
go func(m string) {
fmt.Println(m)
}(msg)核心特性
- 轻量级线程:初始栈大小 2KB(可动态扩缩,最大1GB)
- GMP调度模型:
- Goroutine:用户态任务
- Machine:系统线程(与CPU核心绑定)
- Processor:逻辑处理器(任务队列管理)
- 抢占式调度:基于信号(Go 1.14+)实现公平调度
性能调优
# 查看调度器信息
GODEBUG=schedtrace=1000,scheddetail=1 go run main.go6.2 Channel通信
6.2.1 通道类型
ch1 := make(chan int) // 无缓冲通道(同步)
ch2 := make(chan int, 5) // 缓冲通道(异步队列)6.2.2 操作语义
操作 | 无缓冲通道 | 缓冲通道 |
发送(ch<-v) | 阻塞直到接收方就绪 | 队列未满时立即执行 |
接收(<-ch) | 阻塞直到发送方就绪 | 队列非空时立即执行 |
关闭(close) | 可关闭,触发接收零值 | 同左 |
底层实现
type hchan struct {
qcount uint // 队列元素总数
dataqsiz uint // 缓冲区大小
buf unsafe.Pointer // 环形缓冲区指针
sendx uint // 发送索引
recvx uint // 接收索引
lock mutex // 互斥锁
}最佳实践
- 优先使用无缓冲通道实现强同步逻辑
- 生产-消费场景使用缓冲通道解耦
- 遵循"发送方关闭通道"原则避免panic
6.3 Select语句
6.3.1 多路复用
select {
case v := <-ch1:
fmt.Println("ch1:", v)
case ch2 <- 42:
fmt.Println("sent to ch2")
case <-time.After(1 * time.Second):
fmt.Println("timeout")
default:
fmt.Println("no activity")
}6.3.2 高级模式
- 循环监听:
for {
select {
case <-done:
return
case v := <-ch:
process(v)
}
}- 优先级处理:
select {
case job := <-highPriorityChan:
handleHighPriority(job)
default:
select {
case job := <-lowPriorityChan:
handleLowPriority(job)
case <-time.After(time.Minute):
handleTimeout()
}
}注意事项
- 多个case同时就绪时随机选择执行
- 空的select语句会永久阻塞
6.4 同步原语(sync包)
6.4.1 互斥锁
var mu sync.Mutex
var counter int
func increment() {
mu.Lock()
defer mu.Unlock()
counter++
}6.4.2 读写锁
var cache = make(map[string]string)
var rwMu sync.RWMutex
func get(key string) string {
rwMu.RLock()
defer rwMu.RUnlock()
return cache[key]
}
func set(key, value string) {
rwMu.Lock()
defer rwMu.Unlock()
cache[key] = value
}6.4.3 其他同步工具
类型 | 用途 | 示例 |
WaitGroup | 等待一组goroutine完成 | wg.Add(3); wg.Wait() |
Cond | 条件变量广播 | cond.Wait(); cond.Signal() |
Once | 保证只执行一次 | once.Do(init) |
Pool | 对象池复用 | pool.Get(); pool.Put() |
性能对比
- Mutex:适合低频写操作
- RWMutex:读多写少场景性能提升 5-10倍
- Atomic:无锁操作性能最佳(但仅限简单类型)
6.5 并发模式
6.5.1 扇入/扇出模式
// 扇入:合并多个输入通道
func merge(chs ...<-chan int) <-chan int {
var wg sync.WaitGroup
out := make(chan int)
for _, ch := range chs {
wg.Add(1)
go func(c <-chan int) {
defer wg.Done()
for n := range c {
out <- n
}
}(ch)
}
go func() {
wg.Wait()
close(out)
}()
return out
}6.5.2 工作池模式
func workerPool(tasks <-chan Task, workers int) {
var wg sync.WaitGroup
for i := 0; i < workers; i++ {
wg.Add(1)
go func(id int) {
defer wg.Done()
for task := range tasks {
processTask(id, task)
}
}(i)
}
wg.Wait()
}6.5.3 流水线模式
func pipeline(in <-chan int) <-chan int {
// 阶段1:数据过滤
stage1 := make(chan int)
go func() {
defer close(stage1)
for n := range in {
if n%2 == 0 {
stage1 <- n
}
}
}()
// 阶段2:数据处理
stage2 := make(chan int)
go func() {
defer close(stage2)
for n := range stage1 {
stage2 <- n * 2
}
}()
return stage2
}6.6 上下文(Context)
6.6.1 核心功能
// 创建上下文
ctx, cancel := context.WithCancel(context.Background())
defer cancel()
// 传递上下文
go func(ctx context.Context) {
select {
case <-ctx.Done():
fmt.Println("canceled")
}
}(ctx)6.6.2 派生上下文
函数 | 用途 |
WithCancel | 创建可取消的上下文 |
WithDeadline | 设置绝对截止时间 |
WithTimeout | 设置相对超时时间 |
WithValue | 携带键值对数据 |
6.6.3 实践规范
- 服务端必须处理Context.Done():
func HandleRequest(ctx context.Context) {
select {
case <-ctx.Done():
return ctx.Err()
case result := <-db.Query():
return result
}
}- Value使用规范:
- 使用自定义类型作为key避免冲突:
type userKey struct{}
ctx = context.WithValue(ctx, userKey{}, user)- 仅传递请求范围数据,避免滥用
总结
本章系统阐述了Go并发编程的核心机制,重点包含:
- GMP调度模型的运行时行为分析
- Channel内存模型与hchan结构实现细节
- 锁竞争优化策略与性能对比
- 生产级并发模式的实现方案
- Context树形传播机制的正确使用
建议通过以下实践加深理解:
- 使用go test -race检测竞态条件
- 通过pprof分析goroutine泄漏
- 实现带超时控制的分布式任务调度系统
- 对比不同同步原语在百万次操作下的性能差异
相关推荐
- Python入门学习记录之一:变量_python怎么用变量
-
写这个,主要是对自己学习python知识的一个总结,也是加深自己的印象。变量(英文:variable),也叫标识符。在python中,变量的命名规则有以下三点:>变量名只能包含字母、数字和下划线...
- python变量命名规则——来自小白的总结
-
python是一个动态编译类编程语言,所以程序在运行前不需要如C语言的先行编译动作,因此也只有在程序运行过程中才能发现程序的问题。基于此,python的变量就有一定的命名规范。python作为当前热门...
- Python入门学习教程:第 2 章 变量与数据类型
-
2.1什么是变量?在编程中,变量就像一个存放数据的容器,它可以存储各种信息,并且这些信息可以被读取和修改。想象一下,变量就如同我们生活中的盒子,你可以把东西放进去,也可以随时拿出来看看,甚至可以换成...
- 绘制学术论文中的“三线表”具体指导
-
在科研过程中,大家用到最多的可能就是“三线表”。“三线表”,一般主要由三条横线构成,当然在变量名栏里也可以拆分单元格,出现更多的线。更重要的是,“三线表”也是一种数据记录规范,以“三线表”形式记录的数...
- Python基础语法知识--变量和数据类型
-
学习Python中的变量和数据类型至关重要,因为它们构成了Python编程的基石。以下是帮助您了解Python中的变量和数据类型的分步指南:1.变量:变量在Python中用于存储数据值。它们充...
- 一文搞懂 Python 中的所有标点符号
-
反引号`无任何作用。传说Python3中它被移除是因为和单引号字符'太相似。波浪号~(按位取反符号)~被称为取反或补码运算符。它放在我们想要取反的对象前面。如果放在一个整数n...
- Python变量类型和运算符_python中变量的含义
-
别再被小名词坑哭了:Python新手常犯的那些隐蔽错误,我用同事的真实bug拆给你看我记得有一次和同事张姐一起追查一个看似随机崩溃的脚本,最后发现罪魁祸首竟然是她把变量命名成了list。说实话...
- 从零开始:深入剖析 Spring Boot3 中配置文件的加载顺序
-
在当今的互联网软件开发领域,SpringBoot无疑是最为热门和广泛应用的框架之一。它以其强大的功能、便捷的开发体验,极大地提升了开发效率,成为众多开发者构建Web应用程序的首选。而在Spr...
- Python中下划线 ‘_’ 的用法,你知道几种
-
Python中下划线()是一个有特殊含义和用途的符号,它可以用来表示以下几种情况:1在解释器中,下划线(_)表示上一个表达式的值,可以用来进行快速计算或测试。例如:>>>2+...
- 解锁Shell编程:变量_shell $变量
-
引言:开启Shell编程大门Shell作为用户与Linux内核之间的桥梁,为我们提供了强大的命令行交互方式。它不仅能执行简单的文件操作、进程管理,还能通过编写脚本实现复杂的自动化任务。无论是...
- 一文学会Python的变量命名规则!_python的变量命名有哪些要求
-
目录1.变量的命名原则3.内置函数尽量不要做变量4.删除变量和垃圾回收机制5.结语1.变量的命名原则①由英文字母、_(下划线)、或中文开头②变量名称只能由英文字母、数字、下画线或中文字所组成。③英文字...
- 更可靠的Rust-语法篇-区分语句/表达式,略览if/loop/while/for
-
src/main.rs://函数定义fnadd(a:i32,b:i32)->i32{a+b//末尾表达式}fnmain(){leta:i3...
- C++第五课:变量的命名规则_c++中变量的命名规则
-
变量的命名不是想怎么起就怎么起的,而是有一套固定的规则的。具体规则:1.名字要合法:变量名必须是由字母、数字或下划线组成。例如:a,a1,a_1。2.开头不能是数字。例如:可以a1,但不能起1a。3....
- Rust编程-核心篇-不安全编程_rust安全性
-
Unsafe的必要性Rust的所有权系统和类型系统为我们提供了强大的安全保障,但在某些情况下,我们需要突破这些限制来:与C代码交互实现底层系统编程优化性能关键代码实现某些编译器无法验证的安全操作Rus...
- 探秘 Python 内存管理:背后的神奇机制
-
在编程的世界里,内存管理就如同幕后的精密操控者,确保程序的高效运行。Python作为一种广泛使用的编程语言,其内存管理机制既巧妙又复杂,为开发者们提供了便利的同时,也展现了强大的底层控制能力。一、P...
- 一周热门
- 最近发表
- 标签列表
-
- HTML 教程 (33)
- HTML 简介 (35)
- HTML 实例/测验 (32)
- HTML 测验 (32)
- JavaScript 和 HTML DOM 参考手册 (32)
- HTML 拓展阅读 (30)
- HTML文本框样式 (31)
- HTML滚动条样式 (34)
- HTML5 浏览器支持 (33)
- HTML5 新元素 (33)
- HTML5 WebSocket (30)
- HTML5 代码规范 (32)
- HTML5 标签 (717)
- HTML5 标签 (已废弃) (75)
- HTML5电子书 (32)
- HTML5开发工具 (34)
- HTML5小游戏源码 (34)
- HTML5模板下载 (30)
- HTTP 状态消息 (33)
- HTTP 方法:GET 对比 POST (33)
- 键盘快捷键 (35)
- 标签 (226)
- opacity 属性 (32)
- transition 属性 (33)
- 1-1. 变量声明 (31)
