JVM

1 整数的表达

• 原码：第一位为符号位（0为正数，1为负数）
• 反码：符号位不动，原码取反
• 负数补码：符号位不动，反码加1。
• 正数补码：和原码相同

打印整数的二进制表示：

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

2 JVM基本机构

• PC寄存器
  -每个线程拥有一个PC寄存器
  -在线程创建时创建
  -指向下一条指令的地址
  -执行本地方法时，PC的值为undefined

• 方法区

• 保存装载的类信息
  -类型的常量池
  -字段，方法信息
  -方法字节码

• 通常和永久区（Perm）关联在一起，保存相对稳定的信息

• Java堆
  -和程序开发密切相关
  -应用系统对象都保存在Java堆中
  -所有线程共享Java堆
  -对分代GC来说，堆也是分代的
  -GC的主要工作区间
  

• Java栈
  -线程私有
  -栈由一系列帧组成（因此Java栈也叫做帧栈）
  -帧保存一个方法的局部变量、操作数栈、常量池指针
  -每一次方法调用创建一个帧，并压栈
• Java栈-局部变量表 包含参数和局部变量
  

注意：非静态方法存储参数和局部变量时要先存储当前对象的引用。

• Java栈-函数调用组成帧栈
  

其中，每次函数调用都创建一个帧。

• Java栈-操作数栈
  -Java没有寄存器，所有参数传递使用操作数栈
  例如： 其中局部变量0是a,局部变量1是b，局部变量2是c。
  

• Java栈-栈上分配
  -小对象（一般几十个bytes），在没有逃逸的情况下（仅在当前线程中使用），可以直接分配在栈上
  -直接分配在栈上，可以自动回收，减轻GC压力
  -大对象或者逃逸对象无法栈上分配

• 栈、堆、方法区交互
  

//运行时，JVM把AppMain的信息都放入方法区
public class AppMain{
    //main方法本身放入方法区
    public static void main(String[] args){
    //test1是引用，所以放到栈区里，Sample是自定义对象放到堆里面
    Sample test1 = new Sample("测试1");
    Sample test2 = new Sample("测试2");

    test1.printName();
    test2.printName();
    }
}
public class Sample{
    //new Sample实例后，name引用放入栈区里，name对象放入堆里
    private name;
    public Sample(String name){
        this.name = name;
    }
    //printName方法本身放入方法区里
    public void printName(){
        System.out.println(name);
    }
}

• 内存模型
  -每一个线程有一个工作内存和主存
  -工作内存存放主存中变量的值得拷贝
  
  当数据从主内存复制到工作内存时：
  　　第一，由主内存执行的读（read）操作；
  　　第二，由工作内存执行的相应的load操作
  当数据从工作内存拷贝到主内存时：
  　　第一，由工作内存执行的存储（store）操作；
  　　第二，由主内存执行的相应的写（write）操作。
  每一个操作都是原子的，即执行期间不会被中断。
  对于普通变量，一个线程中更新的值，不能马上反应在其他变量中。如果需要在其他线程中立即可见，需要使用volatile关键字。
• volatile
  volatile不能代替锁，不是线程安全的，一般认为volatile比锁性能好（但不是绝对的）。
  选择使用volatile的条件是：语义是否满足应用。

public class VolatileStopThread extends Thread{
    private volatile boolean stop = false;
    public void stopMe(){
        stop = true;
    }
}
public void run(){
    int i=0;
    while (!stop){
        i++;
    }
    System.out.println("Stop thread");
}

public static void main(String args[]) throws InterruptedException{
    VolatileStopThread t = new VolatileStopThread();
    t.start();
    Thread.sleep(1000);
    t.stopMe();
    Thread.sleep(1000);
}

• 可见性：一个线程修改了变量，其他线程可以立即知道。

• 保证可见性的方法：
  -volatile
  -synchronized（unlock之前，写变量值回主内存）
  -final（一旦初始化完成，其他线程就可见）

• 有序性
  -在本线程内。操作都是有序的。
  -在线程外观察，操作都是无序的。（原因：指令重排 或 主内存同步延时）

• 指令重排

• 线程内具有串行语义的语句不能重排：
  -写后读 a=1; b=a; 写一个变量之后，再读这个位置
  -写后写 a=1; a=2; 写一个变量之后，再写这个变量
  -读后写 a=b; b=1; 读一个变量之后，再写这个变量
• 编译器不考虑多线程间的语义，会破坏线程间的有序性。
  线程A首先执行writer()方法，线程B接着执行reader()方法。线程B在int i=a+1不一定能看到a已经被赋值为1。因为在writer中，两句话顺序可能会被打乱，比如线程A
  先执行flag=true，线程B执行的时候读到flag=true，此时a=0。 为了解决这个问题，可以加上同步锁。

        class OrderExample{
            int a = 0;
            boolean flag = false;

            public (synchronized) void writer(){
                a = 1;
                flag = true;
            }

            public (synchronized) void reader(){
                if(flag){
                    int i = a+1;
                }
            }
        }

• 指令重排的基本原则
  -程序顺序原则：一个线程内保证语义的串行性
  -volatile规则：volatile变量的写，先发生于读
  -锁规则：解锁(unlock)必然发生在随后的加锁(lock)前
  -传递性：A先于B，B先于C，那么A必然先于C
  -线程的start方法先于它的每一个动作
  -线程的所有操作先于线程的终结（Thread.join()）
  -线程的中断（interrupt()）先于被中断线程的代码
  -对象的构造函数执行结束先于finalize()方法

• 字节码运行的方式

  • 解释运行
    -解释执行以解释的方式运行字节码
    -解释执行的意思是：读一句执行一句

  • 编译运行（JIT）
    -将字节码编译成机器码
    -直接执行机器码
    -运行时编译
    -编译后能有数量级的提升

常用JVM配置参数

• 堆的分配参数
  
  • -Xmx -Xms指定最大堆和最小堆。
    -一般Java会尽可能维持在最小堆。
  • -Xmns用来设置新生代的大小(绝对值)。
  • -XX：NewRatio
    -新生代（eden+2*s）和老年代（不包含永久区）的比值
    -4 表示新生代：老年代=1：4，即年轻代占堆的1/5

GC

　　GC（Garbage Collection，垃圾收集）的对象是堆空间和永久区。　　

• 引用计数法
  
  • 老牌垃圾回收算法
  • 通过引用计算来回收垃圾
  • 使用者：COM，ActionScript3，Python
  • 引用计数器的实现很简单，对于一个对象A，只要有任何一个对象引用了A，则A的引用计数器就加1，当引用失效时，引用计数器就减1。只要对象A的引用计数器的值为0，则对象A就不可能再被使用。
• 标记-清除
  
  • 标记-清除算法是现代垃圾回收算法的思想基础。标记-清除算法将垃圾回收分为两个阶段：标记阶段和清除阶段。一种可行的实现是，在标记阶段首先通过根节点，标记所有从根节点开始的可达对象。因此，未被标记的对象就是未被引用的垃圾对象。然后，在清除阶段，清除所有未被标记的对象。
• 标记-压缩算法
  -标记压缩算法适合用于存活对象比较多的场合，比如老年代。他在标记-清除算法