对golang中CSP的理解

概念:

CSP模型,即通信顺序进程模型,是由英国计算机科学家C.A.R. Hoare于1978年提出的。该模型强调进程之间通过通道(channel)进行通信,并通过消息传递来协调并发执行的进程。CSP模型的核心思想是"不要通过共享内存来通信,而要通过通信来共享内存"。这一思想有效地避免了传统并发编程中常见的竞态条件和死锁问题。

我的理解是一份数据不能由多个协程同时持有:

1、对于无缓冲chan,一份数据只能同时由一个协程持有。

如果没有数据接收者,发送者阻塞。

如果阻塞后出现了数据接收者,将数据转交给接收者之后发送者才能从阻塞中返回。

如果有数据接收者在等待,发送者不用阻塞,将数据转交给接收者之后立刻返回。

2、对于带缓冲chan,一份数据或者在缓冲中或者由一个协程持有。

如果缓冲满(没有接收者或接收者慢),发送者阻塞。

只有在数据接收者取走缓冲中的数据后,缓冲有剩余容量,阻塞的发送者才能返回。

如果有多个接收者,一份数据只能被一个接收者接收。

示例程序:两个协程交替打印奇偶数:

使用不带缓冲的chan,如果发送者在没有接收者接收的情况下也可以返回的话,就会出现争抢数据,也就不满足奇偶打印的要求。

Go 复制代码
import (
	"fmt"
	"sync"
	"time"
)

func main() {
	var ch = make(chan int)
	var wg sync.WaitGroup
	wg.Add(2)

	go func() {
		defer wg.Done()
		for v1 := range ch {
			fmt.Println(time.Now().Format(time.TimeOnly), "go1:", v1)
			ch <- v1 + 1
			time.Sleep(time.Second)
		}
	}()

	go func() {
		defer wg.Done()
		for v2 := range ch {
			fmt.Println(time.Now().Format(time.TimeOnly), "go2:", v2)
			ch <- v2 + 1
			time.Sleep(time.Second)
		}
	}()

	ch <- 1
	wg.Wait()
}

控制台输出:

go2始终打印奇数,go1始终打印偶数。满足奇偶打印的要求。

以上示例如果改成带缓冲chan,那么会出现争抢数据,也就不满足奇偶打印的要求,但是同样满足CSP要求,因为发送者返回时数据已经放到了缓冲里。

--end--

相关推荐
hui函数2 小时前
Flask电影投票系统全解析
后端·python·flask
好学且牛逼的马3 小时前
GOLANG 接口
开发语言·golang
ahauedu3 小时前
AI资深 Java 研发专家系统解析Java 中常见的 Queue实现类
java·开发语言·中间件
韭菜钟3 小时前
在Qt中用cmake实现类似pri文件的功能
开发语言·qt·系统架构
闲人编程3 小时前
Python第三方库IPFS-API使用详解:构建去中心化应用的完整指南
开发语言·python·去中心化·内存·寻址·存储·ipfs
小厂永远得不到的男人3 小时前
基于 Spring Validation 实现全局参数校验异常处理
java·后端·架构
CTRA王大大4 小时前
【golang】制作linux环境+golang的Dockerfile | 如何下载golang镜像源
linux·开发语言·docker·golang
#include>4 小时前
【Golang】有关垃圾收集器的笔记
笔记·golang
zhangfeng11335 小时前
以下是基于图论的归一化切割(Normalized Cut)图像分割工具的完整实现,结合Tkinter界面设计及Python代码示
开发语言·python·图论
还梦呦6 小时前
2025年09月计算机二级Java选择题每日一练——第五期
java·开发语言·计算机二级