Question

我无法理解Java hotpot生成的函数序言。考虑这个虚拟的例子：

public static int getLen(String s) {
    return s.length();
}

public static void main(String[] args) {
    for(int i = 0; i < 1_000_000; i++) {
        getLen("abcd");
    }
}

C2生成的getLen代码为：

[Entry Point]
[Verified Entry Point]
[Constants]
  # {method} {0x00007fbed3fc2318} 'getLen' '(Ljava/lang/String;)I' in 'examples/Main'
  # parm0:    rsi:rsi   = 'java/lang/String'
  #           [sp+0x20]  (sp of caller)
  0x00007fbefd11a960: mov    %eax,-0x14000(%rsp)
  0x00007fbefd11a967: push   %rbp
  0x00007fbefd11a968: sub    $0x10,%rsp         ;*synchronization entry
                                                ; - examples.Main::getLen@-1 (line 6)

  0x00007fbefd11a96c: mov    0xc(%rsi),%r11d    ;*getfield value
                                                ; - java.lang.String::length@1 (line 623)
                                                ; - examples.Main::getLen@1 (line 6)
                                                ; implicit exception: dispatches to 0x00007fbefd11a981
  0x00007fbefd11a970: mov    0xc(%r12,%r11,8),%eax  ;*arraylength
                                                ; - java.lang.String::length@4 (line 623)
                                                ; - examples.Main::getLen@1 (line 6)
                                                ; implicit exception: dispatches to 0x00007fbefd11a991

问题：

mov %eax,-0x14000(%rsp)的目的是什么？
示例代码没有同步;那么什么是sub $0x10,%rsp ;*synchronization条目？

Answer 1

14000是一个神奇的数字，搜索它会显示相关的问题：Why do hotspot generated compiled methods stash eax high up the stack before execution? - 也有一些非工作链接的答案，你可以尝试在archive.org上找到（我还没试过）。 push bp + decrement sp看起来像是我（https://en.m.wikibooks.org/wiki/X86_Disassembly/Functions_and_Stack_Frames）的一些标准堆栈框架的一部分，虽然缺少store-sp-into-bp部分。

了解Java热点功能序言

1 个答案: