Java内存模型和线程安全

一 、原子性

原子性是指一个操作是不可中断的。即使是在多个线程一起执行的时候，一个操作一旦开始，就不会被其它线程干扰。

思考：i++是原子操作吗？ 

二、有序性

Java代码在执行使，并不一点会按照编写程序的语义顺序执行（为了优化性能）。具体不做解释。

三、可见性

可见性是指一个线程修改了一个共享变量的值，其他线程能否立即知道这个修改。

编译器优化
硬件优化（如写吸收，批操作） 

Java虚拟机层面的可见性 

 1 public class VisibilityTest extends Thread {
 2 private boolean stop;
 3 public void run() {
 4 int i = 0;
 5 while(!stop) {
 6 i++;
 7 }
 8 System.out.println("finish loop,i=" + i);
 9 }
10 public void stopIt() {
11 stop = true;
12 }
13 public boolean getStop(){
14 return stop;
15 }
16 public static void main(String[] args) throws Exception {
17 VisibilityTest v = new VisibilityTest();
18 v.start();
19 Thread.sleep(1000);
20 v.stopIt();
21 Thread.sleep(2000);
22 System.out.println("finish main");
23 System.out.println(v.getStop());
24 } 

四、Happen-Before规则

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