这是我参与更文挑战的第1天，活动详情查看： 更文挑战

Go为什么基于CSP理论设计并发?

这么多年以来，并发设计和多线程编程变成了“复杂”的代名词。我们认为这一部分是因为诸如Pthreads复杂的设计，一部分也是因为诸如互斥器、条件参数、内存屏障这些过分强调极低细节的设计。但是如果设计出一个更高水平的接口，可能内部还是有互斥器这些设计，但是能够掩盖住它们，让编程更加简单。

Communicating Sequential Processes（CSP），是最成功的语言并发设计之一。Occam和Erlang两个著名语言都是成起源于CSP。Go的并发设计理念起源于一个管道（channel）的设计。早期一些语言尝试了CSP的设计，证明了CSP模型十分适合程序性框架语言。

Go为什么没有断言？

Go没有提供断言。不可否认，断言十分方便。但是按我们的经验来看，程序员往往会因为不想思考如何更好的处理异常，而滥用断言。更好的异常处理意味着，当服务遇到非致命的错误，仍然会继续运行。精确的错误类型会让程序员定位错误更加快速。

我们知道这是一个争议点，Go语言和其他现代语言有许许多多不同点，也是因为我们认为这些设计是值得做的尝试。

Go为什么用协程替代线程?

Gorountine(协程)让并发编程变成简单。这个设计能让程序多通道地执行在一系列的线程上，当一个协程阻塞了，例如执行了一段系统阻塞命令。“运行时”系统runtime会自动地将其它的协程转移到，同处于一个系统态的线程的其他协程转移到另外一个可运行的线程中，这样这些协程就不会被阻塞。程序员是看不到这些细节实现的，这其实很关键。我们执行一个协程代价十分低。它的花销不超过一个堆栈的空间。

为了让堆栈更小，Go的运行在一个可扩容的（但有上限）的堆栈。一个新造的协程初始容量是几个kb，在一个堆栈中能够容纳的协程数量几乎够用了。如果不够用的时候，go的运行时会自动扩容堆栈，来提高容纳协程数量。每一个函数调用只花费3个低消耗的指令。

在同一个内存地址上创建成百上千个协程十分便捷，而如果使用线程，相同数量情况下，系统资源会很快被消耗干净。

multiplex 多路的、多样的
overhead n 花销
mint adj 完美的、新造的
modest adj 适度的，谦虚的
instruction n 指令
复制代码

stem from 起源于
primitive 老式的
derive from 导出、探究、起源于
notion 观念
procedural 程序性的
复制代码