奇怪的优化？在`libuv`中。请解释

Question

libuv包含core.c:uv_run()

中的下一个代码

/* The if statement lets the compiler compile it to a conditional store.
 * Avoids dirtying a cache line.
 */
if (loop->stop_flag != 0)
    loop->stop_flag = 0;

这是什么意思？这是某种优化吗？他们为什么不简单地分配0？

Answer 1

是的，就像评论所说的那样。在标志已经为0的情况下，不需要将任何数据写入存储器，从而避免可能驱逐高速缓存中的当前数据并将其替换为0用于标志。这将仅在非常关键的时间应用中提供附加值。

Answer 2

我认为这种优化很糟糕。例如，在带有-O3的gcc上，它提供以下代码：

foo():
        movl    stop_flag(%rip), %eax
        testl   %eax, %eax
        je      .L3
        movl    $0, stop_flag(%rip)
.L3:
        ret
stop_flag:
        .zero   4

如您所见，没有条件移动，而是分支。而且我确信，分支错误预测远比弄脏缓存行更糟糕。