java并发编程常识.pdf

JAVA并发编程常识 虚极(梁飞) JVM内存模型 ? 堆： 线程栈1 线程栈2 – 所有对象全部放在共享堆空间中 PC 数值 – 对象的属性在共享堆空间内 方法2 地址 低 ? 堆内存单字节对齐，short不变 参数 Long 方法1 高 ? 栈： Long – 每个线程都有独立的线程栈空间 – 线程栈只存基本类型和对象地址 ? 栈内存4字节对齐，short变int 对象 数值 ? 对象地址4字节，引用堆空间 – 方法中局部变量在线程栈空间内 堆空间 ? 局部变量不会竞争，线程安全 ? 方法参数在栈顶交叉，不拷贝 栈大小 堆大小 ? 栈顶寄存，减少中间状态读取 -Xss1M -Xmx1G – PC指针记录当前执行位置 原子性 ? 对象类型： – 对象地址原子读写，线程安全 – 并发读不可变状态，线程安全 – 并发读写可变状态，非线程线程 ? 基本类型： – int,char数值读写，线程安全 – long,double高低位，非线程安全 – i++等组合操作，非线程安全 可见性 ? final – 初始化final字段确保可见性 ? volatile – 读写volatile字段确保可见性 ? synchronized – 同步块内读写字段确保可见性 ? happen before – 遵守happen before次序可见性 可排序性 ? Happen Before 法则 – 程序次序法则 ? 如果A一定在B之前发生，则happen before, – 监视器法则 ? 对一个监视器的解锁一定发生在后续对同一监视器加锁之前 – Volatie变量法则 ? 写volatile变量一定发生在后续对它的读之前 – 线程启动法则 ? Thread.start一定发生在线程中的动作之前 – 线程终结法则 ? 线程中的任何动作一定发生在括号中的动作之前（其他线程检测到这个线程已经终止，从 Thread.join调用成功返回，Thread.isAlive()返回false） – 中断法则 ? 一个线程调用另一个线程的interrupt一定发生在另一线程发现中断之前。 – 终结法则 ? 一个对象的构造函数结束一定发生在对象的finalizer之前 – 传递性 ? A发生在B之前，B发生在C之前，A一定发生在C之前。