正如问题所说,我正在寻找SMP中的数据依赖障碍的深度解释,特别是关于Linux内核。我在这里有这个链接的定义和简要说明。
Linux Kernel Memory Barriers Documentation
然而,我试图深刻理解这个概念。非常感谢您的想法和意见。
答案 0 :(得分:0)
我认为“获取语义”是文档称之为“数据依赖性障碍”的更常用术语。例如,请参阅this presentation或C++11 memory_order_acquire。
答案 1 :(得分:0)
实际上,至少在C ++ 11方面,这与消费语义更密切相关。您可以阅读更多相关信息,例如here。简而言之,它们提供了比获取语义更少的保证,这使得它们在支持数据依赖性排序的某些平台上更有效。