从Erlang进程看协程思想

多核慢慢火了以后,协程类编程也开始越来越火了。比较有代表性的有Go的goroutine、Erlang的Erlang进程、Scala的actor、windows下的fibre(纤程)等,一些动态语言像Python、Ruby、Lua也慢慢支持协程。

其实我们听过协程相关很多名词,下面大致来解释一下:

  • OS进程: 进程是资源管理的最小单元,包括进程控制块(PCB)、程序段、数据段
  • OS线程: 线程是程序执行的最小单元,由线程ID,当前指令指针(PC),寄存器集合和堆栈组成;内核线程之间切换的时候需要在内核态进行上下文和堆栈切换。
  • 轻量级进程(LWP): 其实是基于内核线程的高级抽象,每个LWP对应一个实际的线程。优点是在某些情况下不需要新建一个实际进程那么大开销。
  • 协程: 在不同的编程语言或库里因为实现方式差异,也叫纤程、actor等。实际可以理解为应用程序级别的线程,其调度器不是内核的CPU,而是由用户级别实现的VM级别调度器。

也就是说,协程具有以下特点:

  1. 协程并发时的切换基本在用户态级别切换,不会触发内核,减少系统开销
  2. 尽管协程实际肯定还是在某个OS线程上执行,但是如何执行、何时执行、在哪个线程上执行等都是由用户的调度器去决定的,即协程使用者无需关心底层线程的情况。
  3. 协程作为用户级别的存在,实际就是一段待执行的函数,创建销毁开销很小;且因为切换基本在用户态,所以可以很轻易地在一个进程内开百万级别的协程。

基本能满足以上特点的我们都可以称其为协程(coroutine)。

但不同语言却有不同实现方式,其中主要有以erlang为代表的 actor model,还有以Go为代表的Coroutine。

Go那边不太熟悉,不过主要就是协程间通信方式和yield主动让出CPU操作,这些在Python、Ruby等中也有实现。

Erlang以及Scala主要采取的是一种 actor model,也叫面向actor的编程。主要遵循以下特点:

  1. 一切皆Actor的思想,即每一个执行者都当做一个actor。(有点像Java每一个功能承担者都是一个对象类)
  2. Actor之间只能允许通过消息传递来通信,不共享内存,且消息传递无副作用(无副作用指不会被脏读或修改等问题困扰)。
  3. Actor的收发消息是异步的,接收到的消息一般是一份副本。

从他的特性看来,Actor是一种比普通Coroutine更彻底的一种面向并发的编程模型。在设计actor model的程序时,开发者只需要考虑如何利用并发特性使自己程序的并发性能更好,而不需要去考虑锁、冲突、不一致性等问题。

从Erlang进程看协程思想的更多相关文章

  1. 进程、线程、轻量级进程、协程与 go 的 goroutine【转载+整理】

    本文内容 进程 线程 协程 Go 中的 goroutine 参考资料 最近,看一些文章,提到"协程"的概念,心想,进程,线程,协程,前两个很容易,任何一本关于操作系统的书都有说,开 ...

  2. 进程、线程、轻量级进程、协程和go中的Goroutine

    进程.线程.轻量级进程.协程和go中的Goroutine 那些事儿电话面试被问到go的协程,曾经的军伟也问到过我协程.虽然用python时候在Eurasia和eventlet里了解过协程,但自己对协程 ...

  3. 以goroutine为例看协程的相关概念

    转自  http://wangzhezhe.github.io/blog/2016/02/17/golang-scheduler/ 基本上是网上相关文章的梳理,初衷主要是想了解下golang中的gor ...

  4. 进程、线程、轻量级进程、协程与 go 的 goroutine

    本文内容 进程 线程 协程 Go 中的 goroutine 参考资料 最近,看一些文章,提到“协程”的概念,心想,进程,线程,协程,前两个很容易,任何一本关于操作系统的书都有说,开发时也经常用,但是协 ...

  5. Python之线程、进程和协程

    python之线程.进程和协程 目录: 引言 一.线程 1.1 普通的多线程 1.2 自定义线程类 1.3 线程锁 1.3.1 未使用锁 1.3.2 普通锁Lock和RLock 1.3.3 信号量(S ...

  6. python运维开发(十一)----线程、进程、协程

    内容目录: 线程 基本使用 线程锁 自定义线程池 进程 基本使用 进程锁 进程数据共享 进程池 协程 线程 线程使用的两种方式,一种为我们直接调用thread模块上的方法,另一种我们自定义方式 方式一 ...

  7. 进程&线程&协程

    进程  一.基本概念 进程是系统资源分配的最小单位, 程序隔离的边界系统由一个个进程(程序)组成.一般情况下,包括文本区域(text region).数据区域(data region)和堆栈(stac ...

  8. Python并发编程系列之常用概念剖析:并行 串行 并发 同步 异步 阻塞 非阻塞 进程 线程 协程

    1 引言 并发.并行.串行.同步.异步.阻塞.非阻塞.进程.线程.协程是并发编程中的常见概念,相似却也有却不尽相同,令人头痛,这一篇博文中我们来区分一下这些概念. 2 并发与并行 在解释并发与并行之前 ...

  9. Python异步非阻塞IO多路复用Select/Poll/Epoll使用,线程,进程,协程

    1.使用select模拟socketserver伪并发处理客户端请求,代码如下: import socket import select sk = socket.socket() sk.bind((' ...

随机推荐

  1. 53. 特殊的O(n)时间排序[sort ages with hashtable]

    [本文链接] http://www.cnblogs.com/hellogiser/p/sort-ages-with-hashtable.html [题目] 某公司有几万名员工,请完成一个时间复杂度为O ...

  2. Android 自动安装脚本

    建立一个install.bat,写入下面 adb install -r %1PAUSE 把apk拖拽到install.bat上

  3. 《Neural Network and Deep Learning》_chapter4

    <Neural Network and Deep Learning>_chapter4: A visual proof that neural nets can compute any f ...

  4. iOS 局部变量 全局变量 成员变量

    一.成员变量 : 写在类声明的大括号中的变量叫成员变量 (也叫属性/实例变量) 成员变量不可离开类 离开了类就不是成员变量 成员变量不能再定义的同事初始化 成员量只能通过对象来访问 成员变量存储在堆中 ...

  5. tp5 model 中的查询范围(scope)

    查询范围scope在model中定义,在controller中使用 namespace app\index\model; use think\Model; class User extends Mod ...

  6. Python实现简单的Web完整版(一)

    在拖了一周之后,今天终于在一个小时之内将一个迷你的Web写出来了,最近改其它项目的bug头好大,但是好喜欢这样的状态. 黑色的12月,所有的任务都聚集在了12月,然后期末考试也顾不上好好复习了,但是但 ...

  7. 基础拾遗------webservice详解

    基础拾遗 基础拾遗------特性详解 基础拾遗------webservice详解 基础拾遗------redis详解 基础拾遗------反射详解 基础拾遗------委托详解 基础拾遗----- ...

  8. C# 委托&事件

    之前关于事件这块理解一直不是很好,正好有空复习,整理记录一下 委托:可以将与自身形式相同(返回参数相同:传入参数相同)的方法当成参数进行传递. using UnityEngine; using Sys ...

  9. debug : 应用程序无法正常启动(0xc000007b)

  10. Conditional project or library reference in Visual Studio

    Conditional project or library reference in Visual Studio In case you were wondering why you haven’t ...