Golang的CSP模型讲解

一.CSP是什么

CSP 是 Communicating Sequential Process 的简称,中文可以叫做通信顺序进程,是一种并发编程模型,是一个很强大的并发数据模型,是上个世纪七十年代提出的,用于描述两个独立的并发实体通过共享的通讯channel(管道-用于传输和同步数据)进行通信的并发模型 ,在CSP模型中,每个并发执行的任务都是独立的,它们之间不会共享同一块内存空间,而是通过通信来进行数据交换和协调,相对于Actor模型,CSP中channel是第一类对象,它不关注发送消息的实体,而关注与发送消息时使用的channel,严格来说,CSP 是一门形式语言(类似于 ℷ calculus),用于描述并发系统中的互动模式,也因此成为一众面向并发的编程语言的理论源头,并衍生出了 Occam/Limbo/Golang...

而具体到编程语言,如 Golang,其实只用到了 CSP 的很小一部分,即理论中的 Process/Channel(对应到语言中的 goroutine/channel):这两个并发原语之间没有从属关系, Process 可以订阅任意个 Channel,Channel 也并不关心是哪个 Process 在利用它进行通信,Process 围绕 Channel 进行读写,形成一套有序阻塞可预测的并发模型

二.Golang的CSP模型

与主流语言通过共享内存来进行并发控制方式不同 ,Go语言采用了 CSP 模式,这是一种用于描述两个独立的并发实体通过共享的通讯Channel(管道)进行通信的并发模型 ,Go 就是借用CSP模型的一些概念为之实现并发进行理论支持,其实从实际上出发,go语言并没有,完全实现了CSP模型的所有理论,仅仅是借用了 process和channel这两个概念 ,process是在Go语言上的表现就是goroutine,是实际并发执行的实体,每个实体之间是通过channel通讯来实现数据共享,Go并发的核心哲学是:不要通过共享内存来通信,而应该通过通信来共享内存,从以上描述可知:Go语言的CSP模型是由协程goroutine管道channel实现的:

有了channel和goroutine之后,Go 的并发编程变得异常容易和安全,得以让程序员把注意力留到业务上去,实现开发效率的提升
以上就是Go语言中的独立并发执行(CSP)模型的详细内容

相关推荐
wangjing_05222 小时前
C语言练习.if.else语句.strstr
c语言·开发语言
Tony_long74832 小时前
Python学习——字符串操作方法
开发语言·c#
SoraLuna2 小时前
「Mac玩转仓颉内测版26」基础篇6 - 字符类型详解
开发语言·算法·macos·cangjie
出逃日志3 小时前
JS的DOM操作和事件监听综合练习 (具备三种功能的轮播图案例)
开发语言·前端·javascript
前端青山3 小时前
React事件处理机制详解
开发语言·前端·javascript·react.js
black0moonlight4 小时前
ISAAC Gym 7. 使用箭头进行数据可视化
开发语言·python
时光の尘5 小时前
C语言菜鸟入门·关键字·int的用法
c语言·开发语言·数据结构·c++·单片机·链表·c
坊钰5 小时前
【Java 数据结构】时间和空间复杂度
java·开发语言·数据结构·学习·算法
Edward-tan5 小时前
c语言数据结构与算法--简单实现线性表(顺序表+链表)的插入与删除
c语言·开发语言·链表
武昌库里写JAVA5 小时前
一文读懂Redis6的--bigkeys选项源码以及redis-bigkey-online项目介绍
c语言·开发语言·数据结构·算法·二维数组