侧边栏壁纸
博主头像
Gstory's Blog 博主等级

每天进步一点点!

  • 累计撰写 108 篇文章
  • 累计创建 23 个标签
  • 累计收到 11 条评论

目 录CONTENT

文章目录
GO

goroutine协程和channel通道

gstory
2020-02-17 / 0 评论 / 0 点赞 / 161 阅读 / 0 字 / 正在检测是否收录...
温馨提示:
本文最后更新于2023-10-08,若内容或图片失效,请留言反馈。 部分素材来自网络,若不小心影响到您的利益,请联系我们删除。

因为并发程序要考虑很多的细节,以保证对共享变量的正确访问,使得并发编程在很多情况下变得很复杂。
但是Go语言在开发并发时,是比较简洁的。它通过channel来传递数据。数据竞争这个问题在golang的设计上就进行了规避了。
它提倡用通信的方式实现共享,而不要以共享方式来通信
Go语言用2种手段来实现并发程序,goroutine和channel,其支持顺序通信进程(communicating sequential processes),简称为CSP。CSP是一种现代的并发编程模型,在这种编程模型中,值会在不同的运行实例(goroutine)中传递。

Goroutine

在Go语言中,每一个并发的执行单元就叫做goroutine。
每个goroutine都对应一个非常简单的模型:它是一个并发的执行函数,并且在多个并发的goroutine间,资源是共享的。goroutine非常轻量,创建的开销很少。

goroutine的用法:
直接在函数前加上一个关键字:go。
go func() {}

例子

package main

import (
	"fmt"
	"time"
)

func main() {
	fmt.Println("In main")
	go longSleep()
	go shortSleep()

	fmt.Println("sleep ")
	time.Sleep(10 * 1e9)//ns,符号 1e9 表示 1 乘 10 的 9 次方,e=指数
	fmt.Println("the end of main")
}

func longSleep() {
	fmt.Println("longSleep begin")
	time.Sleep(5 * 1e9)
	fmt.Println("longSleep end")
}

func shortSleep() {
	fmt.Println("shortSleep begin")
	time.Sleep(2 * 1e9)
	fmt.Println("shortSleep end")
}

运行结果:

In main
sleep
longSleep begin
shortSleep begin
shortSleep end
longSleep end
the end of main

main() ,longSleep() 和 shortSleep() 这3个函数都是独立的处理单元按顺序启动,然后开始并行运行。为了模拟运算时间的损耗,我们使用了sleep()函数,这个函数可以按照指定时间来暂停函数或协程执行。

如果我们不在main()函数中sleep()较长的时间,那么main() 函数结束时,其他协程运行的程序也会结束。main()程序退出,它不会等待任何其他非main协程的结束。
协程是独立的处理单元,一旦陆续启动一些协程,就无法确定他们是什么时候正在开始运行的。

通道channel

上面我们讲到,协程都是独立运行的,他们之间没有通信。
协程可以使用共享变量来通信,但是不建议这么做。在Go中有一种特殊的类型channle通道,可以通过它来进行goroutine之间的通信,可以避免共享内存的坑。channel的通信保证了同步性。
数据通过通道,同一时间只有一个协程可以访问数据,所以不会出现数据竞争,设计时就是这样的。

channel语法

channel也是通过make进行分配的,其返回的是指向底层相关数据结构的引用。

1、基础语法

var chan1 chan string
chan1 = make(chan string)
//or
chan1 := make(chan string)

//int 
intchan := make(chan int)

//函数也可以
funcchan := chan func()

2、不带缓冲的channel

var chan2 chan string

chan2 := make(chan string)

chan3 := make(chan string, 0)

3、带缓冲区的channel

//在make第二个参数加上数字,就变成一个带缓冲的channel,
//也是一个双向channel,既可以读也可以写
chan3 := make(chan string, 4)

4、单向channel

//只发送的channel,在类型后面加上一个箭头 <-,只能向channel写数据
var chan4 chan <-int

chan4 := make(chan <-int)
//只接收的channel,箭头放在chan前面,只能从channel读取数据
var chan4 <-chan int

chan4 := make(<-chan int) //初始化

channel特性

基础特性

操作值为 nil 的 channel被关闭的 channel正常的 channel
closepanicpanic成功关闭
c<-永远阻塞panic阻塞或成功发送
<-c永远阻塞永远不阻塞阻塞或成功接收

happens-before 特性

  • 无缓冲时,接收 happens-before 发送
  • 任何情况下,发送 happens-before 接收
  • close happens-before 接收

channel用法

1、无缓冲区

channel无缓冲区,发送方和接收方需要一一配对,不然发送方会一直阻塞,直到数据被接收方取出。
其实无缓冲区channel不管是存消息还是取消息,都会挂起当前goroutine,除非另外一端已经准备好。
无缓冲区的channel永远不会存数据,只负责数据的流通。

  • 从无缓冲channel取数据,必须要有数据流进来才可以,否则当前协程阻塞
  • 数据流入无缓冲channel, 如果没有其他goroutine来拿走这个数据,那么当前协程阻塞

注意:同步的channel不能只在一个协程中发送和接收,因为会被永远阻塞,数据不能到接收方那里。

package main

import "fmt"

func main() {
	chan1 := make(chan int)

	go func() {
		for d := range chan1 {
			fmt.Println(d)
		}
	}()

	chan1 <- 1 //发送要放在接收协程跑起来后面,因为发送后会阻塞等待接收
	chan1 <- 2
	chan1 <- 3

	close(chan1)
}
import "fmt"

