golang中提供了goroutine,即所谓的协程编程。这里面有几个概念需要区分一下 (by 魏加恩 本文地址http://www.cnblogs.com/weijiaen/p/3970856.html)
1. 并发&并行
简单一句话,并发是n个事情同时发生,但是不是同时刻发生。that is, parallelism means one or more things happen at the same time, while concurrency alows things happen together in a specific time. 并发其实是指程序的几个逻辑流在一起进行,但是,某个时刻也许只执行其中的某个逻辑流。这取决于cpu是否多核。我们知道,一个cpu核在一个时间只能执行一个指令,但是多个核就可以执行多个指令,即所谓的并行。所以,并发是并行的必要条件,不是充分条件。
2. 协程&线程
golang的协程由多牛逼,可以创建多少个就不去说了,为什么呢,因为goroutine的消耗低。成本低的事情自然容易做。
开启一个进程的消耗是很高的,需要分配单独的堆栈,为每个进程分配一个进程控制块,供操作系统进行调度。
开启线程的消耗次之,需要分配单独的栈,但是堆是共享的,所以需要自己保证堆变量的并发访问问题竞争问题。(所以,不是操作系统忙就是码农忙!)
开启协程的消耗,没有分配额外的堆栈,协程只是一段代码的入口,当你执行go funcA的时耗,只是在原来的堆栈上为funcA分配了一定的G结构。类似进程控制块,保存相关的funcA需要用来调度的信息,然后马上就跳过了该指令,继续执行下一个指令,刚刚创建的G结构会在适当的时候被go的runtime调度器调度并执行。
协程到底是个什么东西呢?
其实协程就是一个内核线程上执行的一段代码。可以理解内核线程是一个实际干活的苦力,golang调度的单位是p(Processor),挂在一个线程上,然后这个p上放着n个routine等着执行,每一时刻,这个线程要执行哪个routine由调度器来进行调度,所以routine也是需要切换的。但是并不需要像进程切换那样做那么多事情,所以代价小很多。那么,既然是内核线程,就一定有可能出现阻塞(文件IO,网络IO等),当发生这种情况时,整个P可以移动到另外一个线程(通过新增或者从线程池取出一个线程),然后继续执行,所以,所谓的同步,其实在底层还是异步的,该阻塞的时候还是阻塞,只不过你赶紧不到而已(再说说回调,其实就是修改了栈上的return address的地址,实现了从funcA进去,再从funcB出来)。
协程如何通信?
通信的方式有很多,比如c++常用信号,通信队列等,c++最常用的就是利用共享内存来通信,而golang则提倡利用通信来共享内存。那么怎么理解这两个概念呢?
利用共享内存来通信,一般就是指往队列写一个消息,然后其他进程从队列读取,实现了进程之间的通信,而golang则把通信作为一个手段,目的是实现同时对一个内存进行编辑,并在语言层面上提供了channel来支持。channel的概念跟通信队列类似,也有缓冲,阻塞等概念,并在语言层面实现了锁,写代码的时候可以更专注于业务逻辑,不需要考虑竞争的问题,当然,如果过多的routine尝试从同一channel进行读写,由于竞争的关系效率肯定也会下降。
有疑问加站长微信联系(非本文作者)