转投go系列-channel 堵塞问题

本文详细介绍了Go语言中channel的概念及其在并发中的作用,通过正反例展示了如何正确使用channel进行同步和通信。讨论了无缓冲channel的阻塞特性,并分析了因不当使用导致的死锁和内存泄漏问题。强调了Go语言提倡的通过通信来共享内存的设计哲学。

channel是Go语言中的一个核心类型,可以把它看成管道。编程难度肯定是有一些的,哈哈。

“Go 强调不要通过共享内存来通讯,而是通过通讯来共享内存。”
很多人都说上面的话,具体怎么理解呢?

chan是一种引用类型,引用类型 channel可用于多个 goroutine 通讯。其内部实现了同步,确保并发安全。

举个例子:

package main
import "fmt"

func main() {
	ch := make(chan int) 
	go func() {        
		for i := 0; i < 5; i++ {
			ch <- i 
			fmt.Println("input", i)
		}
	}()

	for i := 0; i < 5; i++ {
		num := <-ch
		fmt.Println("output", num)
	}
}

打印结果:

$ go run main.go
input 0
output 0
output 1
input 1
input 2
output 2
output 3
input 3
input 4
output 4

可以看到input output都是成对出现的,因为无缓冲chan,当只有读,没有写时,“读”阻塞。当只有写,没有读,那么 “写”阻塞。

  • 接下来是个反例:
package main
func main(){
    ch:=make(chan int)
    ch <- 1    
    go func (){
        <-ch  
    }()
}

这个就会卡死,因为创建goroutine在chan的写之后,永远不会执行读。

  • 另一个反例:
package main

import (
	"fmt"
	"time"
)

func main() {
	fmt.Println("log:", doReq(3*time.Second))
}

func doReq(timeout time.Duration) (res int) {
	ch := make(chan int)
	go func() {
		res := do()
		ch <- res
	}()
	select {
	case res = <-ch:
		return res
	case <-time.After(timeout):
		return 0
	}
}

func do() int {
	time.Sleep(4 * time.Second)
	return 111
}

我们创建了无缓冲ch,goroutine 执行 do 函数并通过ch 将结果发送回main,这是goroutine阻塞,直到main从 ch 接收到结果为止。同时main将在 select 阻塞,直到goroutine 将结果发送给 ch或超时3秒。如果超时先发生,则main将return 0,这会导致goroutine 写 ch 数据一直堵塞。这样内存就泄露啦!

  • 最后一个反例:
package main

import (
	"fmt"
	"runtime"
	"sync"
	"time"
)

var rw sync.RWMutex

func write(a int, out chan<- int) {
	for {
		a++
		rw.Lock()
		out <- a
		fmt.Printf("goroutine 写%d\n", a)
		rw.Unlock()
	}
}

func read(in <-chan int) {
	for {
		time.Sleep(time.Millisecond * 500)
		rw.RLock()
		a := <-in
		fmt.Printf("goroutine 读 %d\n", a)
		rw.RUnlock()
	}
}

func main() {
	ch := make(chan int, 5)
	for i := 0; i < 100; i++ {
		go read(ch)
	}
	for i := 0; i < 100; i++ {
		go write(0, ch)
	}
	for {
		runtime.GC()
	}
}

这种就是锁跟chan相互抢占cpu的反例,因为写的时候会不断的上写锁,读的时候拿不到读锁,也就没办法读chan,连带着写chan也会因为达到limit而阻塞,最后写锁也不会被释放。最后就死锁了。

