许式伟：我们最先，先引见一下ECUG，从07年最先，最早在珠三角珠海广州深圳，在珠三角鼓起，最早是Erlang的社区。也许到10年的时候更名为实时效云盘算的群组，最早的时候也不局限于Erlang，而是会有种种言语如Haskell、Scala等..，实在基础就没有限定，只假如半途交叉后端开发运维的实践都能够，厥后我们就正式改名为实效云盘算的群组。，局限扩也蛮大到全国，基本上北京、长三角都有举行过。所以应当说到本日对峙了也差不多有8年，总共有9届，07年的时候办了2届。这个是ECUG 的汗青。南京是第一次办这个大会，我大学是在南京念的，。本年想的挺久的，我们希望是能够把这个火花在一切的都市都能够点燃，所以本年就挑选了南京如许一个对我来说比较有特别意义的处所。

我最先我的话题了。实在，这个话题我实在在杭州的ECUG上时候讲过，然则当时讲的比较婉约，实际上我当时已意想到Erlang的编程作风的题目，然则解刨得并不完整，，所以我本日又转头谈一下这个话题，用相对照较细致的要领去对照说Go与Erlang并发模子二者到底有什么差别？由于基本上我晓得ECUG 生长汗青的人都有疑心，为何我会从Erlang转到切到GoO。

这个是话题的因由照样想重新谈谈GO和Erlang的并发，我在09年最先决议摒弃用Erlang自身在C++内里重新造一个Erlang的编程模子，CERL这个收集库最初的起点是如许的，所以CERL的C代表的是C/C++、ERL代表的是Erlang。最早的思绪是简朴把Erlang搬到C++，由于Erlang的顺序员确切比较难招，然则厥后发明实在Erlang的并发模子并没有我设想得那末愉快，就搞了一个CERL2.0，它是对Erlang模子的深思和革新。末了发明这个深思终究获得的效果和Go的并发模子完整一致。所以CERL1.0和2.0的对照，实在你能够以为是 Erlang 和 Go 的对照。实在许多人问我这个话题，为何CERL没有开源？缘由是我以为过了谁人时候点了，开源没有太大的意义，所以我以为不太想误人子弟，由于我自身最早是C++的粉丝，然则我打仗Go今后有一个异常猛烈的希望我希望C++如许的东西最好照样能够早点退出汗青舞台，关于这个话题我曾经有一个演讲，是讲Go与七牛的汗青，我深思了我的C++奋斗史，谁人演讲我会后给人人作为一个补充的材料放上去。

既然没有开源那应当怎样明白CERL呢？实在这个天下有相似的东西，这个Pth是我近来才晓得的，半途还看到过另一个开源库，也许在08年开源的，惋惜我一时找不到项目网址了。当时我看了一下跟CERL差不多，然则没有CERL库写的完整，然则Pth这个库涌现汗青是异常早的，而且是GNU下的一个开源项目，它是99年就已起动了，到06年摆布就不再更新了。它的涌现时候异常早，并发模子和CERL是险些一样，而且完成度异常高，毕竟生长了7年，所以要明白CERL实在也是研讨一下这个库基本上就差不多了。然则我实在有一个深思，为何这个Pth这么好的东西为何没有盛行起来？第一个是生不逢时，涌现的太早所以没有引发注重，由于实在也许谈多核时期如许的观点在我的印象当中是07年摆布最先有如许的观点，Erlang也是谁人时候才逐渐被人意想到代价的。第二个就是否是规范库，由于如许一个库侵入性是异常强的不光你认识它好另有他人也意想到，不然有一个题目他人写库你是不能用的，这个就是侵入性和传染性，所以会致使实在没有办法真的把这个库用起来，这类有侵入性和传入性的库最初鼓起的时候须要有一些引发的前提，它没有如许的前提。这和 C/C++ 中 GC 比较难盛行是相似的道理，由于 GC 也有侵入性和传染性。 第三个是从完成讲，照样有瑕疵的，最大的瑕疵就是轻量级历程并非真的轻量。轻量级历程的中心不只是要性能好， 更重要的是资本占用要小，但多半状况下的这类资本占用小这个实际上是比较难完成的， Go 在这一点做的比较好，有栈的自动增进，最小的栈最初的时候能够只要 4K ， 如许每一个轻量级历程从资本占用来说真的很轻量。 然则要到达这一点这个绝大多半的库都很难做到。像CERL我们只能做到说你自身指定说这个轻量级历程栈要多大，然则对顺序员来说指定栈大小是异常难题的事变，有很大的心智累赘。要明白CERL，研讨这个Pth是比较好的进修材料，固然第二个我以为就是直接进修Go的Runtime了。从轻量级历程来说，它的底层跟CERL是一样的。

轻量级历程模子我异常早就提了，从我最初首倡Erlang的时候就已提出了这个观点，什么是轻量级历程模子呢？很简朴就是两个，一个是勉励用同步IO写顺序逻辑，第二点是用尽能够多的并发历程来提拔IO并发才能。这和异步IO并发模子不一样的，哪怕你是单线程也能够做高并发。

一切轻量级历程并发模子的中心头脑都是一样的，第一让每一个轻量级历程的资本占用更小，如许就能够建立百万千万级别的并发，能够建立的历程个数唯一限定就是你的内存。每一个历程资本占用的越小能够发作的并发才能就越高。做效劳端人人都晓得，内存资本是异常珍贵的资本，但某种意义来说也是异常低价的。第二就是更轻的切换本钱，这是为何把历程做到用户态，这个和函数的挪用基本是在同一个数量级的，切换本钱异常异常低。然则假如是操纵体系历程则最少要从用户态到中心态再到用户态的切换。

讲一下轻量级历程模子的完成道理，这个是蛮多人照样比较关注的。我之前比较少谈这个，然则我本日我们细致的谈一谈轻量级历程究竟是怎样回事。先谈谈历程，所谓的历程究竟是什么样的东西？实在历程实质上不过就是一个栈加上寄存器器的状况。历程的切换怎样做呢？就是保留当前历程的寄存器，然后把寄存器修正成别的一个新历程的寄存器状况，如许相当于同时也切换了栈，由于栈的位置实在也寄存器保持的（ESP/EBP）。这个就是历程的观点，哪怕操纵体系的内核帮你做的实质上也是如许。所以这些事变是在用户态一样能够做到，而不是不能做到。实质上来说和函数的谁人挪用你能够以为也是差不多，由于函数的挪用也是保留寄存器，只是相对少一些，最少不会切换栈。所以实质上讲实际上是这个切换的本钱是和函数挪用是基本上差不多的，我自身测过，也许就是函数挪用的10倍摆布，基本照样在一样的数量级领域。那末在如许一个轻量级历程的观点引入今后，实际上全部轻量级历程的顺序物理上是怎样的？底层实在照样线程池加异步IO，你能够把这个线程池中的每一个线程设想成假造CPU（VCPU）。逻辑的轻量级历程（routine）的个数一般是远大于物理的线程数的，每一个物理的线程同一个时候一定只要一个routine在跑，更多的routine是在守候当中的。然则这个守候中的routine有两种，一种是等IO的，就是说我把CPU交给他也干不了活，另有一种是IO操纵已完成，或许是自身自身并没有等任何前置前提，总之是能够介入调理的。假如某一个物理的线程（VCPU）它的routine主动的或许是由于IO触发了一个调理，把线程（VCPU）让出来，这个时候就能够让一个新routine跑在上面，也就是从守候当中而且能够满足调理的routine介入调理，根据某种优先级算法挑选一个routine。所以轻量级历程调理道理是如许的，它是用户态的线程，然后有一个非侵占式的调理机制，调理机遇重要由IO操纵触发。发作IO操纵的时候，IO操纵的函数是如许完成的：起首提议一个异步的IO请求，提议后把这个routine状况设置为守候IO完成，然后再出让CPU，这个时候也就触发调理器的调理，这个时候调理器就会看看有没有人等着调理，有它就能够切换过去。然后再IO事宜完成的时候，IO完成后一般会有一个回调函数作为IO完成的事宜关照，这个会被调理器接收，详细做什么呢？很简朴就是把这个IO操纵所属的routine设为Ready，能够介入调理了。由于方才它的状况是在等IO，就算调理到它也没有办法做事变。而 Ready 的话就是让这个routine能够介入调理。另有一种状况就是routine主动出让CPU，这类状况下routine的状况在切换的时候依然是Ready的，任何的时候都能够切到它。以上几个基本上黑白侵占式的调理内里最基本的几个调理器触发的前提：IO操纵、IO完成事宜、主动出让CPU。然则实在在用户态的线程也能够完成侵占式的调理，做法也是异常简朴的，调理器起来一个定时器，这个定时器定时动身一个定时使命，这个定时使命搜检每一个正在实行当中的routine的状况，发明占CPU时候比较长就能够让它主动地让出CPU，这就就能够完成侵占式的调理。所以哪怕在用户态，它能够完整完成操纵体系历程调理一切做的事变。这就是轻量级历程的完成道理。

