Golang高阶：Golang协程实现原理

veeeeeeeeeeee · · 7330 次点击 · · 开始浏览

这是一个创建于的文章，其中的信息可能已经有所发展或是发生改变。

引言

实现并发编程有进程，线程，IO多路复用的方式。（并发和并行我们这里不区分，如果CPU是多核的，可能在多个核同时进行，我们叫并行，如果是单核，需要排队切换，我们叫并发）

进程是计算机资源分配的最小单位，进程是对处理器资源，虚拟内存（1）的抽象，而虚拟内存是对主存资源和文件（2）的抽象，文件是对I/O设备的抽象。线程是计算机调度的最小单位，共享同个进程分配的计算机资源。

上面这些是在深入理解计算机系统说的，如果有错来咬我呀。

总上所述，实际实现并发的是线程。首先，每个进程都有一个主线程，因为线程是调度的最小单位，你可以只有一个线程，但是你也可以创建多几个线程，线程调度需要CPU来切换，需要内核层的上下文切换，如果你跑了A线程，然后切到B线程，内核调用开始，CPU需要对A线程的上下文保留，然后切到B线程，然后把控制权交给你的应用层调度。进程切换也需要内核来切换，因为从C进程的主线程切换到D进程的主线程。。。

那么进程间要通讯呀，而且他们资源不共享，这个时候需要用IPC（Inter-Process Communication，进程间通信），常用的有信号量，共享内存，套接字，实际百度上说有六种耶，而同个进程的多个线程共享资源，通讯起来比进程容易多了，现在很多Java等编程语言都有这种线程交互实现。

至于IO多路复用，其实就是维持一个队列，然后让一个线程或多个线程，去队列里面拿任务去完成。为什么呢？因为线程的数量是有限的，而且线程间通讯需要点资源，内核也要频繁切换上下文。

一个线程的IO多路复用，典型的就是Redis和Nodejs了，根本不需要切换上下文，一个线程走天下。而多个线程的IP多路复用，就是Golang协程的实现方式了，协程，自己管理线程，把线程控制到一定的数量，然后构造一个规则状态机来调度任务。