所谓并发编程是指在一台处理器上“同时”处理多个任务;
宏观的并发是指在一段时间内, 有多个程序在同时运行;
并发在微观上, 是指在同一时刻只能有一条指令执行, 但多个程序指令被快速的轮换执行, 使得在宏观上具有多个进程同时执行的效果, 但在微观上并不是同时执行的, 只是把时间分成若干段, 使多个程序快速交替的执行;
1. 并行与并发:
并行(parallel): 指在同一时刻, 有多条指令在多个处理器上同时执行;
并发(concurrency)L指在同一时刻只能有一条指令执行, 但多个进程指令被快速的轮换执行, 使得在宏观上具有多个进程同时执行的效果, 但在微观上并不是同时执行的, 只是把时间分成若干段, 通过cpu时间片轮转使多个进程快速交替的执行;
- 并行是两个队列同时使用两台咖啡机 (真正的多任务)
- 并发是两个队列交替使用一台咖啡机 (假 的多任务)
1.进程并发
1.1 程序和进程:
- 程序:
- 编译成功的得到的二进制文件;
- 占用: 磁盘
- 进程:
- 运行起来的程序;
- 占用系统资源;(内存, 锁, cpu, …)
- 一个程序可以起多个线程;
1.2 进程状态:
进程基本的状态有5种; 分别为初始态, 就绪态, 运行态, 挂起态与终止态; 其中初始态为进程准备阶段; 常与就绪态结合来看;
1.2 进程并发
在使用进程 实现并发时可能会出现的问题呢:
- 系统开销比较大, 占用资源比较多,开启进程数量比较少;
- 在unix/linux系统下, 还会产生"孤儿进程"和"僵尸进程";
fork
孤儿进程 :
- 父进程先于子进程结束,则子进程成为孤儿进程,子进程的父进程成为init进程,称为init进程领养孤儿进程。
僵尸进程 : - 进程终止,父进程尚未回收,子进程残留资源(PCB)存放于内核中,变成僵尸(Zombie)进程。
Windows下的进程和Linux下的进程是不一样的,它比较懒惰,从来不执行任何东西,只是为线程提供执行环境。然后由线程负责执行包含在进程的地址空间中的代码。当创建一个进程的时候,操作系统会自动创建这个进程的第一个线程,成为主线程
2. 线程并发:
2.1 什么是线程:
LWP: light weight process 轻量级的进程, 本质仍是进程 (Linux下)
进程: 独立地址空间,拥有PCB
线程: 有独立的PCB,但没有独立的地址空间(共享)
区别:
- 在于是否共享地址空间;
- 线程: 最小的执行单位;
- 进程: 最小分配资源单位, 可看成是只有一个线程的进程;
Windows系统下, 可以直接忽略进程的概念, 只谈线程; 因为线程是最小的执行单位, 是被系统独立调度和分派的基本单位; 而进程只是给线程提供执行环境;
2.2 线程同步:
同步即协同步调, 按预定的先后次序运行;
线程同步: 指一个线程发出某一功能调用时, 在没有得到结果之前, 该调用不返回; 同时其它线程为保证数据一致性, 不能调用该功能;
举例: 内存中100字节, 线程T1欲填入全1, 线程T2欲填入全0; 但如果T1执行了50个字节失去cpu, T2执行, 会将T1写过的内容覆盖; 当T1再次获得cpu继续从失去cpu的位置向后写入1, 当执行结束, 内存中的100字节, 既不是全1, 也不是全0;
产生的现象叫做与时间有关的错误(time related); 为了避免这种数据混乱,线程需要同步;
“同步”的目的, 是为了避免数据混乱, 解决与时间有关的错误; 实际上, 不仅线程间需要同步, 进程间、信号间等等都需要同步机制;
因此, 所有“多个控制流, 共同操作一个共享资源”的情况, 都需要同步;
3. 锁的应用:
3.1 互斥量 mutex:
Linux中提供一把互斥锁mutex(也称之为互斥量);
每个线程在对资源操作前都尝试先加锁, 成功加锁才能操作, 操作结束解锁;
资源还是共享的, 线程间也还是竞争的, 但通过“锁”就将资源的访问变成互斥操作, 而后与时间有关的错误也不会再产生了;
应注意: 同一时刻, 只能有一个线程持有该锁;
当A线程对某个全局变量加锁访问, B在访问前尝试加锁, 拿不到锁, B阻塞; C线程不去加锁, 而直接访问该全局变量, 依然能够访问, 但会出现数据混乱;
所以, 互斥锁实质上是操作系统提供的一把“建议锁”(又称“协同锁”), 建议程序中有多线程访问共享资源的时候使用该机制; 但, 并没有强制限定;
因此, 即使有了mutex, 如果有线程不按规则来访问数据, 依然会造成数据混乱;
3.2 读写锁
与互斥量类似, 但读写锁允许更高的并行性; 其特性为: 写独占, 读共享:
-
读写锁状态: 读写锁只有一把, 其具备两种状态:
- 读模式下加锁状态 (读锁);
- 写模式下加锁状态 (写锁);
-
读写锁特性:
- 读写锁是“写模式加锁”时, 解锁前, 所有对该锁加锁的线程都会被阻塞;
- 读写锁是“读模式加锁”时, 如果线程以读模式对其加锁会成功; 如果线程以写模式加锁会阻塞;
- 读写锁是“读模式加锁”时, 既有试图以写模式加锁的线程, 也有试图以读模式加锁的线程; 那么读写锁会阻塞随后的读模式锁请求; 优先满足写模式锁; 读锁、写锁并行阻塞, 写锁优先级高;
读写锁也叫共享-独占锁; 当读写锁以读模式锁住时, 它是以共享模式锁住的; 当它以写模式锁住时, 它是以独占模式锁住的; 写独占、读共享;
读写锁非常适合于对数据结构读的次数远大于写的情况;
4.协程并发:
4.1 什么是协程:
协程: coroutine, 也叫轻量级线程;
与传统的系统级线程和进程相比, 协程最大的优势在于“轻量级”; 可以轻松创建上万个而不会导致系统资源衰竭; 而线程和进程通常很难超过1万个; 这也是协程别称“轻量级线程”的原因;
一个线程中可以有任意多个协程, 但某一时刻只能有一个协程在运行, 多个协程分享该线程分配到的计算机资源;
多数语言在语法层面并不直接支持协程, 而是通过库的方式支持, 但用库的方式支持的功能也并不完整, 比如仅仅提供协程的创建、销毁与切换等能力; 如果在这样的轻量级线程中调用一个同步 IO 操作, 比如网络通信、本地文件读写, 都会阻塞其他的并发执行轻量级线程, 从而无法真正达到轻量级线程本身期望达到的目标;
在协程中, 调用一个任务就像调用一个函数一样, 消耗的系统资源最少! 但能达到进程、线程并发相同的效果;
在一次并发任务中, 进程、线程、协程均可以实现; 从系统资源消耗的角度出发来看, 进程相当多, 线程次之, 协程最少;
4.2 Go并发
goroutinegoroutinegoroutinechannel
5. Goroutine
5.1 什么是Goroutine
goroutinegoroutine
5.2 Goroutine的创建
gomain goroutine
package main
import (
"fmt"
"time"
)
func newTask() {
i := 0
for {
i++
fmt.Printf("new goroutine: i = %d\n", i)
time.Sleep(1 * time.Second) //延时1s
}
}
func main() {
//创建一个 goroutine,启动另外一个任务
go newTask()
i := 0
//main goroutine 循环打印
for {
i++
fmt.Printf("main goroutine: i = %d\n", i)
time.Sleep(1 * time.Second) //延时1s
}
}
5.3 Goroutine特性:
主goroutine退出后,其它的工作goroutine也会自动退出;
6. runtime包:
6.1 Gosched
runtime.Gosched()
package main
import (
"fmt"
"runtime"
)
func main() {
//创建一个goroutine
go func(s string) {
for i := 0; i < 2; i++ {
fmt.Println(s)
}
}("world")
for i := 0; i < 2; i++ {
runtime.Gosched() //import "runtime" 包
/*
屏蔽runtime.Gosched()运行结果如下:
hello
hello
有runtime.Gosched()运行结果如下:
world
world
hello
hello
*/
fmt.Println("hello")
}
}
main()go func()runtime.Gosched()
6.2 Goexit
runtime.Goexit()goroutinedefer
package main
import (
"fmt"
"runtime"
)
func main() {
go func() {
defer fmt.Println("A.defer")
func() {
defer fmt.Println("B.defer")
runtime.Goexit() // 终止当前 goroutine, import "runtime"
fmt.Println("B") // 不会执行
}()
fmt.Println("A") // 不会执行
}() //不要忘记()
//死循环,目的不让主goroutine结束
for {
}
}
结果:
B.defer
A.defer
6.3 GOMAXPROCS
runtime.GOMAXPROCS()
package main
import (
"fmt"
)
func main() {
//n := runtime.GOMAXPROCS(1) // 第一次 测试
//打印结果:111111111111111111110000000000000000000011111...
n := runtime.GOMAXPROCS(2) // 第二次 测试
//打印结果:010101010101010101011001100101011010010100110...
fmt.Printf("n = %d\n", n)
for {
go fmt.Print(0)
fmt.Print(1)
}
}
runtime.GOMAXPROCS(1)runtime.GOMAXPROCS(2)
6.4 其他方法:
https://studygolang.com/pkgdoc
三、协程间通信与 Channel1. channel同步数据通信:
1.1 channel 管道:
补充知识:
每当有一个进程启动时, 系统会自动打开三个文件: 标准输入、标准输出、标准错误; —— 对应三个文件: stdin(代号: 0)、stdout(代号: 1)、stderr(代号: 2);
当进行运行结束, 操作系统自动关闭三个文件(隐式回收系统资源),
1.2 什么是channel:
channel是Go语言中的一个核心类型, 可以把它看成管道; 并发核心单元通过它就可以发送或者接收数据进行通讯, 这在一定程度上又进一步降低了编程的难度;
channel是一个数据类型, 主要用来解决协程的同步问题以及协程之间数据共享(数据传递)的问题;
goroutine运行在相同的地址空间, 因此访问共享内存必须做好同步; goroutine 奉行通过通信来共享内存, 而不是共享内存来通信;
引⽤类型 channel可用于多个 goroutine 通讯; 其内部实现了同步, 确保并发安全;
1.3 定义channel变量:
makemake()chanType
make(chan Type) // 等价于make(chan Type, 0) => 无缓冲,只能容纳一个变量
make(chan Type, capacity) // => 有缓冲通道
capacity = 0capacity > 0
<-
channel <- value //发送value到channel
<-channel //接收并将其丢弃
x := <-channel //从channel中接收数据,并赋值给x
x, ok := <-channel //功能同上,同时检查通道是否已关闭或者是否为空
默认情况下, channel接收和发送数据都是阻塞的, 除非另一端已经准备好, 这样就使得goroutine同步变的更加的简单, 而不需要显式的lock;
package main
import (
"fmt"
)
func main() {
c := make(chan int)
go func() {
defer fmt.Println("子协程结束")
fmt.Println("子协程正在运行……")
c <- 666 //666发送到c
}()
num := <-c //从c中接收数据,并赋值给num
fmt.Println("num = ", num)
fmt.Println("main协程结束")
}
结果:
子协程正在运行......
子协程结束
num = 666
main协程结束
2. 无缓冲的channel:
无缓冲的通道(unbuffered channel)是指在接收前没有能力保存任何值的通道;
这种类型的通道要求发送goroutine和接收goroutine同时准备好, 才能完成发送和接收操作; 否则, 通道会导致先执行发送或接收操作的 goroutine 阻塞等待;
这种对通道进行发送和接收的交互行为本身就是同步的; 其中任意一个操作都无法离开另一个操作单独存在;
- 阻塞:由于某种原因数据没有到达,当前协程(线程)持续处于等待状态,直到条件满足,才接触阻塞;
- 同步:在两个或多个协程(线程)间, 保持数据内容一致性的机制;
无缓冲的channel创建格式:
make(chan Type) //等价于make(chan Type, 0)
如果没有指定缓冲区容量, 那么该通道就是同步的, 因此会阻塞到发送者准备好发送和接收者准备好接收;
package main
import (
"fmt"
"time"
)
func main() {
c := make(chan int, 0) //创建无缓冲的通道 c
//内置函数 len 返回未被读取的缓冲元素数量,cap 返回缓冲区大小
fmt.Printf("len(c)=%d, cap(c)=%d\n", len(c), cap(c))
go func() {
defer fmt.Println("子协程结束")
for i := 0; i < 3; i++ {
c <- i
fmt.Printf("子协程正在运行[%d]: len(c)=%d, cap(c)=%d\n", i, len(c), cap(c))
}
}()
time.Sleep(2 * time.Second) //延时2s
for i := 0; i < 3; i++ {
num := <-c //从c中接收数据,并赋值给num
fmt.Println("num = ", num)
}
fmt.Println("main协程结束")
}
结果:
lan(c)=0, cap(c)=0
子协程正在运行[0]: len(c)=0, cap(c)=0
num = 0
num = 1
子协程正在运行[1]: len(c)=0, cap(c)=0
子协程正在运行[2]: len(c)=0, cap(c)=0
子协程结束
num = 2
main协程结束
3. 有缓冲的channel:
goroutine
- 无缓冲的通道保证进行发送和接收的 goroutine 会在同一时间进行数据交换;
- 有缓冲的通道没有这种保证;
有缓冲的channel创建格式:
make(chan Type, capacity)
如果给定了一个缓冲区容量, 通道就是异步的; 只要缓冲区有未使用空间用于发送数据, 或还包含可以接收的数据, 那么其通信就会无阻塞地进行;
func main() {
c := make(chan int, 3) //带缓冲的通道
//内置函数 len 返回未被读取的缓冲元素数量, cap 返回缓冲区大小
fmt.Printf("len(c)=%d, cap(c)=%d\n", len(c), cap(c))
go func() {
defer fmt.Println("子协程结束")
for i := 0; i < 3; i++ {
c <- i
fmt.Printf("子协程正在运行[%d]: len(c)=%d, cap(c)=%d\n", i, len(c), cap(c))
}
}()
time.Sleep(2 * time.Second) //延时2s
for i := 0; i < 3; i++ {
num := <-c //从c中接收数据,并赋值给num
fmt.Println("num = ", num)
}
fmt.Println("main协程结束")
}
结果:
lan(c)=0, cap(c)=3
子协程正在运行[0]: len(c)=0, cap(c)=3
子协程正在运行[1]: len(c)=1, cap(c)=3
子协程正在运行[2]: len(c)=2, cap(c)=3
子协程结束
num = 0
num = 1
num = 2
main协程结束
4. 关闭channel
close()
package main
import (
"fmt"
)
func main() {
c := make(chan int)
go func() {
for i := 0; i < 5; i++ {
c <- i
}
//把 close(c) 注释掉,程序会一直阻塞在 if data, ok := <-c; ok 那一行
close(c)
}()
for {
//ok为true说明channel没有关闭,为false说明管道已经关闭
if data, ok := <-c; ok {
fmt.Println(data)
} else {
break
}
}
fmt.Println("Finished")
}
结果:
0
1
2
3
4
Finished
ps:
- channel不像文件一样需要经常去关闭, 只有当你确实没有任何发送数据了, 或者你想显式的结束range循环之类的, 才去关闭channel;
- 关闭channel后, 无法向channel 再发送数据(引发 panic 错误后导致接收立即返回零值);
- 关闭channel后, 可以继续从channel接收数据;
- 对于nil channel, 无论收发都会被阻塞;
range
package main
import (
"fmt"
)
func main() {
c := make(chan int)
go func() {
for i := 0; i < 5; i++ {
c <- i
}
//把 close(c) 注释掉,程序会一直阻塞在 for data := range c 那一行
close(c)
}()
for data := range c {
fmt.Println(data)
}
fmt.Println("Finished")
}
5. 单向channel及应用:
默认情况下, 通道channel是双向的, 也就是, 既可以往里面发送数据也可以同里面接收数据;
但是, 经常见一个通道作为参数进行传递而值希望对方是单向使用的, 要么只让它发送数据, 要么只让它接收数据, 这时候可以指定通道的方向;
单向channel变量的声明:
var ch1 chan int // ch1是一个正常的channel,是双向的
var ch2 chan<- float64 // ch2是单向channel,只用于写float64数据
var ch3 <-chan int // ch3是单向channel,只用于读int数据
chan<-<-chan
可以将 channel 隐式转换为单向队列, 只收或只发; 不能将单向 channel 转换为普通 channel
c := make(chan int, 3)
var send chan<- int = c // send-only
var recv <-chan int = c // receive-only
send <- 1
//<-send //invalid operation: <-send (receive from send-only type chan<- int)
<-recv
//recv <- 2 //invalid operation: recv <- 2 (send to receive-only type <-chan int)
//不能将单向 channel 转换为普通 channel
d1 := (chan int)(send) //cannot convert send (type chan<- int) to type chan int
d2 := (chan int)(recv) //cannot convert recv (type <-chan int) to type chan int
// chan<- //只写
func counter(out chan<- int) {
defer close(out)
for i := 0; i < 5; i++ {
out <- i //如果对方不读 会阻塞
}
}
// <-chan //只读
func printer(in <-chan int) {
for num := range in {
fmt.Println(num)
}
}
func main() {
c := make(chan int) // chan //读写
go counter(c) //生产者
printer(c) //消费者
fmt.Println("done")
}
6. 生产者消费者模型:
单向channel最典型的应用是“生产者消费者模型”
所谓生产者消费者模型: 某个模块(函数等)负责产生数据, 这些数据由另一个模块来负责处理(此处的模块是广义的, 可以是类、函数、协程、线程、进程等); 产生数据的模块, 就形象地称为生产者; 而处理数据的模块, 就称为消费者;
单单抽象出生产者和消费者, 还够不上是生产者/消费者模型; 该模式还需要有一个缓冲区处于生产者和消费者之间, 作为一个中介; 生产者把数据放入缓冲区, 而消费者从缓冲区取出数据; 大概的结构如下图:
缓冲区的好处大概如下:
- 解耦:
- 假设生产者和消费者分别是两个类; 如果让生产者直接调用消费者的某个方法, 那么生产者对于消费者就会产生依赖(也就是耦合); 将来如果消费者的代码发生变化, 可能会直接影响到生产者; 而如果两者都依赖于某个缓冲区, 两者之间不直接依赖, 耦合度也就相应降低了;
- 处理并发:
- 生产者直接调用消费者的某个方法, 还有另一个弊端; 由于函数调用是同步的(或者叫阻塞的), 在消费者的方法没有返回之前, 生产者只好一直等在那边; 万一消费者处理数据很慢, 生产者只能无端浪费时间;
- 使用了生产者/消费者模式之后, 生产者和消费者可以是两个独立的并发主体; 生产者把制造出来的数据往缓冲区一丢, 就可以再去生产下一个数据; 基本上不用依赖消费者的处理速度;
- 其实最当初这个生产者消费者模式, 主要就是用来处理并发问题的;
- 缓存:
- 如果生产者制造数据的速度时快时慢, 缓冲区的好处就体现出来了; 当数据制造快的时候, 消费者来不及处理, 未处理的数据可以暂时存在缓冲区中; 等生产者的制造速度慢下来, 消费者再慢慢处理掉;
例子:
package main
import "fmt"
// 此通道只能写,不能读。
func producer(out chan<- int) {
for i:= 0; i < 10; i++ {
out <- i*i // 将 i*i 结果写入到只写channel
}
close(out)
}
// 此通道只能读,不能写
func consumer(in <-chan int) {
for num := range in { // 从只读channel中获取数据
fmt.Println("num =", num)
}
}
func main() {
ch := make(chan int) // 创建一个双向channel
// 新建一个groutine, 模拟生产者,产生数据,写入 channel
go producer(ch) // channel传参, 传递的是引用。
// 主协程,模拟消费者,从channel读数据,打印到屏幕
consumer(ch) // 与 producer 传递的是同一个 channel
}
首先创建一个双向的channel, 然后开启一个新的goroutine, 把双向通道作为参数传递到producer方法中, 同时转成只写通道;
子协程开始执行循环, 向只写通道中添加数据, 这就是生产者;
主协程, 直接调用consumer方法, 该方法将双向通道转成只读通道, 通过循环每次从通道中读取数据, 这就是消费者;
ps: channel作为参数传递,是引用传递
6.2 模拟订单:
在实际的开发中, 生产者消费者模式应用也非常的广泛, 例如: 在电商网站中, 订单处理, 就是非常典型的生产者消费者模式;
当很多用户单击下订单按钮后, 订单生产的数据全部放到缓冲区(队列)中, 然后消费者将队列中的数据取出来发送者仓库管理等系统;
通过生产者消费者模式, 将订单系统与仓库管理系统隔离开, 且用户可以随时下单(生产数据); 如果订单系统直接调用仓库系统, 那么用户单击下订单按钮后, 要等到仓库系统的结果返回, 这样速度会很慢;
package main
import "fmt"
type OrderInfo struct { // 创建结构体类型OrderInfo,只有一个id 成员
id int
}
func producer2(out chan <- OrderInfo) { // 生成订单——生产者
for i:=0; i<10; i++ { // 循环生成10份订单
order := OrderInfo{id: i+1}
out <- order // 写入channel
}
close(out) // 写完,关闭channel
}
func consumer2(in <- chan OrderInfo) { // 处理订单——消费者
for order := range in { // 从channel 取出订单
fmt.Println("订单id为:", order.id) // 模拟处理订单
}
}
func main() {
ch := make(chan OrderInfo) // 定义一个双向 channel, 指定数据类型为OrderInfo
go producer2(ch) // 建新协程,传只写channel
consumer2(ch) // 主协程,传只读channel
}
7. 定时器:
time.Timer
Timer是一个定时器; 代表未来的一个单一事件, 可以告诉timer你要等待多长时间;
type Timer struct {
C <-chan Time
r runtimeTimer
}
timer.C
package main
import (
"fmt"
"time"
)
func main() {
//创建定时器,2秒后,定时器就会向自己的C字节发送一个time.Time类型的元素值
timer1 := time.NewTimer(time.Second * 2)
t1 := time.Now() //当前时间
fmt.Printf("t1: %v\n", t1)
t2 := <-timer1.C
fmt.Printf("t2: %v\n", t2)
//如果只是想单纯的等待的话,可以使用 time.Sleep 来实现
timer2 := time.NewTimer(time.Second * 2)
<-timer2.C
fmt.Println("2s后")
time.Sleep(time.Second * 2)
fmt.Println("再一次2s后")
<-time.After(time.Second * 2)
fmt.Println("再再一次2s后")
timer3 := time.NewTimer(time.Second)
go func() {
<-timer3.C
fmt.Println("Timer 3 expired")
}()
stop := timer3.Stop() //停止定时器
if stop {
fmt.Println("Timer 3 stopped")
}
fmt.Println("before")
timer4 := time.NewTimer(time.Second * 5) //原来设置3s
timer4.Reset(time.Second * 1) //重新设置时间
<-timer4.C
fmt.Println("after")
}
7.2 定时器的常用操作 – 实现延迟功能:
time.After
<-time.After(2 * time.Second) //定时2s,阻塞2s,2s后产生一个事件,往channel写内容
fmt.Println("时间到")
time.Sleep
time.Sleep(2 * time.Second)
fmt.Println("时间到")
time.NewTimer
timer := time.NewTimer(2 * time.Second)
<- timer.C
fmt.Println("时间到")
7.3 定时器的常用操作 – 定时器停止:
timer := time.NewTimer(3 * time.Second)
go func() {
<-timer.C
fmt.Println("子协程可以打印了,因为定时器的时间到")
}()
timer.Stop() //停止定时器
for {
;
}
time.Ticker
Ticker是一个周期触发定时的计时器, 它会按照一个时间间隔往channel发送系统当前时间, 而channel的接收者可以以固定的时间间隔从channel中读取事件;
type Ticker struct {
C <-chan Time // The channel on which the ticks are delivered.
r runtimeTimer
}
package main
import (
"fmt"
"time"
)
func main() {
//创建定时器,每隔1秒后,定时器就会给channel发送一个事件(当前时间)
ticker := time.NewTicker(time.Second * 1)
i := 0
go func() {
for { //循环
<-ticker.C
i++
fmt.Println("i = ", i)
if i == 5 {
ticker.Stop() //停止定时器
}
}
}() //别忘了()
//死循环,特地不让main goroutine结束
for {
}
}
8. select:
8.1 select作用
select
select {
case <-chan1:
// 如果chan1成功读到数据,则进行该case处理语句
case chan2 <- 1:
// 如果成功向chan2写入数据,则进行该case处理语句
default:
// 如果上面都没有成功,则进入default处理流程
}
用来监听 channel 上的数据流动方向; 读 or 写
ps:
- 监听的case中, 没有满足监听条件, 阻塞;
- 监听的case中, 有多个满足监听条件, 任选一个执行;
- 可以使用default来处理所有case都不满足监听条件的状况; 通常不用(会产生忙轮询)
- select 自身不带有循环机制, 需借助外层 for 来循环监听;
- break 跳出 select中的一个case选项; 类似于switch中的用法;
斐波那契额数列:
package main
import (
"fmt"
)
func fibonacci(c, quit chan int) {
x, y := 1, 1
for {
select {
case c <- x:
x, y = y, x+y
case <-quit:
fmt.Println("quit")
return
}
}
}
func main() {
c := make(chan int)
quit := make(chan int)
go func() {
for i := 0; i < 6; i++ {
fmt.Println(<-c)
}
quit <- 0
}()
fibonacci(c, quit)
}
结果:
1
1
2
3
5
8
quit
8.2 超时
有时候会出现goroutine阻塞的情况, 那么如何避免整个程序进入阻塞的情况呢? 可以利用select来设置超时,
通过如下的方式实现:
package main
import (
"fmt"
"time"
)
func main() {
c := make(chan int)
o := make(chan bool)
go func() {
for {
select {
case v := <-c:
fmt.Println(v)
case <-time.After(5 * time.Second):
fmt.Println("timeout")
o <- true
return
}
}
}()
// c <- 666 // 注释掉,引发 timeout
<-o
}
四、(扩展)锁和条件变量:
1. 死锁
死锁是指两个或两个以上的进程在执行过程中, 由于竞争资源或者由于彼此通信而造成的一种阻塞的现象, 若无外力作用, 它们都将无法推进下去; 此时称系统处于死锁状态或系统产生了死锁;
不是锁的一种!!!是一种错误使用锁导致的现象:
channelchannelchannel互斥锁、读写锁channel
package main
// 死锁1
func main() {
ch :=make(chan int)
ch <- 789
num := <-ch
fmt.Println("num = ", num)
}
// 死锁2
func main() {
ch := make(chan int)
go func() {
ch <- 789
}()
num := <- ch
fmt.Println("num = ", num)
}
// 死锁 3
func main() {
ch1 := make(chan int)
ch2 := make(chan int)
go func() { // 子
for {
select {
case num := <-ch1:
ch2 <- num
}
}
}()
for {
select {
case num := <- ch2:
ch1 <- num
}
}
}
2. 互斥锁:
syncMutexsync.MutexLockUnlockLockUnlock
deferdefer
var mutex sync.Mutex // 定义互斥锁变量 mutex
func write(){
mutex.Lock( )
defer mutex.Unlock( )
}
- 使用channel同步
package main
import (
"fmt"
"time"
)
var ch = make(chan int)
func printer(s string) {
for _, c := range s{
fmt.Printf("%c", c)
time.Sleep(time.Millisecond * 300)
}
}
func person1() { // 先
printer("hello")
ch <- 1
}
func person2() { // 后
<- ch
printer("world")
}
func main() {
go person1()
go person2()
for {
;
}
}
- 使用 “锁” 完成同步 —— 互斥锁:
package main
import (
"fmt"
"time"
"sync"
)
var mutex sync.Mutex
func printer(s string) {
mutex.Lock()
for _, c := range s{
fmt.Printf("%c", c)
time.Sleep(time.Millisecond * 300)
}
mutex.Unlock()
}
func person1() { // 先
printer("hello")
}
func person2() { // 后
printer("world")
}
func main() {
go person1()
go person2()
for {
;
}
}
3. 读写锁:
goroutinegoroutinegoroutinegoroutinegoroutinesync.RWMutex
- 一组是对写操作的锁定和解锁,简称“写锁定”和“写解锁”:
func (*RWMutex)Lock()
func (*RWMutex)Unlock()
- 另一组表示对读操作的锁定和解锁,简称为“读锁定”与“读解锁”:
func (*RWMutex)RLock()
func (*RWMutex)RUlock()
读写锁与channel同时使用引起的"隐性死锁":
package main
import (
"math/rand"
"time"
"fmt"
"sync"
)
var rwMutex sync.RWMutex // 锁只有一把, 2 个属性 r w
func readGo(in <-chan int, idx int) {
for {
rwMutex.RLock() // 以读模式加锁
num := <-in
fmt.Printf("----%dth 读 go程,读出:%d\n", idx, num)
rwMutex.RUnlock() // 以读模式解锁
}
}
func writeGo(out chan<- int, idx int) {
for {
// 生成随机数
num := rand.Intn(1000)
rwMutex.Lock() // 以写模式加锁
out <- num
fmt.Printf("%dth 写go程,写入:%d\n", idx, num)
time.Sleep(time.Millisecond * 300) // 放大实验现象
rwMutex.Unlock()
}
}
func main() {
// 播种随机数种子
rand.Seed(time.Now().UnixNano())
ch := make(chan int) // 用于 数据传递的 channel
for i:=0; i<5; i++ {
go readGo(ch, i+1)
}
for i:=0; i<5; i++ {
go writeGo(ch,i+1)
}
for{
;
}
}
读写锁实现:
package main
import (
"math/rand"
"time"
"fmt"
"sync"
)
var rwMutex sync.RWMutex // 锁只有一把, 2 个属性 r w
var value int // 定义全局变量,模拟共享数据
func readGo05(idx int) {
for {
rwMutex.RLock() // 以读模式加锁
num := value
fmt.Printf("----%dth 读 go程,读出:%d\n", idx, num)
rwMutex.RUnlock() // 以读模式解锁
time.Sleep(time.Second)
}
}
func writeGo05(idx int) {
for {
// 生成随机数
num := rand.Intn(1000)
rwMutex.Lock() // 以写模式加锁
value = num
fmt.Printf("%dth 写go程,写入:%d\n", idx, num)
time.Sleep(time.Millisecond * 300) // 放大实验现象
rwMutex.Unlock()
}
}
func main() {
// 播种随机数种子
rand.Seed(time.Now().UnixNano())
for i:=0; i<5; i++ { // 5 个 读 go 程
go readGo05(i+1)
}
for i:=0; i<5; i++ { //
go writeGo05(i+1)
}
for{
;
}
}
结果:
chengfei@bogon 02_并发编程 % go run 读写锁-rwlock.go
----1th 读 go程,读出:0
----3th 读 go程,读出:0
----2th 读 go程,读出:0
----5th 读 go程,读出:0
2th 写go程,写入:159
----4th 读 go程,读出:159
2th 写go程,写入:726
1th 写go程,写入:745
3th 写go程,写入:680
----2th 读 go程,读出:680
----1th 读 go程,读出:680
----3th 读 go程,读出:680
----5th 读 go程,读出:680
4th 写go程,写入:568
----4th 读 go程,读出:568
5th 写go程,写入:677
2th 写go程,写入:804
1th 写go程,写入:290
----5th 读 go程,读出:290
----3th 读 go程,读出:290
----2th 读 go程,读出:290
----1th 读 go程,读出:290
3th 写go程,写入:162
----4th 读 go程,读出:162
.......
package main
import (
"math/rand"
"time"
"fmt"
)
//var value06 int // 定义全局变量,模拟共享数据
func readGo06(in <-chan int, idx int) {
for {
num := <-in // 从 channel 中读取数据
fmt.Printf("----%dth 读 go程,读出:%d\n", idx, num)
time.Sleep(time.Second)
}
}
func writeGo06(out chan<- int, idx int) {
for {
// 生成随机数
num := rand.Intn(1000)
out <- num // 写入channel
fmt.Printf("%dth 写go程,写入:%d\n", idx, num)
time.Sleep(time.Millisecond * 300) // 放大实验现象
}
}
func main() {
// 播种随机数种子
rand.Seed(time.Now().UnixNano())
ch := make(chan int)
for i:=0; i<5; i++ { // 5 个 读 go 程
go readGo06(ch, i+1)
}
for i:=0; i<5; i++ { //
go writeGo06(ch, i+1)
}
for{
;
}
}
结果:
chengfei@bogon 02_并发编程 % go run 读写锁-channel.go
1th 写go程,写入:337
----1th 读 go程,读出:337
2th 写go程,写入:511
----2th 读 go程,读出:577
3th 写go程,写入:577
4th 写go程,写入:596
5th 写go程,写入:514
----5th 读 go程,读出:514
----4th 读 go程,读出:511
----3th 读 go程,读出:596
----5th 读 go程,读出:249
3th 写go程,写入:676
2th 写go程,写入:278
----1th 读 go程,读出:278
1th 写go程,写入:83
----2th 读 go程,读出:83
4th 写go程,写入:249
----4th 读 go程,读出:269
----3th 读 go程,读出:676
5th 写go程,写入:269
----4th 读 go程,读出:241
4th 写go程,写入:816
2th 写go程,写入:395
............
4. 条件变量:
条件变量: 条件变量的作用并不保证在同一时刻仅有一个协程(线程)访问某个共享的数据资源, 而是在对应的共享数据的状态发生变化时, 通知阻塞在某个条件上的协程(线程); 条件变量不是锁, 在并发中不能达到同步的目的, 因此条件变量总是与锁一块使用;
sys.CondL
type Cond struct {
noCopy noCopy
// L is held while observing or changing the condition
L Locker
notify notifyList
checker copyChecker
}
WaitSignalBroadcast
func (c *Cond) Wait()cond.L.Unlock()Wait()cond.L.Lock()func (c *Cond) Signal()goroutinefunc (c *Cond) Broadcast()goroutine
使用流程:
var cond sync.Condcond.L = new(sync.Mutex)cond.L.Lock()forfor len(ch) == cap(ch) { cond.Wait() —— 1) 阻塞; 2) 解锁; 3) 加锁; }cond.L.Unlock()signal()、 Broadcast()
package main
import "fmt"
import "sync"
import "math/rand"
import "time"
var cond sync.Cond // 创建全局条件变量
// 生产者
func producer(out chan<- int, idx int) {
for {
cond.L.Lock() // 条件变量对应互斥锁加锁
for len(out) == 3 { // 产品区满 等待消费者消费
cond.Wait() // 挂起当前协程, 等待条件变量满足,被消费者唤醒
}
num := rand.Intn(1000) // 产生一个随机数
out <- num // 写入到 channel 中 (生产)
fmt.Printf("%dth 生产者,产生数据 %3d, 公共区剩余%d个数据\n", idx, num, len(out))
cond.L.Unlock() // 生产结束,解锁互斥锁
cond.Signal() // 唤醒 阻塞的 消费者
time.Sleep(time.Second) // 生产完休息一会,给其他协程执行机会
}
}
//消费者
func consumer(in <-chan int, idx int) {
for {
cond.L.Lock() // 条件变量对应互斥锁加锁(与生产者是同一个)
for len(in) == 0 { // 产品区为空 等待生产者生产
cond.Wait() // 挂起当前协程, 等待条件变量满足,被生产者唤醒
}
num := <-in // 将 channel 中的数据读走 (消费)
fmt.Printf("---- %dth 消费者, 消费数据 %3d,公共区剩余%d个数据\n", idx, num, len(in))
cond.L.Unlock() // 消费结束,解锁互斥锁
cond.Signal() // 唤醒 阻塞的 生产者
time.Sleep(time.Millisecond * 500) //消费完 休息一会,给其他协程执行机会
}
}
func main() {
rand.Seed(time.Now().UnixNano()) // 设置随机数种子
product := make(chan int, 3) // 产品区(公共区)使用channel 模拟
cond.L = new(sync.Mutex) // 创建互斥锁和条件变量
for i := 0; i < 5; i++ { // 5个消费者
go producer(product, i+1)
}
for i := 0; i < 3; i++ { // 3个生产者
go consumer(product, i+1)
}
for {
; // 主协程阻塞 不结束
}
}
结果:
chengfei@bogon 02_并发编程 % go run 条件变量.go
4th 生产者,产生数据 10, 公共区剩余1个数据
---- 1th 消费者, 消费数据 10,公共区剩余0个数据
5th 生产者,产生数据 629, 公共区剩余1个数据
2th 生产者,产生数据 478, 公共区剩余2个数据
1th 生产者,产生数据 701, 公共区剩余3个数据
---- 3th 消费者, 消费数据 629,公共区剩余2个数据
---- 2th 消费者, 消费数据 478,公共区剩余1个数据
3th 生产者,产生数据 258, 公共区剩余2个数据
---- 2th 消费者, 消费数据 701,公共区剩余1个数据
---- 3th 消费者, 消费数据 258,公共区剩余0个数据
4th 生产者,产生数据 684, 公共区剩余1个数据
---- 1th 消费者, 消费数据 684,公共区剩余0个数据
3th 生产者,产生数据 279, 公共区剩余1个数据
1th 生产者,产生数据 479, 公共区剩余2个数据
5th 生产者,产生数据 125, 公共区剩余3个数据
---- 3th 消费者, 消费数据 279,公共区剩余2个数据
2th 生产者,产生数据 764, 公共区剩余3个数据
---- 2th 消费者, 消费数据 479,公共区剩余2个数据
---- 3th 消费者, 消费数据 125,公共区剩余1个数据
---- 2th 消费者, 消费数据 764,公共区剩余0个数据
4th 生产者,产生数据 70, 公共区剩余1个数据
5th 生产者,产生数据 858, 公共区剩余2个数据
.............