func sum(s []int, c chan int) {
	sum := 0
	for _, v := range s {
		sum += v
	}
	c <- sum // send sum to c
}
func main() {
	s := []int{7, 2, 8, -9, 4, 0}
	c := make(chan int)
	go sum(s[:len(s)/2], c)
	go sum(s[len(s)/2:], c)
	x, y := <-c, <-c // receive from c
	fmt.Println(x, y, x+y)
}

2、有缓冲区

channel创建一个缓冲区,如果缓冲区已满,发送方的主进程或者协程会被阻塞,发送方只能在接收方取走数据后才能从阻塞状态恢复;如果未满就不会阻塞;如果为空,接收方的协程会被阻塞。
上面的这种特性,比如可以控制主进程的退出,因为有时我们碰到主协程退出了,其他的子协程还没有运行完成。

package main

import (
	"fmt"
)

//-------------
var ichan = make(chan int, 3)
var str string

func f() {
	str = "hello world"
	ichan <- 0
}

func main() {
	go f()
	<-ichan  //这里有值,下面才会运行

	fmt.Println(str)
}
package main

import (
	"fmt"
)

func main() {
	chan1 := make(chan int, 3)
	quit := make(chan bool) //阻塞主进程,防止未处理完的子协程

	go func() {
		for d := range chan1 { //如果data的缓冲区为空,这个协程会一直阻塞,除非被channel被close
			fmt.Println(d)
		}
		quit <- true
	}()

	chan1 <- 1
	chan1 <- 2
	chan1 <- 3
	chan1 <- 4
	chan1 <- 5
	close(chan1) //用完需要关闭,否则goroutine会被死锁,因为上面用range,它是不等到信道关闭是不会结束读取的
	<-quit       //解除阻塞
}

3、 for...range

上面有的例子是一个一个的取数据,其实golang还提供了for range 来读取channel中的数据。

package main

import (
	"fmt"
	"time"
)

func main() {

	go func() {
		time.Sleep(1 * time.Hour)
	}()

	c := make(chan int)
	go func() {
		for i := 0; i < 10; i = i + 1 {
			c <- i
		}
		close(c)//如果把close(c)注释掉,程序会一直阻塞在for …… range那一行
	}()

	for i := range c {
		fmt.Println(i)
	}

	fmt.Println("end!")
}

//range c 产生的迭代值为channel中发送的值,它会一直迭代直到channel被关闭。

注意:上面的例子中如果把close(c)注释掉,程序会一直阻塞在for …… range那一行

4、select监听channel

select监测各个channel的数据。
如果有多个channel接收数据,select会随机选择一个case来处理。
你还可以给select加上一个default语句,如果没有case需要处理,那么就会选择default语句。
多个case情况下,如果没有default也没有case需要处理的,那么select会阻塞,只到某个case需要处理。

注意:nil channel 的操作会一直被阻塞,如果没有default的话,select会一直被阻塞。

package main

import (
	"fmt"
)

func foo(i int) chan int {
	c := make(chan int)
	go func() {
		c <- i
	}()
	return c
}

func main() {
	c1, c2, c3 := foo(1), foo(2), foo(3)

	ichan := make(chan int)
	//开一个goroutine监听各个channel数据输出并收集数据到channel
	go func() {
		for {//for语句循环处理select, 如果只有一个select,那么它只会选一个case处理就结束了
			select { //监听c1,c2,c3流出,并全部流入到ichan
			case v1 := <-c1:
				ichan <- v1
			case v2 := <-c2:
				ichan <- v2
			case v3 := <-c3:
				ichan <- v3
			}
		}
	}()

	//阻塞主协程,取出ichan的数据
	for i := 0; i < 3; i++ {
		fmt.Println(<-ichan) // 从打印来看我们的数据输出并不是严格的1,2,3顺序
	}

	fmt.Println("end!")
}

输出结果:

2
1
3
end!

5、超时处理

select还有一个应用超时处理的功能。上面说到如果没有case需要处理,那么select会一直阻塞,这时候我们就可以在一个case下定义一个超时情况,其他case没有数据处理时,到时间点了这个超时case就会处理了,就不会一直阻塞。
我们用time.After,它返回一个类型为 <-chan time 的单向channel,在指定时间发送一个当前时间给channel

package main

import (
	"fmt"
	"time"
)

func main() {
	chan1 := make(chan string, 1)
	go func() {
		time.Sleep(time.Second * 3)
		chan1 <- "res1"
	}()

	select {
	case res := <-chan1: //3秒之后才会有数据进入槽chan1
		fmt.Println(res)
	case <-time.After(time.Second * 1)://定义超时情况,1秒后超时.这个超时时间比上面的case短,所以先运行这个case
		fmt.Println("timeout 1")
	}
}

输出:

timeout 1

close channel

上面的特性我们列举了close channel的情况。

channel已经被关闭
close()掉了,你继续往里面写数据,会出现panic。
但是,从这个关闭的channel可以读出已发送的数据,还可以不断的读取零值。
如果是通过range读取数据,channel关闭后for循环会跳出。

通过i, ok := <-c 可以查看channel的状态,判断是零值还是正常读取的值。

c := make(chan int, 10)
close(c)
i, ok := <-c
fmt.Printf("%d, %t", i, ok) //0, false
0

评论区