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?
是的,就像注释所说的。如果标志已经是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
如您所见,没有条件移动,而是一个分支。而且我敢肯定,分支错误预测远比弄脏缓存行更糟糕。