同步通信

概述

一种通信模式，要求发送方和接收方必须同时就绪才能完成消息传递，CSP模型中采用这种通信方式。

关键内容

1. 实现机制：发送方执行输出命令(P!e)时会阻塞，直到接收方也准备好执行对应的输入命令(P?x)，反之亦然。

2. 会合概念：只有当双方同时准备好时，通信才实际发生，这被称为"会合"(rendezvous)。

3. 优势特点：通信行为本身就包含了时序信息，发送方在通信完成后可以确信接收方已收到消息，无需额外确认。

4. 与异步对比：同步通信没有缓冲区，消息不会排队等待，避免了缓冲区管理的复杂性，但可能因等待造成不必要的阻塞。

5. 应用场景：CSP模型、occam语言以及Go语言的channel等都采用同步通信机制。

来源

• 14-hoare-csp — CSP中的同步通信机制
• [[]] —

相关

• Communicating Sequential Processes — 采用同步通信的模型
• 消息传递 — 通信方式的总类
• channel — Go中的同步通信机制
• 异步通信 — 相对的通信方式