本文发布于Cylon的收藏册,转载请著名原文链接~
channel是Go语言中的一个核心数据类型,channel是一个数据类型,主要用来解决协程的同步问题以及协程之间数据共享(数据传递)的问题。在并发核心单元通过它就可以发送或者接收数据进行通讯,这在一定程度上又进一步降低了编程的难度。
goroutine运行在相同的内存地址空间,channel可以避开所有内存共享导致的坑;通道的通信方式保证了同步性。数据通过channel:同一时间只有一个协程可以访问数据:所以不会出现数据竞争,确保并发安全。
channel的定义
channel是对应make创建的底层数据结构的引用。 创建语法: make(chan Type, capacity)
channel := make(chan bool) //创建一个无缓冲的bool型Channel
,等价于make(chan Type, 0)
channel := make(chan bool, 1024) //创建一个有缓冲,切缓冲区为1024的bool型Channel
channel <- x //向一个Channel发送一个值
<- channel //从一个Channel中接收一个值
x = <- channel //从Channel c接收一个值并将其存储到x中
x, ok = <- channel //从Channel接收一个值,如果channel关闭了或没有数据,那么ok将被置为false
channel是一个引用类型,当复制一个channel或用于函数参数传递时,我们只是拷贝了一个channel引用,因此调用者和被调用者将引用同一个channel对象。和其它的引用类型一样,channel的零值(定义未初始化)也是nil。
在默认情况下,channel接收和发送数据都是阻塞的,(channel <- 1
,写端写数据,读端不在读。写端阻塞; str := <-channel
读端读数据, 同时写端不在写,读端阻塞。)除非另一端已经准备好,这样就使得goroutine同步变的更加的简单,而不需要显式的lock。
示例
package main
import (
"fmt"
"runtime"
"time"
)
var c = make(chan int32)
func printstr(s string) {
for _, value := range s {
fmt.Printf("写入%+q\r\n", value)
time.Sleep(time.Second)
c <- value
}
}
func main() {
runtime.GOMAXPROCS(1)
go func() {
time.Sleep(time.Second)
printstr("hello")
}()
go func() {
for v := range c {
fmt.Printf("读取%+q\r\n", v)
}
}()
for {
;
}
}
channel的缓冲
无缓冲的channel
无缓冲的channel unbuffered channel
是指在接收前没有能力保存任何值的通道。这种类型的channel 要求发送端和接收端同时准备好,才能完成发送和接收操作。否则,通道会导致先执行发送或接收操作的阻塞等待。顾又称为同步通信
- 阻塞:由于某种原因数据没有到达,当前协程(线程)持续处于等待状态,直到条件满足,才接触阻塞。
- 同步:在两个或多个协程(线程)间,保持数据内容一致性的机制。
示例如上,写了没有读会导致阻塞,读了没有写会导致堵塞
有缓冲的channel
有缓冲的通道(buffered channel
)是一种在被接收前能存储一个或者多个数据值的通道。这种类型的channel并不强制要求goroutine
之间必须同时完成发送和接收。通道会阻塞发送和接收动作的条件也不同。
- 只有channel通道中没有要接收的值时,接收动作才会阻塞。
- 只有通道没有可用缓冲区容纳被写入(发送)的值时,发送动作才会阻塞。
有缓冲的channel和无缓冲的channel之间的不同:无缓冲的channel保证进行发送和接收的 goroutine
会在同一时间进行数据交换;有缓冲的channel没有这种保证。
示例
package main
import (
"fmt"
"runtime"
"time"
)
var c = make(chan int32, 10)
func printstr(s string) {
for _, value := range s {
fmt.Printf("写入%+q\r\n", value)
c <- value
}
}
func main() {
runtime.GOMAXPROCS(1)
go func() {
printstr("hello")
}()
go func() {
time.Sleep(time.Second * 2)
fmt.Println("读通道开始读取数据")
for v := range c {
fmt.Printf("读取%+q\r\n", v)
}
}()
for {
}
}
结果可以看出,如果给定了一个缓冲区容量,channel就是异步的。只要缓冲区有未使用空间用于发送数据,或还包含可以接收的数据,那么其通信就会无阻塞地进行。
channel的关闭
当发送的一端没有更多的数据发送到channel的话,需要使接收端也能及时知道channel中没有多余的数据可以接收。因此可以通过 close()
函数来关闭channel的实现。
示例
package main
import (
"fmt"
"runtime"
"time"
)
var c = make(chan int32, 10)
func printstr(s string) {
for _, value := range s {
fmt.Printf("写入%+q\r\n", value)
c <- value
}
close(c)
}
func main() {
runtime.GOMAXPROCS(1)
go func() {
printstr("hello")
}()
time.Sleep(time.Second * 2)
fmt.Println("读通道开始读取数据")
for {
if char, ok := <-c; ok {
fmt.Printf("读取%+q\r\n", char)
} else {
break
}
}
}
提示
- channel不像文件一样需要经常去关闭,只有当你确实没有任何发送数据了,或者你想显式的结束range循环之类的,才去关闭channel;
- 关闭channel后,无法向channel 再发送数据(引发 panic 错误后导致接收立即返回零值);
- 关闭channel后,可以继续从channel接收数据(读取到的数据为channel类型的默认值,如int默认值0 string默认值"");
- 对于nil channel,无论收发都会被阻塞。
缓冲channel 和 非缓冲channel的区别
- 缓冲channel的创建方式为
make(chan TYPE,CAPCTIY)
,非缓冲channel的创建方式为make(chan TYPE)
- 缓冲channel的通信方式为同步通信,非缓冲channel的通信方式为异步通信
单项channel及应用
默认情况下,channel是双向的,既可以往里面发送数据也可以接收数据。但是,常将channel作为参数进行传递而只希望对方是单向使用的,要么只让它发送数据,要么只让它接收数据,这时候可以指定通道的方向。
单项channel的声明
- 双向channel
ch = make(chan int)
- 单向写channel:
var ch chan <- int
ch = make(chan <- int)
- 单向读channel:
var ch <- chan int
ch = make(<-chan int)
可以将 channel 隐式转换为单向队列,只收或只发,不能将单向 channel 转换为普通 channel,示例:
package main
import (
"fmt"
"runtime"
)
var c = make(chan string, 10)
func read(c <-chan string) {
fmt.Println("读通道开始读取数据")
for {
if char, ok := <-c; ok {
fmt.Printf("读取%s\r\n", char)
} else {
break
}
}
}
func write(ch chan<- string, str []string) {
defer close(ch)
for _, value := range str {
fmt.Printf("写入%+q\r\n", value)
ch <- value
}
}
func main() {
runtime.GOMAXPROCS(3)
go write(c, []string{"h", "e", "l", "l", "o"})
read(c)
}
本文发布于Cylon的收藏册,转载请著名原文链接~
链接:https://www.oomkill.com/2019/10/go-goroutine-communication/
版权:本作品采用「署名-非商业性使用-相同方式共享 4.0 国际」 许可协议进行许可。