【17】HotSopt虚拟机的intrinsic

• HotSpotIntrinsicCandidate
  在Hotspot虚拟机中，所有被注解@HotSpotIntrinsicCandidate标注的方法都是HotSpot intrinsic。对这些方法的调用，会被Hotspot虚拟机替换成高效的指令序列

• intrinsic与CPU指令
  intrinsic的方法除了原本较为低效的JDK方法以外，还会额外维护一套高效实现。但不同版本的虚拟机所实现的intrinsic（即若当前版本的JVM刚好实现了这个intrinsic方法，则使用高效方法，否则会降级为抵消的JDK版本）

之所以没有做到通用是因为这部分高效实现往往依赖于CPU的指令，不同架构CPU的指令不一定相同

• intrinsic与方法内联

Hotspot虚拟机中，intrinsic的实现方式有两种

• 独立的桩程序（少部分）

  • 既可以被解释执行器利用，直接替换原方法的调用
  • 也可以被即时编译器利用，代表对原方法的调用IR节点，替换为对这些桩程序的调用IR节点

• 特殊的编译器IR节点（大部分）（仅被即时编译器利用）

• 不少标记为intrinsic的方法都是native方法，原本对这些native方法的调用需要经过JNI（Java native interface），性能开销巨大，经过即时编译器的intrinsic优化，这部分JNI开销将消失不见。

Thread.currentThread方法获取当前线程，是一个native方法，同时也是一个HotSpot intrinsic。X86体系架构中，R13寄存器存放着当前线程的指针，对该方法的调用将被即时编译器替换为一个特殊IR节点，并最终生成读取R13编译器指令

• 现有intrinsic简介
  • StringBuilder和StringBuffer类方法（虚拟机利用这些方法构造字符串的方式，减少需要复制内存的情况）
  • String类，Arrays类方法，使用SMID指令（一条指令处理多条数据）对这些方法进行优化（eg Arrays.equals()）
  • 基本类型的包装类、Object类、Math类、System类中各个功能性方法，反射API、Method Handler类中与调用机制相关的方法