<think>嗯,用户问的是Go语言channel阻塞时G的情况。首先,我需要回忆一下Go的并发模型。记得Goroutine(G)是轻量级线程,由Go运行时管理。Channel是用于G之间通信的主要机制,阻塞是常见的现象。 用户可能想知道当channel操作导致阻塞时,Goroutine会发生什么,以及运行时如何处理这种情况。比如,当G向一个无缓冲channel发送数据,而另一端没有接收者时,或者从空channel读取时,G会被阻塞。这时候,运行时系统会介入,将G从当前线程(M)上摘下来,放入等待队列,避免占用系统资源。 需要分发送和接收两种情况讨论。发送阻塞时,G会被加入channel的发送队列,等待接收端就绪。接收阻塞同理,放入接收队列。同时,运行时可能会创建新的M来执行其他G,以充分利用CPU资源。 另外,可能涉及调度器的细节,比如当G阻塞时,当前M是否会继续运行其他G。是的,Go的调度器会解绑M和G,M可以执行其他可运行的G。这有助于高效利用资源,避免线程闲置。 还要注意channel关闭时的行为,比如关闭channel会唤醒所有阻塞的G,返回零值。但需要确保关闭后不会再次发送数据,否则panic。 用户可能遇到死锁问题,比如所有G都阻塞,程序无法继续。这时候需要检查channel的使用是否正确,是否有未关闭的channel导致G一直等待。 总结时,要强调channel阻塞时的处理机制,以及调度器如何管理G和M,确保程序高效运行。需要结构清晰,分点解释,可能还要举例子说明不同情况下的阻塞和恢复过程。</think>在Go语言中,当Goroutine(G)因channel操作发生阻塞时,其行为与调度机制密切相关。以下是分步骤说明: --- ### 1. **基本阻塞场景** 当Goroutine执行以下操作时会阻塞- **发送数据**:向无缓冲channel发送数据,或向已满的缓冲channel发送数据 - **接收数据**:从空的无缓冲/缓冲channel接收数据 例如: ```go ch := make(chan int) go func() { ch <- 42 // 阻塞直到有接收者 }() ``` --- ### 2. **运行时调度机制** 当G阻塞时,Go运行时会执行以下操作: 1. **解绑G与M**:将当前Goroutine(G)从系统线程(M)上分离 2. **保存上下文**:保存G的寄存器状态、程序计数器等执行上下文 3. **加入等待队列**: - 发送操作阻塞 → 加入channel的`sendq`队列 - 接收操作阻塞 → 加入channel的`recvq`队列 此时,原M可以继续执行其他可运行的Goroutine。 --- ### 3. **唤醒机制** 当channel状态变化时: | 操作类型 | 触发条件 | 唤醒行为 | |----------------|---------------------------|------------------------------| | 发送方被阻塞 | 有接收操作就绪 | 直接传递数据,无需经过channel缓冲区 | | 接收方被阻塞 | 有发送操作就绪 | 直接获取数据 | | channel被关闭 | `close(ch)` | 所有阻塞G被唤醒并返回零值 | ```go ch := make(chan int) go func() { val := <-ch // 阻塞直到ch有数据或关闭 fmt.Println(val) }() close(ch) // 唤醒接收方,val=0 ``` --- ### 4. **底层数据结构** 通过`runtime.hchan`结构体管理阻塞队列: ```go type hchan struct { sendq waitq // 发送等待队列(sudog链表) recvq waitq // 接收等待队列(sudog链表) // ...其他字段(缓冲区、锁等) } ``` 每个等待的G会被包装为`sudog`结构,记录关联的channel和G信息。 --- ### 5. **调度器优化** - **避免线程浪费**:阻塞的G不会占用系统线程资源 - **工作窃取**:空闲的M会从其他P的本地队列窃取G执行 - **非阻塞优化**:通过`select`+`default`可实现非阻塞操作 --- ### 6. **典型问题排查** - **死锁**:所有G均阻塞时触发`fatal error: all goroutines are asleep` - **内存泄漏**:长期阻塞且未被唤醒的G会导致资源泄漏 - **性能陷阱**:频繁阻塞/唤醒会增加调度开销 --- ### 总结 Go通过将阻塞的G加入channel等待队列,并利用调度器复用M的方式,实现了高效并发。理解这一机制有助于: - 正确设计channel通信模式 - 避免死锁和资源泄漏 - 优化高并发场景下的性能表现 实际开发中可通过`go tool trace`或pprof工具观察G阻塞情况。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值