提问者:小点点

奇怪的优化?在'libuv'中。请解释[重复]


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?


共2个答案

匿名用户

是的,就像注释所说的。如果标志已经是0,则无需将任何数据写入内存,从而避免了缓存中当前数据的可能驱逐,并将其替换为标志的0。这将仅在时间要求极其严格的应用程序中提供附加值。

匿名用户

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

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

如您所见,没有条件移动,而是一个分支。而且我敢肯定,分支错误预测远比弄脏缓存行更糟糕。