【发布时间】:2014-02-01 23:21:10
【问题描述】:
正如问题所言,我一直在寻找对 SMP 中的数据依赖障碍的深入解释,尤其是与 Linux 内核相关的内容。我在此链接中有方便的定义和简要说明。
Linux Kernel Memory Barriers Documentation
然而,我试图深入理解这个概念。非常感谢您的想法和意见。
【问题讨论】:
标签: linux dependencies kernel memory-barriers smp
正如问题所言,我一直在寻找对 SMP 中的数据依赖障碍的深入解释,尤其是与 Linux 内核相关的内容。我在此链接中有方便的定义和简要说明。
Linux Kernel Memory Barriers Documentation
然而,我试图深入理解这个概念。非常感谢您的想法和意见。
【问题讨论】:
标签: linux dependencies kernel memory-barriers smp
我相信“获取语义”是文档中称为“数据依赖障碍”的更常用的术语。参见例如this presentation 或C++11 memory_order_acquire。
【讨论】:
实际上,至少在 C++11 方面,这与消费语义关系更密切。你可以阅读更多关于它的信息,例如here。简而言之,它们提供的保证比获取语义更弱,这使得它们在某些支持数据依赖排序的平台上更有效。
【讨论】: