Go 言语的并发特性是其一大亮点，明天我们来带着大家一同看看如何运用 Go 更好地开发并发顺序？
我们都知道计算机的中心为 CPU，它是计算机的运算和控制中心，承载了一切的计算义务。最近半个世纪以来，由于半导体技术的高速开展，集成电路中晶体管的数量也在大幅度增长，这大大提升了 CPU 的功用。著名的摩尔定律——“集成电路芯片上所集成的电路的数目，每隔18个月就翻一番”，描画的就是该种情形。
过于密集的晶体管虽然提高了 CPU 的处置功用，但也带来了单个芯片发热过高和成本过高的成绩，与此同时，受限于材料技术的开展，芯片中晶体管数量密度的添减速度曾经放缓。也就是说，顺序曾经无法复杂地依赖硬件的提升而提升运转速度。这时，多核 CPU 的出现让我们看到了提升顺序运转速度的另一个方向：将顺序的执行进程分为多个可并行或并发执行的步骤，让它们辨别在不同的 CPU 中心中同时执行，最后将各部分的执行结果停止兼并失掉最终结果。
并行和并发是计算机顺序执行的常见概念，它们的区别在于：
并行 ，指两个或多个顺序在 同一个时辰 执行；
并发 ，指两个或多个顺序在 同一个时间段内 执行。
并行执行的顺序，无论从微观还是微观的角度察看，同一时辰内都有多个顺序在 CPU 中执行。这就要求 CPU 提供多核计算才能，多个顺序被分配到 CPU 的不同的核中被同时执行。
而 并发执行的顺序 ，仅需求在微观角度察看到多个顺序在 CPU 中同时执行。即使是单核 CPU 也可以经过火时复用的方式，给多个顺序分配一定的执行时间片，让它们在 CPU 上被快速轮换执行，从而在微观上模拟出多个顺序同时执行的效果。但从微观角度来看，这些顺序其实是在 CPU 中被串行执行。
Go 的 MPG 线程模型Go 被以为是一门高功用并发言语，得益于它在原生态支持 协程并发 。这里我们首先了解进程、线程和协程这三者的联络和区别。
在多道顺序系统中， 进程 是一个具有独立功能的顺序关于某个数据集合的一次静态执行进程，是操作系统停止资源分配和调度的基本单位，是运用顺序运转的载体。
而 线程 则是顺序执行进程中一个单一的顺序控制流程，是 CPU 调度和分派的基本单位。 线程是比进程更小的独立运转基本单位 ，一个进程中可以拥有一个或许以上的线程，这些线程共享进程所持有的资源，在 CPU 中被调度执行，共同完成进程的执行义务。
在 Linux 系统中，依据资源拜访权限的不同，操作系统会把内存空间分为内核空间和用户空间：内核空间的代码可以直接拜访计算机的底层资源，如 CPU 资源、I/O 资源等，为用户空间的代码提供计算机底层资源拜访才能；用户空间为下层运用顺序的活动空间，无法直接拜访计算机底层资源，需求借助“系统调用”“库函数”等方式调用内核空间提供的资源。
异样，线程也可以分为内核线程和用户线程。 内核线程 由操作系统管理和调度，是内核调度实体，它可以直接操作计算机底层资源，可以充沛应用 CPU 多核并行计算的优势，但是线程切换时需求 CPU 切换到内核态，存在一定的开支，可创立的线程数量也遭到操作系统的限制。 用户线程 由用户空间的代码创立、管理和调度，无法被操作系统感知。用户线程的数据保存在用户空间中，切换时无须切换到内核态，切换开支小且高效，可创立的线程数量实际上只与内存大小相关。
协程是一种用户线程，属于轻量级线程。协程的调度，完全由用户空间的代码控制；协程拥有本人的寄存器上下文和栈，并存储在用户空间；协程切换时无须切换到内核态拜访内核空间，切换速度极快。但这也给开发人员带来较大的技术应战：开发人员需求在用户空间处置协程切换时上下文信息的保存和恢复、栈空间大小的管理等成绩。
Go 是为数不多在言语层次完成协程并发的言语，它采用了一种特殊的两级线程模型：MPG 线程模型（如下图）。
MPG 线程模型
M，即 machine，相当于内核线程在 Go 进程中的映射，它与内核线程逐一对应，代表真正执行计算的资源。在 M 的生命周期内，它只会与一个内核线程关联。
P，即 processor，代表 Go 代码片段执行所需的上下文环境。M 和 P 的结合可以为 G 提供有效的运转环境，它们之间的结合关系不是固定的。P 的最大数量决议了 Go 顺序的并发规模，由 runtime.GOMAXPROCS 变量决议。
G，即 goroutine，是一种轻量级的用户线程，是对代码片段的封装，拥有执行时的栈、形状和代码片段等信息。
在实践执行进程中，M 和 P 共同为 G 提供有效的运转环境（如下图），多个可执行的 G 顺序挂载在 P 的可执行 G 队列下面，等候调度和执行。当 G 中存在一些 I/O 系统调用阻塞了 M时，P 将会断开与 M 的联络，从调度器闲暇 M 队列中获取一个 M 或许创立一个新的 M 组合执行， 保证 P 中可执行 G 队列中其他 G 失掉执行，且由于顺序中并行执行的 M 数量没变，保证了顺序 CPU 的高应用率。
M 和 P 结合表示图
当 G 中系统调用执行完毕前往时，M 会为 G 捕获一个 P 上下文，假设捕获失败，就把 G 放到全局可执行 G 队列等候其他 P 的获取。新创立的 G 会被放置到全局可执行 G 队列中，等候调度器分发到适宜的 P 的可执行 G 队列中。M 和 P 结合后，会从 P 的可执行 G 队列中无锁获取 G 执行。当 P 的可执行 G 队列为空时，P 才会加锁从全局可执行 G 队列获取 G。当全局可执行 G 队列中也没有 G 时，P 会尝试从其他 P 的可执行 G 队列中“抄袭”G 执行。
goroutine 和 channel并发顺序中的多个线程同时在 CPU 执行，由于资源之间的相互依赖和竞态条件，需求一定的并发模型协作不同线程之间的义务执行。Go 中倡导运用 CSP 并发模型 来控制线程之间的义务协作，CSP 倡导运用通讯的方式来停止线程之间的内存共享。
Go是经过 goroutine 和 channel 来完成 CSP 并发模型的：
goroutine，即协程 ，Go 中的并发实体，是一种轻量级的用户线程，是音讯的发送和接纳方；
channel，即通道 ， goroutine 运用通道发送和接纳音讯。
CSP并发模型相似常用的同步队列，它愈加关注音讯的传输方式，解耦了发送音讯的 goroutine 和接纳音讯的 goroutine，channel 可以独立创立和存取，在不同的 goroutine 中传递运用。
运用关键字 go 即可运用 goroutine 并发执行代码片段，方式如下：
go expression
而 channel 作为一种援用类型，声明时需求指定传输数据类型，声明方式如下：
var name chan T // 双向 channel
var name chan <- T // 只能发送音讯的 channel
var name T <- chan // 只能接纳音讯的 channel
其中，T 即为 channel 可传输的数据类型。channel 作为队列，遵照音讯先进先出的顺序，同时保证同一时辰只能有一个 goroutine 发送或许接纳音讯。
运用 channel 发送和接纳音讯方式如下：
channel <- val // 发送音讯
val := <- channel // 接纳音讯
val, ok := <- channel // 非阻塞接纳音讯
(责任编辑：admin)