golang GMP模型
一、概念,GMP模型
作为Go的最大宣传特点,来看看goroutine的协程实现。goroutine本质上和上面我实现的协程是一样的。但是由于做了一些层次抽象,更具灵活性。
-
G:Goroutine,一个G就是我们协程任务,是调度执行的单位。所以最重要的就是栈结构了(旁白:四板斧之一:任务)
-
M:Machine,这是一个抽象出来的数据结构,可以认为就是执行体,就是线程,就是cpu,每个M都代表一个线程(旁白:四板斧之一:执行者)
-
P:processor。处理器,这个可以认为就是代表一个硬件cpu核心。通常这个数量也就是和cpu核数相同(旁白:四板斧之一:队列,Golang的设计就是得P者得天下,得队列者得天下)
其中启动开始P就是固定的,M是会增长的,M执行任务必须是绑定到一个P(也就是说,一定要有一个队列),没有绑定到P的M就是空闲的,或者游离态的。这样数据结构(P)和执行(M)分离增加了扩展性。
三、管道
channel-基本介绍
1、为什么需要channel
四、互斥锁
互斥锁能够保证同一时间有且只有一个goroutine进入临界区,其他的goroutine则在等待锁;
当互斥锁释放后,等待的goroutine才可以获取锁进入临界区,多个goroutine同时等待一个锁时,唤醒的策略是随机的。
五、读写锁
读写锁分为两种:读锁和写锁。
当一个goroutine获取读锁之后,其他的goroutine如果是获取读锁会继续获得锁,如果是获取写锁就会等待;
当一个goroutine获取写锁之后,其他的goroutine无论是获取读锁还是写锁都会等待。
读锁RLock() ,我开始读了,你们也可以来读,但是谁都别写
写锁Lock() ,我要写了,所有人注意,别做任何操作