正如问题所说,我一直在寻找对 SMP 中数据依赖障碍的深入解释,尤其是关于 Linux 内核。我在此链接中方便地找到了定义和简要说明。
然而,我试图深入理解这个概念。非常感谢您的想法和意见。
正如问题所说,我一直在寻找对 SMP 中数据依赖障碍的深入解释,尤其是关于 Linux 内核。我在此链接中方便地找到了定义和简要说明。
然而,我试图深入理解这个概念。非常感谢您的想法和意见。
我相信“获取语义”是文档所称的“数据依赖障碍”的更常用术语。例如,请参阅此演示文稿 或C++11 memory_order_acquire。
实际上,至少在 C++11 方面,这与消费语义关系更密切。您可以阅读更多关于它的信息,例如这里。简而言之,它们提供的保证比获取语义更弱,这使得它们在某些支持数据依赖排序的平台上更有效。