简介

内置方法是什么呢?它和inline method有什么关系呢?内置方法是怎么实现的呢?所有的问题都可以在本文找到答案。

什么是Intrinsic Methods

什么是内置方法呢?

维基百科给出的定义是这样的:

在计算机软件中,按照编译器理论,固有方法(或内置方法)是可在给定编程语言中使用的方法,该编程语言的实现由编译器专门处理。通常,它可以将自动生成的指令序列替换为原始方法调用,类似于内联方法。与内联方法不同,编译器对内置方法有深入的了解,因此可以针对给定情况更好地集成和优化它。

实现内置方法的编译器通常仅在程序请求优化时才启用它们,否则会退回到语言运行时环境提供的默认实现。

所以总结一下,内置方法就是编译器内置的方法实现。

内置方法的特点

内置方法有什么特点呢?我们在这里总结一下。

多样性

因为内置方法是在编译器内部实现的,所以不同的虚拟机,其内置方法是不一样的。

我们不能直接说哪个方法是内置方法,因为不同的JVM是不同的。

兼容性

内置方法是在需要的时候才会使用的,如果在不需要的时候则会回退到普通的方法实现,也就是java代码的实现。

所以在java源代码级别来看,内置方法和非内置方法是一样的。他们的区别在于JVM的实现。

java语义的扩展

有些方法用普通的java代码是无法实现的。比如sun.misc.Unsafe.compareAndSwapInt()。

我们只能使用JNI或者内置方法来对其实现。所以内置方法可以实现对java语义的扩展。

一般来说,JDK和核心库中,能使用内置方法优化都已经优化了。所以我们在平时的代码调用中,一定要尽可能的使用JDK的公共API和核心库,这样才能充分利用内置方法的特性,从而提升程序效率。

Hotspot VM中的内置方法

那么对于Hotspot VM来说,内置的方法有哪些呢?

Hotspot VM中所有的内置方法都在src/share/vm/classfile/vmSymbols.hpp类中:

上图我只截取了部分标记为intrinsic方法的类的说明。

可以看到java.lang.Math中大部分的方法都是intrinsic的方法。

怎么查看我们代码中调用的方法是不是intrinsic方法呢?

很简单,在java命令之前加上这些参数即可:

  1. -XX:+UnlockDiagnosticVMOptions -XX:+PrintCompilation -XX:+PrintInlining

举个最常用的查看java版本的例子:

  1. java -XX:+UnlockDiagnosticVMOptions -XX:+PrintCompilation -XX:+PrintInlining version

看下输出结果:

从结果可以很清楚的看到,java.lang.System.arraycopy方法是内置方法。

另外我们可以通过更加底层的汇编语言来查看,再添加

  1. -XX:+PrintAssembly

我们看下输出结果:

invokestatic意味着该方法就是intrinsified方法。

intrinsic方法和内联方法

内联方法就是把调用方函数代码"复制"到调用方函数中,减少因函数调用开销的技术。

intrinsic方法大部分都是内联方法。

intrinsic方法的实现

前面我们提到了内置方法是在编译器实现的。

在Hotspot VM中其实有3中编译器。

第一种就是javac将java源代码编译成为字节码。

在这一层,只有一些math方法和bootstrapping的MethodHandle是在这一层实现的。

第二种就是在JIT的Client Compiler (C1)。

第三种就是在JIT的Server Compiler (C2)。

举一个例子,我们看一下java.lang.System.currentTimeMillis()方法:

  1. @HotSpotIntrinsicCandidate
  2. public static native long currentTimeMillis();

JDK源码使用了HotSpotIntrinsicCandidate注解。这个注解只是表示该方法可能会被用于Intrinsic,而并不意味着一定使用Intrinsic。

这个方法在Interpreter级别是没有intrinsified。因为这是一个native方法,所以会通过JNI调用底层的C++实现。

而在C1和C2级别,会使用intrinsified, 直接调用os::javaTimeMillis()。

好处就是减少了JNI的使用,提升效率。

好了问题来了,我们可以自己实现intrinsified方法吗?

答案是可以,不过需要修改底层的JVM实现。

这里有两个具体的例子,感兴趣的大家可以自行研究。

C1级别修改(First cut: C1 Class.isInstance intrinsic):

  1. https://gist.github.com/rednaxelafx/2830194

C2级别修改(Example (XS) of adding an intrinsic method to HotSpot C2. Patch against HS20-b12):

  1. https://gist.github.com/rednaxelafx/1986224

Graal

因为Hotspot VM是用C++编写的,如果要添加Intrinsic方法,对于那些不熟悉C++的朋友来说就太难了。

没关系,Oracle开发了一个项目叫做Graal。 Graal是一个用java编写的新款JIT编译器。

Graal是基于Java的JIT编译器,是JDK 9中引入的实验性Ahead-of-Time(AOT)编译器的基础。

开启Graal的参数:

  1. -XX:+UnlockExperimentalVMOptions -XX:+UseJVMCICompiler

通过Graal,我们可以用java来实现Intrinsic方法,想想就让人兴奋。

总结

Intrinsic方法是一个非常有用的特性,希望大家能够喜欢。

本文作者:flydean程序那些事

本文链接:http://www.flydean.com/jvm-intrinsic-method/

本文来源:flydean的博客

欢迎关注我的公众号:程序那些事,更多精彩等着您!

