深入JVM内核原理-1.初识JVM

指通过软件模拟的具有完整硬件系统功能的、运行在一个完全隔离环境中的完整计算机系统

1996年 SUN JDK 1.0 Classic VM
- 纯解释运行，使用外挂进行JIT
1997年JDK1.1发布
- AWT、内部类、JDBC、RMI、反射
1998年JDK1.2 Solaris Exact VM
- JIT解释器混合
- Accurate Memory Management精确内存管理，数据类型敏感
- 提升GC的性能
- JDK1.2开始称为Java2 J2SE J2EE J2ME的出现加入Swing Collections
2000年 JDK 1.3 Hotspot 作为默认虚拟机发布
- 加入JavaSound
2002年 JDK 1.4 Classic VM退出历史舞台
- Assert正则表达式NIO IPV6日志API加密类库
2004年发布 JDK1.5即JDK5、J2SE 5、Java 5
- 泛型
- 注解
- 装箱
- 枚举
- 可变长的参数
- Foreach循环
JDK1.6 JDK6
- 脚本语言支持
- JDBC 4.0
- Java编译器API
2011年JDK7发布
- 延误项目推出到JDK8
- G1
- 动态语言增强
- 64位系统中的压缩指针
- NIO 2.0
2014年JDK8发布
- Lambda表达式
- 语法增强 Java类型注解
2016年JDK9
- 模块化

语法定义
- IfThenStatement：if(Expression) Statement
- ArgumentList: Argument ArgumentList,Argument
词法结构
- \u + 4个16进制数字表示UTF-16
- 行终结符：CR，or LF，or CR LF.
- 空白符空格 tab \t 换页 \f 行终结符
- 注释
- 标示符
- 关键字
此法结构
- Int
  - 0 2 0372 0xDada_Cafe 1996 0x00_FF_00_FF
- Long
  - 0L 0777L 0x1000000000L 2_147_483_648L 0xC0B0L
- Float
  - 1e1f 2.f .3f 0f 3.14f 6.022137e+23f
- Double
  - 1e1 2. .3 0.0 3.14 1e-9d 1e137
- 运算符
  - += -= *= /= &= |= ^= %= <<= >>= >>>=
类型和变量
- 元类型
  - byte short int long float double boolean char
- 变量初始值
  - boolean true
  - char \u0000
- 泛型
Java内存模型
类加载链接的过程
public static final abstract的定义
异常
数组的使用
......

int a = -6;
for (int i = 0; i < 32; i++) {
    int t = (a & 0x80000000>>>i)>>>(31-i);
    System.out.print(t);
}

Float的表示与定义
- 支持IEEE 754
  - s 8个e 23个m
  - e全0 尾数附加位为0 否则尾数附加位为1
  - sm2^(e-127)
一些特殊的方法
VM指令集
- 类型转化
  - l2i
- 出栈入栈操作
  - aload
  - astore
- 运算
  - iadd
  - isub
- 流程控制
  - ifeq
  - ifne
- 函数调用
  - invokevirtual
  - invokeinterface
  - invokespecial
  - invokestatic
JVM需要对Java Library提供以下支持
- 反射 java.lang.reflect
- ClassLoader
- 初始化class和interface
- 安全相关java.security
- 多线程
- 弱引用
JVM的编译
- 源码到JVM指令的对应格式
- Javap
- JVM反汇编的格式
  - [ [ ...]] []