Concurrency 如何实现并发原语？

我在哪里可以找到关于并发原语通常是如何实现的信息（书籍、论文、教程）？我最感兴趣的是进程间通信的实现，或者消息传递（同步和异步）：发送、接收、选择等等。

在哪里查找取决于您感兴趣的抽象级别

我所知道的涉及这一主题的书籍，按抽象层次划分：

• 硬件：Tanenbaum的“结构化计算机组织”
• 操作系统级：几本关于Linux内核和Tanenbaum的“操作系统设计与实现”的书
• 操作系统级API（非实现）：Richard Stevens的著作——《Unix网络编程》和《Unix环境中的高级编程》
• 如果您对分布式系统感兴趣，请再说一遍Tanenbaum的《分布式系统：原理与范例》

  ---

在哪里查找取决于您感兴趣的抽象级别

我所知道的涉及这一主题的书籍，按抽象层次划分：

• 硬件：Tanenbaum的“结构化计算机组织”
• 操作系统级：几本关于Linux内核和Tanenbaum的“操作系统设计与实现”的书
• 操作系统级API（非实现）：Richard Stevens的著作——《Unix网络编程》和《Unix环境中的高级编程》
• 如果您对分布式系统感兴趣，请再说一遍Tanenbaum的《分布式系统：原理与范例》

  ---

我称这些IPC（进程间通信）原语我称这些IPC（进程间通信）原语感谢应答。我没有在这些书中找到异步消息队列和同步消息的实际实现；操作系统书籍似乎提到了它们，但没有详细说明。对于异步消息，FreeBSD内核源代码实际上非常有用；我还没有找到任何关于同步消息实现的东西。我提到的书都讨论了同步原语的一般原理/算法。您可以查阅第三版《理解Linux内核》的第19章，了解Linux中IPC impl的描述。此外，还有MINIX操作系统。它是作为符合POSIX标准的教育操作系统创建的，因此它的源代码必须比Linux或FreeBSD更容易理解。感谢您的回答。我没有在这些书中找到异步消息队列和同步消息的实际实现；操作系统书籍似乎提到了它们，但没有详细说明。对于异步消息，FreeBSD内核源代码实际上非常有用；我还没有找到任何关于同步消息实现的东西。我提到的书都讨论了同步原语的一般原理/算法。您可以查阅第三版《理解Linux内核》的第19章，了解Linux中IPC impl的描述。此外，还有MINIX操作系统。它是作为与POSIX兼容的操作系统创建的，因此它的源代码必须比Linux或FreeBSD更容易理解。