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() ,我要写了,所有人注意,别做任何操作