ReZero's Utopia.

jvmLearn

jvm
Word count: 673Reading time: 4 min
2018/08/28 Share

How java code run?

ab5c3523af08e0bf2f689c1d6033ef77

1
2
3
4
5
6
7
8
9
10
11
12
13
14
$ echo '
public class Foo {
 public static void main(String[] args) {
  boolean flag = true;
  if (flag) System.out.println("Hello, Java!");
  if (flag == true) System.out.println("Hello, JVM!");
 }
}' > Foo.java
$ javac Foo.java
$ java Foo
$ java -cp ./asmtools-6.0/lib/asmtools.jar org.openjdk.asmtools.jdis.Main Foo.class > Foo.jasm.1
$ awk 'NR==1,/iconst_1/{sub(/iconst_1/, "iconst_2")} 1' Foo.jasm.1 > Foo.jasm
$ java -cp ./asmtools-6.0/lib/asmtools.jar org.openjdk.asmtools.jasm.Main Foo.jasm # recompile
$ java Foo

Check the change:

1
2
3
4
5
$ diff Foo.jasm Foo.jasm.1 
18c18
< 		iconst_2;
---
> 		iconst_1;

Java basic types

basic types

Class Loader

java_classloader_hierarchy

load

tips: In this time,JVM has generated the class structure and write in the method area

  1. Every class loader inherit java.lang.ClassLoader except boot class loader.

    • Boot: jre/lib, Xbootclasspath
    • Extension: ext, dirs
    • Application:

  2. JAVA9: change extension to platform which would load almost all modules except important moudles such as java.base.

  3. Class unique ID: result of class loader object and class full path name.

tips: get the address of method instead of class.

  1. Valid byte for jvm criterion.

  2. Prepare

    • Allocate memory
    • Construct layer about class such as method table which realize dynamic binding of virtual method.

  3. analyze

    • resolve these symbols to actual refference

Besides: Java machine specification not require finish the analyze in the link process, it just has provisions that the necessity of resolving symbol refference before execute the corresponding byte code.

init process

  1. final static [basic type or String] will be signed ConstantValue and init directly by jvm. Besides, all of directly assignment and static block code will be put in the same method and rename as <clinit>.

  2. JVM will use block method to ensure teh clinit method only be executed once.(And the feature always be used to realized singleton lazy init process)

  3. When will the init process be triggered:

    • JVM start, init user settle Main class
    • new the aim class
    • instructions: call static method, init over class
    • instructions: visit static field init over class
    • child class init trigger parent class init
    • default method defined in interface will result in interface init process.
    • reflection init class
    • the first call MethodHandle object, init the class where methodHandle locate.
1
2
3
4
5
6
7
8
9
public class Singleton {
  private Singleton() {}
  private static class LazyHolder {
    static final Singleton INSTANCE = new Singleton();
  }
  public static Singleton getInstance() {
    return LazyHolder.INSTANCE;
  }
}

The above code:
Only class Singleton.getInstance, program will visit LazyHolder.INSTANCE, then trigger the process of LazyHolder init and create a Singleton object.

Practice:

JVM: -verbose:class will print the order of class loading and special symbol before LazyHolder method.

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

$ echo '
public class Singleton {
  private Singleton() {}
  private static class LazyHolder {
    static final Singleton INSTANCE = new Singleton();
    static {
      System.out.println("LazyHolder.<clinit>");
    }
  }
  public static Object getInstance(boolean flag) {
    if (flag) return new LazyHolder[2];
    return LazyHolder.INSTANCE;
  }
  public static void main(String[] args) {
    getInstance(true);
    System.out.println("----");
    getInstance(false);
  }
}' > Singleton.java
$ javac Singleton.java
$ java -verbose:class Singleton

Problem:
new array whether result in LazyHolder load or init?

A: load not init.

1
2
3
4
$ java -cp /path/to/asmtools.jar org.openjdk.asmtools.jdis.Main Singleton\$LazyHolder.class > Singleton\$LazyHolder.jasm.1
$ awk 'NR==1,/stack 1/{sub(/stack 1/, "stack 0")} 1' Singleton\$LazyHolder.jasm.1 > Singleton\$LazyHolder.jasm
$ java -cp /path/to/asmtools.jar org.openjdk.asmtools.jasm.Main Singleton\$LazyHolder.jasm
$ java -verbose:class Singleton

Problem2:
new array will result in link of LazyHolder?

A: No.(while getInstance(false) will link and init)

How do JVM call method?

1
2
3
4
5
6
void invoke(Object obj, Object... args) { ... }
void invoke(String s, Object obj, Object... args) { ... }

invoke(null, 1);    // call second
invoke(null, 1, 2); // call second
invoke(null, new Object[]{1}); // call first invoke

Author：ReZero

原文链接：https://rezeros.github.io/2018/08/28/jvmLearn/

发表日期：August 28th 2018, 5:00:04 pm

更新日期：October 5th 2020, 8:30:14 am

版权声明：本文采用知识共享署名-非商业性使用 4.0 国际许可协议进行许可

CATALOG
  1. 1. How java code run?
  2. 2. Java basic types
  3. 3. Class Loader
    1. 3.1. load
    2. 3.2. link
    3. 3.3. init process
  4. 4. How do JVM call method?
Total : 91
2021
2020
2019
2018
2017
2016
illegal AQS Java Concurrency 拓扑排序 数据结构与算法 课程安排 join 优化 电话 算法 编程 Algorithm HashMap Concurrent Hash Map Debug JDWP KMP 数据 Math Tips 3d animation css javascript arch bbr google linux network speed tcp archlinux gdm shell themes python 凯撒密码 cdn ip 网络安全 cocos cocos2dx game castby story Program OS selector classLoader findClass java 八皇后 english funnny blob bomb exploding git memory tree algorithm php5 wifi ftp service Go exception hexo blog CI/CD github actions http 编码 Queue Stack FrontDesign Chrome Plugins Sprider Basic knowledge js language parser Lock Tricks Cheat Sheet Javassist JVM Class file Memory jvm K8s Deployment kali 渗透 Linux Disk Deploy firewall firewalld iptables protocol strategy Database firstSet FollowSet ll1 table acm ANSI ASCII decode encode ISO-8859-1 messy code injection mysqli php sql注入 Sql optimization Mysql index B + tree InnoDB IO exploit NSA atom expression lanauage operator parse precedence phpstorm xampp xdebug 环境配置 apache security web server pickle 序列化 Message Queue Notes redis string note Redis Middleware Cache 撤销 数据结构 match regex test tutorial Extension gcd rsa call-back Request scrapy spider 爬虫 qzone selenium webdriver black box lisp module scheme sicp case condition hanoi recursion Architecture Sql Optimize Explain 策略模式 设计模式 后缀表达式 symbol Network TCP Web Idea Thread concurrency u盘 病毒 csrf login session token uid web xss Story effective tools win10 windows
Security Design Java Algorithm FrontPage Linux Python Cocos Story OS BackStage Go FrontDesign Spider Parser-amp-language JVM K8s Database JVM/Java Mysql Java/Network Mysql/Database Algorithm/Bit-operation Java/Network/IO Java/Middleware Redis Front Redis/Cache Architecture Mysql/Sql Network Idea System