下面一个题目是Erlang和Go到底有什么差别？这两个不都是轻量级历程的并发模子？应当说它们的基本哲学确切差不多，然则细节上有异常大的差别，而不是一点点的差别。重要的差别是在于几点：第一个对锁的立场不一样，第二个对异步IO的立场不一样，第三个不算最重要的细节，然则是次重要的细节，二者的音讯机制不太一样。

起首谈谈对锁的立场，Erlang 对锁异常恶感，它以为变量不可变能够很大水平防止锁，Erlang 以为锁有很大的心智累赘所以不该当存在锁。 Go 的看法是锁确切有很大的心智累赘，然则锁基本上避无可避。我们先宏观看看锁为何是避无可避的，起首效劳器起首是一个同享资本，是许多用户在用的，不是为某一个人用的， 所以效劳器自身就是同享资本， 一旦有并发就是这些并发请求就在抢这个同享资本。我们清晰， 一旦有人同享状况而且互相侵占去转变它的话，这个时候必定是有锁的，这点是不以手艺的完成细节为转移的， 固然这个剖析是从宏观角度讲，背面我还会讲手艺细节，来谈锁为何不能够防止。

Erlang为何没有锁呢？实际上Erlang的效劳器是单历程（Process）的，是逻辑上就无并发的东西。一个Process就是一个实行体，所以Erlang的效劳器和Go的效劳器不一样，Go的效劳器必定是多历程（goroutine）一同组成一个效劳器的，每一个请求一个自力的历程（goroutine）。然则Erlang不一样，一个Erlang效劳器是一个单历程的东西，既然是一个单历程的起首一切的并发请求都进入了历程邮箱（背面谈判这个历程邮箱），然后这个效劳器从历程邮箱内里取邮件（请求的内容）然后处置惩罚，所以Erlang的单个效劳器并没有并发的请求，这个是他不须要锁的基础缘由，实在并非由于它没有变量，变量不可变这些。由于人人都晓得单线程的效劳器一定是没有锁的。那末能够会有人问，那Erlang怎样做高并发呢？实际上是两点：第一是每一个Erlang物理的历程会有许多的效劳器，每一个效劳器互相是无滋扰的，它们能够并发。第二是单效劳器想要高并发怎样办？Erlang对这个题目的回复就是请异步IO。

然则异步 IO 给 Erlang 带来了什么贫苦呢？起首是效劳器状况变庞杂了，这个庞杂是异常异常要命的，这致使我末了以为 Erlang一旦引入了异步 IO 以后，实在比正统的异步 IO 编程模子还要蹩脚。我们看几点。起首为何会有中心状况的引入？由于有异步 IO，所以方才的某一个请求实在还没有完成，然则它必需把时候让给别的一个请求，所以这个时候效劳器就要保持方才没有完成的谁人请求的中心状况。一旦有中心状况的话，这个效劳器的状况自身就不清洁，单次请求的中心状况要效劳器来保持状况，这个是异常不合理的事变。第二，这个效劳器的中心状况将致使比较庞杂的状况机，这内里的状况很庞杂，由于效劳器不只是要保持一个请求的状况，而是一切的未完成的请求的状况都要它来保持。第三，这些中心状况会致使有锁的诉求，为何会有锁的诉求我下面会讲。所以Erlang虽然试图避开锁，然则一旦有异步 IO 实在实质上依然没有办法避开锁。

为何Erlang没有避开锁呢？方才我们已讲了，实质上讲是由于有历程邮箱的存在，而且Erlang的效劳器是单历程（实行体），所以通例上没有并发所以不须要锁，然则一旦引入了异步IO今后就会有伪的并发。既然是单的历程，不能够真的有并发，但假如我们把Erlang的历程（Process）也是以为一个VCPU，由于有请求没有完成，所以同时就有许多并发请求在同一个VCPU上跑。这中心能够涌现某个请求须要临时占用某种资本是不能开释的，会涌现一些互相互斥的行动。一旦有如许的行动就必定有锁，这个锁虽然不是操纵体系完成而是自身完成，详细能够会体现为相似BusyFlag如许的东西，这实在就是锁。一切锁的特性，比如说遗忘把这个开释了，全部效劳器就被挂住了，它的行动和一切的锁的行动是完整一样的。有人会说我基础没有操纵体系锁，确实单线程的顺序必定不会有操纵体系的锁，然则不能疑心实在我们代码内里是有锁的。

