间接通信

进程通过一个“信箱”来传递消息的进程通信方式称为「间接通信」。

• 原语 send（A，信件）：把一封信件（消息）传送到信箱 A
• 原语 receive（A，信件）：从信箱 A 接收一封信件（消息）

信箱是存放信件的存储区域，每个信箱可以分成信箱特征和信箱体两部分。信箱特征指出信箱容量、信件格式、指针等；信箱体用来存放信件

• 发送信件：如果指定的信箱未满，则将信件送入信箱中由指针所指示的位置，并释放等待该信箱中信件的等待者；否则发送信件者被置成等待信箱状态
• 接收信件：如果指定信箱中有信，则取出一封信件，并释放等待信箱的等待者，否则接收信件者被置成等待信箱中信件的状态