POSIX共享内存模型

Question

是否有POSIX共享内存的内存模型规范(跨进程)？

我希望有一些可以与C++内存模型相媲美的东西，以便回答如下问题：

1. 有数据竞赛的定义吗？
2. 数据竞赛是否有未定义的行为(如在C++中)？
3. 是否有什么东西可以约束跨进程的内存可见性顺序？我知道pthread_mutex可以放在共享内存中并被多个进程使用，但是这会导致在关系之前发生吗？
4. 记忆障碍起作用了吗？

Answer 1

根据POSIX规范，共享内存对象定义为

表示可以同时映射到多个进程的地址空间的内存的对象。

在Linux平台上，映射内存对象相当于匿名映射:这是物理RAM (或交换内存)到进程虚拟地址空间的映射。这通常是任何线程或进程的内存。

在Linux等平台上，您可以预期原子提供的低内存级别同步原语将提供进程间同步。根据您的搜索，pthread_mutex将工作(可能是因为它们只在比较和交换循环和futex系统调用方面实现)。但std::mutex也可能被打破。

不过，我在POSIX规范中没有看到任何禁止共享内存由文件系统支持的规范。在这样的平台上，内存同步就会中断。但我想没有这样的平台。