好久没有更新博客了，离上一篇博客有小半年的时间了，今天的主题就聊聊Golang吧。

Go最近两年是门特别火的语言，想必大家也知道他是谷歌一众大神开发出来的一种高并发、跨平台的静态语言，号称“二十一世纪的C语言”，确实他的语法跟C很相似，语法比较简单，有其他语言基础的童鞋上手也比较容易，下面先谈谈他的语言特性：

  1. 静态类型和编译型：
    变量或常量申明时必须指定类型且不可改变；程序必须通过编译生成可执行的二进制文件。
  2. 跨平台：
    支持大部门主流的计算架构和操作系统，下载相应平台的语言安装包即可。
  3. 自动垃圾回收机制
    程序运行过程中创建的对象由Go的运行时系统全权负责回收，这是高级语言必有得特性，与Java类似。
  4. 并发编程：
    有自己的并发编程模型，主要由goroutine和channel组成，还有go关键字。
  5. 多编程范式：
    支持函数式编程和面向对象编程。

聊完基本特性，接下来我们看看目前主流语言所采用的多线程模型。线程主要分为用户线程和内核线程，用户线程由各语言代码所支持，而内核线程是由操作系统内核所支持。多线程模型主要就是用户线程与内核线程的连接方式：

  1. 多对一模型（M : 1）：多个用户级线程映射到一个内核级线程，线程管理在用户空间完成。
    thread_1.png

    优点：线程上下文切换都发生在用户空间，避免模态切换（mode switch），从而对于性能有 积极的影响。
    缺点：所有的线程基于一个内核调度实体即内核线程，多核处理器得不到更好的利用。

  2. 一对一模型（1 : 1）：每个用户级线程映射到一个内核级线程。


    thread_2.png

    优点：多处理器硬件下，内核空间线程模型支持了真正的并行，当一个线程被阻塞后，允许另一个线程继续执行，所以并发能力较强。
    缺点：每创建一个用户级线程都需要创建一个内核级线程与其对应，这样创建线程的开销比
    较大，会影响到应用程序的性能。

  3. 多对多模型（M : N）：内核线程和用户线程的数量比为 M : N，综合了前两种的优点。


    thread_3.png

    优点：这种模型实际上是多个线程被绑定到了多个内核线程上，这使得大部分的线程上下文切换都发生在用户空间，而多个内核线程又可以充分利用处理器资源。

Go实现了多对多模型（M : N）线程模型，Golang内部的调度器（scheduler）可以让多核CPU中的每个CPU执行一个goroutine（协程的一种实现），所以想理解goroutine的并发机制原理就需要了解Go的调度器的工作原理。