- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
英特尔内存模型保证:
商店将不会与其他商店重新订购
负载不会与其他负载重新排序
http://bartoszmilewski.com/2008/11/05/who-ordered-memory-fences-on-an-x86/
我已经看到由于Intel内存模型,SFENCE在x86-64上是多余的,但从未出现过LFENCE。上述内存模型规则是否会使其中一条指令冗余?
最佳答案
正确,LFENCE和SFENCE在普通代码中没有用,因为x86的常规存储区的获/释放语义使它们变得多余,除非您使用其他特殊指令或内存类型。
对于普通的无锁代码而言,唯一重要的屏障是来自lock
指令的完整屏障(包括StoreLoad)或较慢的MFENCE。对于xchg
+ mov
上的顺序一致性存储,优选mfence
。 Are loads and stores the only instructions that gets reordered?,因为它更快。
Does `xchg` encompass `mfence` assuming no non-temporal instructions?(是的,即使没有NT指令,只要没有WC内存即可。)
杰夫·普雷辛(Jeff Preshing)的Memory Reordering Caught in the Act文章是Bartosz帖子所谈到的同一案例的易于理解的描述,在该案例中您需要诸如MFENCE之类的StoreLoad障碍。只有MFENCE才能做到;您无法通过SFENCE + LFENCE构建MFENCE。 (Why is (or isn't?) SFENCE + LFENCE equivalent to MFENCE?)
如果您在阅读发布的链接后有疑问,请阅读Jeff Preshing的其他博客文章。他们使我对该主题有了很好的理解。 :)尽管我认为我在Doug Lea的页面上发现关于SFENCE / LFENCE的常识通常是无人问津的。 Jeff的帖子没有考虑NT加载/存储。
相关:When should I use _mm_sfence _mm_lfence and _mm_mfence(我的答案和@BeeOnRope的答案都很好。我早于该答案就写了这个答案,所以几年前这个答案的部分内容显示出我的经验不足。我的答案考虑到了C ++内在函数和C ++编译-时间内存顺序,这与x86 asm运行时内存顺序完全不同。但是您仍然不希望_mm_lfence()
。)
SFENCE仅在使用movnt
(非临时)流存储或使用类型设置为普通回写以外的内存区域时才有意义。或使用clflushopt
,这有点像一个无序的商店。 NT存储绕过缓存以及被弱排序。 x86's normal memory model is strongly ordered,除了NT存储,WC(写合并)内存和ERMSB字符串操作(请参见下文)以外。
LFENCE仅对很少排序的负载的内存排序有用。 (或者对于在NT存储之前以常规负载订购LoadStore可能吗?)
即使在假设的将来不会忽略NT提示的CPU上,WB内存中的NT负载(movntdqa
)也是still strongly ordered。在x86上执行弱排序加载的唯一方法是从弱排序内存(WC)读取时,然后我认为仅使用movntdqa
。在“正常”程序中不会偶然发生这种情况,因此,如果您映射了视频RAM或其他东西,则只需担心这一点。
(lfence
的主要用例根本不是存储器排序,它是用于序列化指令执行的,例如用于减轻Spectre或与RDTSC一起使用。有关此问题,请参见Is LFENCE serializing on AMD processors?和“链接的问题”侧边栏。)
C ++中的内存排序及其如何映射到x86 asm
几周前,我对此感到很好奇,并针对最近的问题发布了相当详细的答案:
Atomic operations, std::atomic<> and ordering of writes。我提供了许多有关C ++内存模型与硬件内存模型的内容的链接。
如果您使用C ++编写,则使用std::atomic<>
是一种很好的方式来告诉编译器您有什么排序要求,因此不会在编译时对内存操作进行重新排序。您可以并且应该在适当的地方使用较弱的版本或获取语义,而不是使用默认的顺序一致性,因此编译器完全不必在x86上发出任何屏障指令。它只需要按源顺序保持操作。
在ARM,PPC或movnt的x86等弱有序的体系结构上,需要在写缓冲区和设置标志以指示数据就绪之间使用StoreStore屏障指令。此外,阅读器在检查标志和读取缓冲区之间还需要LoadLoad屏障指令。
不算movnt,x86在每个负载之间已经具有LoadLoad障碍,在每个商店之间都具有StoreStore障碍。 (也保证了LoadStore的订购)。 MFENCE
是所有四种屏障,包括StoreLoad,这是x86默认情况下唯一不执行的屏障。 MFENCE确保加载不会使用其他线程看到您的存储之前并可能使用自己的存储之前的旧预取值。 (这也是NT存储订购和负载订购的障碍。)
有趣的事实:x86 lock
前缀的指令也是完整的内存障碍。它们可以在不支持它的CPU上运行的旧32位代码中替代MFENCE。 lock add [esp], 0
否则为空操作,并且对可能在L1缓存中很热并且已经处于MESI一致性协议的M状态的内存执行读取/修改/写入周期。
SFENCE是StoreStore的障碍。在NT存储区之后,为后续存储区创建发布语义非常有用。
LFENCE几乎总是无关紧要的,因为唯一的弱排序负载
一个LoadLoad和also a LoadStore barrier。 (loadNT / LFENCE / storeNT
防止存储在加载之前在全局范围内可见。我认为,如果加载地址是长依赖链的结果,或者是另一个未在高速缓存中加载的结果,则在实践中可能会发生这种情况。)
ERMSB字符串操作
有趣的事实2(感谢@EOF
):来自ERMSB (Enhanced rep movsb
/rep stosb
on IvyBridge and later)的存储是弱排序的(但不能绕过缓存)。 ERMSB基于常规的快速字符串操作(自PPro以来就存在的rep stos/movsb
的微代码实现的广泛存储)。
英特尔在其软件开发人员手册vol1的7.3.9.3节中记录了ERMSB存储“可能似乎执行不正确”的事实。他们还说
“与订单有关的代码应写入离散的信号量变量
在进行任何字符串操作后,可以看到正确排序的数据
所有处理器”
他们没有在rep movsb
标志和data_ready
标志之间提及在rep stosb / rep movsb
和存储之间必要的任何屏障说明。
我的阅读方式是,在movNT
之后有一个隐式SFENCE(至少是字符串数据的栅栏,可能不是其他正在进行中的,有序的NT存储)。无论如何,该措辞暗示着在所有字符串移动写操作之后,对标志/信号量的写操作变得全局可见,因此在用快速字符串op填充缓冲区然后写入标志的代码中不需要SFENCE / LFENCE。在读取它的代码中。
(总是执行LoadLoad排序,因此您总是以其他CPU使其在全局可见的顺序查看数据。即,使用弱排序的存储来写入缓冲区不会改变其他线程中的负载仍然严格排序的事实。)
摘要:使用普通存储来写一个标志,指示缓冲区已准备就绪。没有读者只是检查用memset / memcpy编写的块的最后一个字节。
我也认为ERMSB存储阻止以后的任何存储传递它们,因此,如果您使用的是rep stosb
,则仍然只需要SFENCE。即rep stosb
总体上具有发布语义wrt。先前的说明。
为了使新服务器需要运行旧的二进制文件,可以清除MSR位以禁用ERMSB,新服务器需要运行旧的二进制文件,并在rep movsb
或
关于assembly - 英特尔内存模型是否会使SFENCE和LFENCE冗余?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/32705169/
我有一个 if 语句,如下所示 if (not(fullpath.lower().endswith(".pdf")) or not (fullpath.lower().endswith(tup
然而,在 PHP 中,可以: only appears if $foo is true. only appears if $foo is false. 在 Javascript 中,能否在一个脚
XML有很多好处。它既是机器可读的,也是人类可读的,它具有标准化的格式,并且用途广泛。 它也有一些缺点。它是冗长的,不是传输大量数据的非常有效的方法。 XML最有用的方面之一是模式语言。使用模式,您可
由于长期使用 SQL2000,我并没有真正深入了解公用表表达式。 我给出的答案here (#4025380)和 here (#4018793)违背了潮流,因为他们没有使用 CTE。 我很欣赏它们对于递
我有一个应用程序: void deleteObj(id){ MyObj obj = getObjById(id); if (obj == null) { throw n
我的代码如下。可能我以类似的方式多次使用它,即简单地说,我正在以这种方式管理 session 和事务: List users= null; try{ sess
在开发J2EE Web应用程序时,我通常会按以下方式组织我的包结构 com.jameselsey.. 控制器-控制器/操作转到此处 服务-事务服务类,由控制器调用 域-应用程序使用的我的域类/对象 D
这更多是出于好奇而不是任何重要问题,但我只是想知道 memmove 中的以下片段文档: Copying takes place as if an intermediate buffer were us
路径压缩涉及将根指定为路径上每个节点的新父节点——这可能会降低根的等级,并可能降低路径上所有节点的等级。有办法解决这个问题吗?有必要处理这个吗?或者,也许可以将等级视为树高的上限而不是确切的高度? 谢
我有两个类,A 和 B。A 是 B 的父类,我有一个函数接收指向 A 类型类的指针,检查它是否也是 B 类型,如果是将调用另一个函数,该函数接受一个指向类型 B 的类的指针。当函数调用另一个函数时,我
有没有办法让 valgrind 使用多个处理器? 我正在使用 valgrind 的 callgrind 进行一些瓶颈分析,并注意到我的应用程序中的资源使用行为与在 valgrind/callgrind
假设我们要使用 ReaderT [(a,b)]超过 Maybe monad,然后我们想在列表中进行查找。 现在,一个简单且不常见的方法是: 第一种可能性 find a = ReaderT (looku
我的代码似乎有问题。我需要说的是: if ( $('html').attr('lang').val() == 'fr-FR' ) { // do this } else { // do
根据this文章(2018 年 4 月)AKS 在可用性集中运行时能够跨故障域智能放置 Pod,但尚不考虑更新域。很快就会使用更新域将 Pod 放入 AKS 中吗? 最佳答案 当您设置集群时,它已经自
course | section | type comart2 : bsit201 : lec comart2 :
我正在开发自己的 SDK,而这又依赖于某些第 3 方 SDK。例如 - OkHttp。 我应该将 OkHttp 添加到我的 build.gradle 中,还是让我的 SDK 用户包含它?在这种情况下,
随着 Rust 越来越充实,我对它的兴趣开始激起。我喜欢它支持代数数据类型,尤其是那些匹配的事实,但是对其他功能习语有什么想法吗? 例如标准库中是否有标准过滤器/映射/归约函数的集合,更重要的是,您能
关闭。这个问题不符合Stack Overflow guidelines .它目前不接受答案。 这个问题似乎与 help center 中定义的范围内的编程无关。 . 关闭 9 年前。 Improve
我一直在研究 PHP 中的对象。我见过的所有示例甚至在它们自己的对象上都使用了对象构造函数。 PHP 会强制您这样做吗?如果是,为什么? 例如: firstname = $firstname;
...比关联数组? 关联数组会占用更多内存吗? $arr = array(1, 1, 1); $arr[10] = 1; $arr[] = 1; // <- index is 11; does the
我是一名优秀的程序员,十分优秀!