Java的内存模型和线程安全

Java的内存模型和线程安全

计算机指令的特性

• 原子性指的是一个操作是不可中断的，即使是在多线程一起执行的时候，一个操作一旦开始，就不会被其他线程所干扰。指令都是具有原子性。
• 有序性，计算机在运行程序的时候有它自己定义的顺序，定义在前面的线程不一定先执行完毕。
• 可见性是指一个线程修改某一个共享变量的值，其他线程是否能够立即知道这个修改。（编译器优化、硬件优化）

Happen-Before规则（即Java执行的规则，保证多线程下语义是一致的）

1. 一个线程内保证语义的串行性，前一句代码肯定执行在后一句之前
2. volatile变量的写，先发生在读之前，保证了volatile变量的可见性。（volatile变量只能保证原子操作的同步）
3. 锁规则：解锁必然发生在随后的加速前
4. 传递性：A先B，B先于C，那么A必然先于C
5. 线程的start（）方法优先于它的每一个动作
6. 线程的所有操作优化于join()
7. 线程的中断优先于被中断线程的代码
8. 对象的构造函数执行结束优先于finalize()方法

线程安全
线程安全指的是函数、函数库在多线程环境下中被调用时，能够正确地处理各个线程的局部变量，使程序正确地完成。最常见的线程安全的方式是使用阻塞的方式，只允许一个线程使用资源。