所以，在对锁的立场这个题目上，Erlang尽力防止锁，然则实质上只是把锁的题目抛给用户。而Go则挑选接收了锁没法逃避的现实。

我们再看对异步IO的立场。Go以为，无论怎样都不该当有异步IO的代码。而Erlang从轻量级历程并发模子来说不是很地道，它没有排挤异步IO，是一个混淆体，是异步IO编程加上轻量级历程模子的混淆，这个混淆的效果是让Erlang的编程，一旦用了异步IO的话，实际上是比纯真的异步IO编程的心智累赘还要大。

末了一个细节是我方才讲过的次重要的观点，它是 Erlang的历程邮箱，一切发给Erlang历程的音讯都邑发到这个历程邮箱，Erlang供应邮箱收发音讯的元语。Go则供应了channel如许的通信设备，这个channel能够随意马虎建立许多个，然后用它举行历程通信。相比之下，Go的音讯机制笼统更轻巧。音讯行列和历程是完整自力的设备。

那末，我们再看看我们应当怎样去明白Go的并发模子？Go的并发模子很新吗？实在不是的。我在许多的场所都讲过，Go的并发模子实在基础不是一个立异性的东西，为何呢？由于Go的并发模子是从有收集以来我们就是这么写顺序的，从第一天写收集顺序的时候我们写的就是Go推重的并发模子。那末题目在那里呢？为何人人末了摒弃了最陈旧的并发模子？缘由是由于OS的历程和线程太重，致使了人人人们去千方百计进步IO并发的时候用了一些歪招，也就是本日人人普遍接收的异步IO编程范式。这个异步IO变成范式带来的题目是顺序员的编程心智累赘大大加重。所以Go的创举有两点：第一点就是代价回归，实在最陈旧的并发编程模子就是最好的并发模子。它的题目是实行体的本钱，所以Go的最重要的事变就是让实行体的本钱无穷下降，人人晓得Go的最新版本栈最小能够到4K，小到让许多人以为难以设想。所以这一点Go实际上是从完成层面处理的，而不是从编程范式处理的。Go第二个创举是让实行体变成了言语内建的规范设备，方才我说谁人Pth库盛行不起来是由于这类并发模子是有传染性和互斥性的，这个体系当中不该当有两个如许的设备，而假如人人用的设备不一样，它是会排挤的，这个传染性必需请求实行体必需成为规范化的东西。而且这已是什么年代了？多核时期已喊了快十年了，然则我们人人能够看到，险些没有若干言语把实行体这个作为言语内建规范来做，我以为这是Go很大的创举。

让我们回忆一下，Go的并发模子实在就是这一页提到的东西。它是最陈旧的并发模子。当代的操纵体系，以及人人学的操纵体系道理，和Go内里的观点完整一致。起首这个并发模子触及的是实行体如许一个观点，也就是Go的goroutine，然后一次是原子操纵、互斥体、同步、音讯，末了就是同步IO。这些就是Go的并发模子一切包括的内容。

那末末了一个题目，Erlang中是否是能够实行Go的并发模子？在Go内里实行Erlang的并发模子是比较轻易的，然则反过来想Erlang内里可不能够完成Go的并发模子呢？原则上是不能。由于在Erlang当中历程不能完成同享状况，这个是他阻挡锁的最重要的基点。历程不能同享状况，所以不必锁，但实在我以为这个是最大的题目，为何呢？由于Erlang收到请求今后没有办法建立一个子的实行体，然后让它处置惩罚某一个详细的请求不必再管它。然则Erlang内里历程没有同享状况，你要改效劳器状况必需用异步IO的体式格局，把事变做了再把音讯扔给效劳器对他说你自身改状况。经由过程音讯改效劳器状况，这个本钱是比较大的，而且带来了许多题目。所以我以为Erlang的用音讯改这个状况是不好的做法，绕了一大圈没有实质转变任何的东西。固然，假如我在Erlang内里非要做到Go的并发模子也能够，这须要对Erlang做一个阉割，假如我们让Erlang的效劳器都无状况的话，是能够实行Go的并发模子。什么样的效劳器是无状况的？人人能够很轻易想到PHP效劳器。它把状况交给一切的外部的存储效劳，由存储效劳来保持状况。假如说Erlang的效劳器是无状况的是能够实行Go的并发模子，由于一切的状况都经由过程修正外部的存储。然则如许的话Erlang顺序员一定是很快乐，看起来Erlang言语并没有带来什么实质性的优点。所以我的结论是：是时候摒弃Erlang了。

这就是我的演讲内容，感谢人人！