JVM详解之:HotSpot VM中的Intrinsic methods的更多相关文章

  1. JVM详解总结

    JVM详解总结 1.JVM内存模型 1.1 运行时数据区内存分布实例 1.2 类加载的生命周期 2.物理内存与虚拟内存 3.Java中需要使用内存的组件 3.1 Java堆 3.2 线程 3.3 类和 ...

  2. HotSpot VM 中的JIT分类

    在HotSpot VM中内嵌有两个JIT编译器,分别为Client Compiler和Server Compiler,但大多数情况下我们简称为C1编译器和C2编译器.开发人员可以通过如下命令显式指定J ...

  3. JVM 详解,大白话带你认识 JVM

    前言 如果在文中用词或者理解方面出现问题,欢迎指出.此文旨在提及而不深究,但会尽量效率地把知识点都抛出来 一.JVM的基本介绍 JVM 是 Java Virtual Machine 的缩写,它是一个虚 ...

  4. JVM详解(五)——运行时数据区-方法区

    一.概述 1.介绍 <Java虚拟机规范>中明确说明:尽管所有的方法区在逻辑上属于堆的一部分,但一些简单的实现可能不会选择去进行垃圾收集或者进行压缩.但对于HotSpot JVM而言,方法 ...

  5. Scala 深入浅出实战经典 第61讲:Scala中隐式参数与隐式转换的联合使用实战详解及其在Spark中的应用源码解析

    王家林亲授<DT大数据梦工厂>大数据实战视频 Scala 深入浅出实战经典(1-87讲)完整视频.PPT.代码下载: 百度云盘:http://pan.baidu.com/s/1c0noOt ...

  6. Scala 深入浅出实战经典 第60讲:Scala中隐式参数实战详解以及在Spark中的应用源码解析

    王家林亲授<DT大数据梦工厂>大数据实战视频 Scala 深入浅出实战经典(1-87讲)完整视频.PPT.代码下载:百度云盘:http://pan.baidu.com/s/1c0noOt6 ...

  7. 详解OJ(Online Judge)中PHP代码的提交方法及要点【举例:ZOJ 1001 (A + B Problem)】

    详解OJ(Online Judge)中PHP代码的提交方法及要点 Introduction of How to submit PHP code to Online Judge Systems  Int ...

  8. 详解Linux下iptables中的DNAT与SNAT设置(转)

    详解Linux下iptables中的DNAT与SNAT设置 这篇文章主要介绍了Linux下iptables中的DNAT与SNAT设置,是Linux网络配置中的基础知识,需要的朋友可以参考下   原文连 ...

  9. Java网络编程和NIO详解1:JAVA 中原生的 socket 通信机制

    Java网络编程和NIO详解1:JAVA 中原生的 socket 通信机制 JAVA 中原生的 socket 通信机制 摘要:本文属于原创,欢迎转载,转载请保留出处:https://github.co ...

随机推荐

  1. For setting NODE_ENV you can use any of these methods.

    method 1: set NODE_ENV for all node apps Windows: set NODE_ENV=production Linux or other Unix based ...

  2. (私人收藏)古风PPT高级灰蓝传艺

    古风PPT高级灰蓝传艺 https://pan.baidu.com/s/1ADgTfif8i6JqKORLXhTHHgn05p

  3. MVC中model、dao、view、controlller、service之间的关系

    Model:是事物的模型,如Person.java,定义人的属性行为.pojo,OR maping,持久层 Dao:是持久化操作代码编写处,与数据库对接,如对Person进行增删改查. Service ...

  4. DNS域名解析服务的介绍

    1.1什么是域名? 域名(英语:Domain Name),简称域名.网域,是由一串用点分隔的名字组成的Internet上某一台计算机或计算机组的名称,用于在数据传输时标识计算机的电子方位(有时也指地理 ...

  5. C++各种格式转换

    int main() {     stringstream sstr;     //--------int转string-----------     int a=100;     string st ...

  6. 谈谈你对 TCP 三次握手和四次挥手的理解

    TCP三次握手: 1.客户端发送syn包到服务器,等待服务器确认接收. 2.服务器确认接收syn包并确认客户的syn,并发送回来一个syn+ack的包给客户端. 3.客户端确认接收服务器的syn+ac ...

  7. 题解:2018级算法第二次上机 Zexal的排座位

    题目描述: 样例: 实现解释: 一道看似复杂但实际既是斐波那契变形的题目 知识点:递推,斐波那契 通过问题的描述,可以得到以下规律:(除了座位数为一时)男生坐最后时,倒数第二个一定是女生:女生坐最后, ...

  8. CentOS7安装Oracle 11g

    准备工作 1.下载Oracle安装包:linux.x64_11gR2_database_1of2.zip 和 linux.x64_11gR2_database_2of2.zip ,可以下载到本地,通过 ...

  9. JVM 专题五:类加载子系统(三)补充内容

    3. 补充内容 3.1 在jvm中表示两个class对象是否为同一个类的两个必要条件 类的完整类名必须一致,包括包名. 加载这个类的ClassLoader(指ClassLoader实例对象)必须相同 ...

  10. python数据处理(四)之数据获取与存储

    1.前烟 几个数据问题 1.1 是否能够联系上作者本人 1.2 数据是否定期检查错误并更新 1.3 数据是否包含数据获取方法的信息,是否包含数据获取过程中使用的样本类型 1.4 有没有其他数据源可以验 ...