Как стать автором
Обновить

Java байткод «Hello world»

Java *
На хабре уже есть статья про java байткод. Я решил ее немного дополнить и в меру сил развить тему. Мне кажется довольно логичным разобрать простейшее приложение на Java. А что может быть проще «Hello world»?
Для своего эксперимента я создал директорию src, куда в папку hello положил файл App.java:

package hello;

public class App {

    public static void main(String[] args) {
        System.out.println("Hello world!");
    }

}




Скопилируем файл командой:

javac src/hello/App.java -d classes/

На выходе в папке classes у меня появился файл App.class Для начала сравним размеры java и class файлов.

App.java 139B
App.class 418B

Это было неожиданно. Мне почему-то казалось, что скомпилированный файл должен быть меньше. Попытаюсь открыть class файл:

hexdump App.class

0000000 ca fe ba be 00 00 00 34 00 1d 0a 00 06 00 0f 09
0000010 00 10 00 11 08 00 12 0a 00 13 00 14 07 00 15 07
0000020 00 16 01 00 06 3c 69 6e 69 74 3e 01 00 03 28 29
0000030 56 01 00 04 43 6f 64 65 01 00 0f 4c 69 6e 65 4e
0000040 75 6d 62 65 72 54 61 62 6c 65 01 00 04 6d 61 69
0000050 6e 01 00 16 28 5b 4c 6a 61 76 61 2f 6c 61 6e 67
0000060 2f 53 74 72 69 6e 67 3b 29 56 01 00 0a 53 6f 75
0000070 72 63 65 46 69 6c 65 01 00 08 41 70 70 2e 6a 61
0000080 76 61 0c 00 07 00 08 07 00 17 0c 00 18 00 19 01
0000090 00 0c 48 65 6c 6c 6f 20 77 6f 72 6c 64 21 07 00
00000a0 1a 0c 00 1b 00 1c 01 00 09 68 65 6c 6c 6f 2f 41
00000b0 70 70 01 00 10 6a 61 76 61 2f 6c 61 6e 67 2f 4f
00000c0 62 6a 65 63 74 01 00 10 6a 61 76 61 2f 6c 61 6e
00000d0 67 2f 53 79 73 74 65 6d 01 00 03 6f 75 74 01 00
00000e0 15 4c 6a 61 76 61 2f 69 6f 2f 50 72 69 6e 74 53
00000f0 74 72 65 61 6d 3b 01 00 13 6a 61 76 61 2f 69 6f
0000100 2f 50 72 69 6e 74 53 74 72 65 61 6d 01 00 07 70
0000110 72 69 6e 74 6c 6e 01 00 15 28 4c 6a 61 76 61 2f
0000120 6c 61 6e 67 2f 53 74 72 69 6e 67 3b 29 56 00 21
0000130 00 05 00 06 00 00 00 00 00 02 00 01 00 07 00 08
0000140 00 01 00 09 00 00 00 1d 00 01 00 01 00 00 00 05
0000150 2a b7 00 01 b1 00 00 00 01 00 0a 00 00 00 06 00
0000160 01 00 00 00 03 00 09 00 0b 00 0c 00 01 00 09 00
0000170 00 00 25 00 02 00 01 00 00 00 09 b2 00 02 12 03
0000180 b6 00 04 b1 00 00 00 01 00 0a 00 00 00 0a 00 02
0000190 00 00 00 06 00 08 00 07 00 01 00 0d 00 00 00 02
00001a0 00 0e
00001a2


Довольно непривычный вид для Java кода. Попробуем с помощью описание формата class файлов понять, что здесь закодировано.

ca fe ba be 


Это 4 байта для magic, который определяет формат файла.

00 00 

minor version — Минорная версия как следует из названия

00 34 

major version — 2 байта под мажорную версию.
Сочетание minor и major version говорит о том, что я компилировал этот код с помощью J2SE 8.

00 1d 

Эти два байта представляют constant_pool_count и отвечают за размер constant_pool. В моем случае count равен 29, а размер пула, соответственно 28. Дальше идут элементы вида:

cp_info {
u1 tag; // 1 байт на тег
u1 info[]; // массив с описанием
}

Рассмотрим элементы в constant_pool.

1-ый элемент:

0a 

Этот тег соответствует CONSTANT_Methodref, а значит дальше должно быть описание:

CONSTANT_Methodref_info {
u1 tag;
u2 class_index;
u2 name_and_type_index;
}
соответственно:
00 06 

class_index, указывает на 6 элемент в constant_pool
00 0f 

name_and_type_index, указывает на 15 элемент в constant_pool

Пока не понятно, на какой метод указывает эта ссылка и мы идем дальше:

2-ой элемент:

09 

Это CONSTANT_Fieldref, а значит дальше ищем:

CONSTANT_Fieldref_info {
u1 tag;
u2 class_index;
u2 name_and_type_index;
}

И тут все очень похоже на предыдущий элемент, хотя не понятно что это за поле, в своем классе я вроде ничего такого не объявлял.
00 10 

class_index в 16 элементе
00 11 

name_and_type_index в 17 элементе

3-ий элемент:
08

tag для CONSTANT_String

И по:

CONSTANT_String_info {
    u1 tag;
    u2 string_index;
}


получаем, что самое интересное лежит в 18 элементе:
00 12 


4-ый элемент:
0a 

Tag соответствующий ссылке на метод:
класс которого описан в 19 элементе
00 13  

a название и тип в 20 элементе:
00 14  


5-ый элемент:
Tag для CONSTANT_Class
07 

название, которого в 21 элементе
00 15 


6-ой элемент:
Cнова CONSTANT_Class
07 

c названием в 22 элементе
00 16

Как мы помним 1-ый элемент constant_pool относится к этому классу.

7-ой элемент:
tag, CONSTANT_Utf8, первая строчка
01 

Она должна соответствовать:

CONSTANT_Utf8_info {
u1 tag;
u2 length;
u1 bytes[length];
}

Тогда длина нашей строчки 6 байт:
00 06 

А значение "<init>":
3c 69 6e 69 74 3e 

Это особое название, так помечаются конструкторы.

8-ой элемент:

CONSTANT_Utf8
01 


строчка длины 3 — "()V":

00 03 
28 29 56


Это описание нашего конструктора без параметров, который был упомянут в седьмом элементе.

9-ый элемент:
CONSTANT_Utf8
01 


Строка «Code»:

00 04 
43 6f 64 65 


10-ый элемент:
Строка LineNumberTable
01 
00 0f 
4c 69 6e 65 4e 75 6d 62 65 72 54 61 62 6c 65


11-ый элемент
«main»:
01 
00 04 
6d 61 69 6e 


12-ый элемент
"([Ljava/lang/String;)V"
01 
00 16 
28 5b 4c 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67 3b 29 56 


13-ый элемент
«SourceFile»
01 
00 0a 
53 6f 75 72 63 65 46 69 6c 65 


14-ый элемент
«App.java»:
01 
00 08 
41 70 70 2e 6a 61 76 61 


15-ый элемент
Tag, соответствует CONSTANT_NameAndType
0c  


а значит нам понадобится

CONSTANT_NameAndType_info {
u1 tag;
u2 name_index;
u2 descriptor_index;
}

и тогда:
ссылка на 7 элемент
00 07 

ccылка на 8 элемент
00 08  


Учитывая что первый элемент ссылался на это, мы можем заключить что первым был объявлен конструктор класса без параметров. Название класса, мы должны найти в 22 элементе.

16-ый элемент:
Tag, для CONSTANT_Class
07 

c названием в 23 элементе
00 17


17-ый элемент:
Tag, CONSTANT_NameAndType, со ссылкой на 24 и 25 элемент constant_pool
0c  
00 18 
00 19 


18-ый элемент:
Ура «Hello world!»
01
00 0c 
48 65 6c 6c 6f 20 77 6f 72 6c 64 21 


19-ый элемент:
Tag, для CONSTANT_class c названием в 25-ом элементе
07 
00 1a 


20-ый элемент:
Tag CONSTANT_NameAndType cо ссылкой на 27 и 28 элемент
0c 
00 1b 
00 1c 


21-ый элемент:
«hello/App»
01 
00 09 
68 65 6c 6c 6f 2f 41 70 70 


22-ой элемент:
«java/lang/Object»
01 
00 10 
6a 61 76 61 2f 6c 61 6e 67 2f 4f 62 6a 65 63 74


23-ий элемент:
«java/lang/System»
01
00 10
6a 61 76 61 2f 6c 61 6e 67 2f 53 79 73 74 65 6d 


24-ый элемент:
«out»
01
00 03
6f 75 74 


25-ый элемент:
«Ljava/io/PrintStream;»
01
00 15 
4c 6a 61 76 61 2f 69 6f 2f 50 72 69 6e 74 53 74 72 65 61 6d 3b


26-ой элемент:
«java/io/PrintStream»
01
00 13
6a 61 76 61 2f 69 6f 2f 50 72 69 6e 74 53 74 72 65 61 6d 


27-ой элемент:
«println»
01
00 07
70 72 69 6e 74 6c 6e 


28-ой элемент:
"(Ljava/lang/String;)V"
01 
00 15 
28 4c 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67 3b 29 56 


На этом таблица constant_pool заканчивается. Дальше идут
access_flags docs.oracle.com/javase/specs/jvms/se7/html/jvms-4.html#jvms-4.1-200-E.1
00 21 

this_class
00 05 

super_class
00 06

00 00 // interfaces_count
00 00 // fields_count

methods_count у нас 2 метода в классе, конструктор по умолчанию и метод main:
00 02 

Method 1 — Constructor
00 01 - access_flags
00 07 - name_index
00 08 - descriptor_index
00 01 - attributes_count

Attribute 1
00 09 // name_index (Code)
00 00 00 1d // attribute_length 
00 01 // max_stack 
00 01 // max_locals 
00 00 00 05  // code_length

Один из самых интересных аттрибутов с кодом нашего метода code[code_length], разбор инструкций отдельная большая тема:
2a  // aload_0 
b7 00 01 // invokespecial (Запустить первый метод в constant_pool)
b1 // return


Аттрибут закончился и продолжается описание метода
00 00 // exception_table_length 
00 01 // attributes_count 
00 0a // attribute_name_index (LineNumberTable - 10 элемент)
00 00 00 06 // attribute_length
00 01 // line_number_table_length
00 00 // start_pc
00 03 // line_number


Method 2 — main
00 09 // access_flags 
00 0b // name_index
00 0c // descriptor_index
00 01 // atributes_count

Attribute 1 код метода main
00 09  // name_index (Code)
00 00 00 25 // attribute_length
00 02 // max_stack
00 01 // max_locals 
00 00 00 09  // code_length


code[code_length]
b2 00 02 // getstatic 2, распутывая цепочку будет java.lang.System
12 03 // ldc 3
b6 00 04 // invokevirtual 4  
b1 // return


00 00 // exception_table_length 
00 01 // attributes_count
00 0a // attribute_name_index (LineNumberTable - 10 элент) 
00 00 00 0a // attribute_length
00 02 // line_nuber_table_length
00 00 // start_pc
00 06 // line_number
00 08 // start_pc
00 07 // line_number


Описание методов закончено и идет описание атрибутов класса
00 01 // attributes_count
00 0d // name_index (SourceFile)
00 00 00 02 // attributes_length
00 0e // sourcefile_index(App.java)


Теперь когда мы закончили с по-байтовым разбором class файла, становится понятно как работает:

javap -c -s -verbose classes/hello/App.class

Он автоматически выводит тоже самое, что я выписал руками:

