消息传递

概述

一种进程间通信方式，进程通过发送和接收消息来交换信息，而非通过共享内存进行通信。

关键内容

1. 通信模式：分为同步和异步两种模式。同步消息传递要求发送方和接收方同时就绪才能完成通信，异步消息传递允许发送方在消息被接收前继续执行。

2. CSP中的应用：CSP模型采用同步消息传递，通过P!e(输出)和P?x(输入)命令实现进程间通信。

3. 与共享内存对比：消息传递避免了共享内存模型中的死锁、竞态条件等问题，使并发程序更易推理和验证。

4. 现代应用：广泛应用于分布式系统、微服务架构和现代编程语言中，如Go的channel、Erlang的进程通信等。

来源

• 14-hoare-csp — CSP中的消息传递机制
• [[]] —

相关

• Communicating Sequential Processes — 采用消息传递的并发模型
• 共享内存 — 相对的通信方式
• channel — Go语言中的消息传递机制
• Actor Model — 采用消息传递的并发模型