无用的测试说明?

2022-09-01 08:52:09

我得到了下面的程序集列表作为我的java程序的JIT编译的结果。

mov    0x14(%rsp),%r10d
inc    %r10d              

mov    0x1c(%rsp),%r8d
inc    %r8d               

test   %eax,(%r11)         ; <--- this instruction

mov    (%rsp),%r9
mov    0x40(%rsp),%r14d
mov    0x18(%rsp),%r11d
mov    %ebp,%r13d
mov    0x8(%rsp),%rbx
mov    0x20(%rsp),%rbp
mov    0x10(%rsp),%ecx
mov    0x28(%rsp),%rax    

movzbl 0x18(%r9),%edi     
movslq %r8d,%rsi          

cmp    0x30(%rsp),%rsi
jge    0x00007fd3d27c4f17 

我的理解是,指令在这里是无用的,因为测试的主要思想是test

标记 SF、ZF、PF 被修改,而 AND 的结果将被丢弃。

在这里,我们不使用这些结果标志。

是JIT中的一个错误还是我错过了什么?如果是,报告它的最佳位置在哪里?谢谢!


答案 1

这必须是线程本地握手轮询。看看从哪里读出来。如果它是从(线程本地存储)的某个偏移量中读取的,那就是那个家伙。请参阅此处的示例:%r11%r15

  0.31%  ↗  ...70: movzbl 0x94(%r9),%r10d    
  0.19%  │  ...78: mov    0x108(%r15),%r11  ; read the thread-local page addr
 25.62%  │  ...7f: add    $0x1,%rbp          
 35.10%  │  ...83: test   %eax,(%r11)       ; thread-local handshake poll
 34.91%  │  ...86: test   %r10d,%r10d
         ╰  ...89: je     ...70

它不是无用的,一旦保护页面被标记为不可读,它将导致SEGV,并且会将控制权转移到JVM的SEGV处理程序。这是JVM安全点Java线程的机制的一部分,例如GC。

UPD:希望这里能提供更多细节。


答案 2

推荐