Classfile /.../classes/hello/App.class
  Last modified Aug 14, 2015; size 418 bytes
  MD5 checksum e9d96126a9f5bbd95f154f1a40d46b53
  Compiled from "App.java"
public class hello.App
  minor version: 0
  major version: 52
  flags: ACC_PUBLIC, ACC_SUPER
Constant pool:
   #1 = Methodref          #6.#15         // java/lang/Object."<init>":()V
   #2 = Fieldref           #16.#17        // java/lang/System.out:Ljava/io/PrintStream;
   #3 = String             #18            // Hello world!
   #4 = Methodref          #19.#20        // java/io/PrintStream.println:(Ljava/lang/String;)V
   #5 = Class              #21            // hello/App
   #6 = Class              #22            // java/lang/Object
   #7 = Utf8               <init>
   #8 = Utf8               ()V
   #9 = Utf8               Code
  #10 = Utf8               LineNumberTable
  #11 = Utf8               main
  #12 = Utf8               ([Ljava/lang/String;)V
  #13 = Utf8               SourceFile
  #14 = Utf8               App.java
  #15 = NameAndType        #7:#8          // "<init>":()V
  #16 = Class              #23            // java/lang/System
  #17 = NameAndType        #24:#25        // out:Ljava/io/PrintStream;
  #18 = Utf8               Hello world!
  #19 = Class              #26            // java/io/PrintStream
  #20 = NameAndType        #27:#28        // println:(Ljava/lang/String;)V
  #21 = Utf8               hello/App
  #22 = Utf8               java/lang/Object
  #23 = Utf8               java/lang/System
  #24 = Utf8               out
  #25 = Utf8               Ljava/io/PrintStream;
  #26 = Utf8               java/io/PrintStream
  #27 = Utf8               println
  #28 = Utf8               (Ljava/lang/String;)V
{
  public hello.App();
    descriptor: ()V
    flags: ACC_PUBLIC
    Code:
      stack=1, locals=1, args_size=1
         0: aload_0
         1: invokespecial #1                  // Method java/lang/Object."<init>":()V
         4: return
      LineNumberTable:
        line 3: 0

  public static void main(java.lang.String[]);
    descriptor: ([Ljava/lang/String;)V
    flags: ACC_PUBLIC, ACC_STATIC
    Code:
      stack=2, locals=1, args_size=1
         0: getstatic     #2                  // Field java/lang/System.out:Ljava/io/PrintStream;
         3: ldc           #3                  // String Hello world!
         5: invokevirtual #4                  // Method java/io/PrintStream.println:(Ljava/lang/String;)V
         8: return
      LineNumberTable:
        line 6: 0
        line 7: 8
}
SourceFile: "App.java"


А вот здесь можно посмотреть пример разбора class файла:

ClassFile(InputStream in, Attribute.Factory attributeFactory) throws IOException, ConstantPoolException {
        ClassReader cr = new ClassReader(this, in, attributeFactory);
        magic = cr.readInt();
        minor_version = cr.readUnsignedShort();
        major_version = cr.readUnsignedShort();
        constant_pool = new ConstantPool(cr);
        access_flags = new AccessFlags(cr);
        this_class = cr.readUnsignedShort();
        super_class = cr.readUnsignedShort();

        int interfaces_count = cr.readUnsignedShort();
        interfaces = new int[interfaces_count];
        for (int i = 0; i < interfaces_count; i++)
            interfaces[i] = cr.readUnsignedShort();

        int fields_count = cr.readUnsignedShort();
        fields = new Field[fields_count];
        for (int i = 0; i < fields_count; i++)
            fields[i] = new Field(cr);

        int methods_count = cr.readUnsignedShort();
        methods = new Method[methods_count];
        for (int i = 0; i < methods_count; i++)
            methods[i] = new Method(cr);

        attributes = new Attributes(cr);
    }

Теги:
Хабы:
Всего голосов 63: ↑53 и ↓10 +43
Просмотры 42K
Комментарии Комментарии 8