Java多线程编程

多线程编程三个核心概念

原子性：和数据库事务原子性概念差不多，即一个操作要么全部执行，要么全部都不执行。
A向B转账100，首先从A账户减去100，此时操作突然终止，没有执行往B账户增加100的操作，就会导致账户A虽然减去了100，但账户B没有收到转过来的100。

常见的保证java操作原子性的工具是加锁或synchronized关键字。java中对基本数据类型的变量的读取和赋值操作时原子性的，即这些操作时是不可被中断的。

无论是通过Lock锁还是synchronized关键字，本质都是保证目标代码同一时间只会被一个线程执行，从而保证了目标代码的原子性，同时也保证了可见性和有序性。

java中还提供了原子操作类来保证原子性，其本质是利用了CPU级别的CAS指令。由于是CPU级别的指令，其开销比需要操作系统参加的锁的开销小。

 

可见性：多线程访问共享变量时，一个线程对共享变量的修改，其他线程能够立即看到。

两个线程对共享变量i同时进行100次i++，最终i并不会增加200，而是比200小。

java中提供volatile来保证可见性。

volatile修饰的变量的修改会被立即更新到主内存中，并将其它缓存了改变量的缓存设置为无效，这样其他线程需要读取该值时必须从主内存中读取，从而保证拿到最新的值。

 

有序性：程序执行的顺序按照代码的先后顺序执行。

JVM指令重排序会对代码进行优化，调整代码的顺序，使其按照更高效的顺序执行。

java内存模型中，允许编译器和处理器对指令进行重排序，但是重排序过程不会影响单线程程序的执行，却会影响多线程并发执行的正确性。

JVM的指令重排序遵守happens-before原则，避免编译优化对并发编程的影响。

1. 程序的顺序性规则：一个线程内，指令重排序只会作用于不存在数据依赖性的指令，保证不会影响最终执行结果
2. 锁定规则：锁只有被释放才能被再次获取
3. volatile变量规则：对一个volatile变量写操作先行发生于后面对这个变量的读操作
4. 传递规则：如果A happens-before B，B happens-before C，则A happens-before C
5. 线程启动规则：Thread对象的start方法先行发生于此线程的每一个动作
6. 线程中断规则：对现场interrupt方法的调用先行发生于被中断线程的代码检测到中断事件的发生
7. 线程终结规则：线程中所有的操作都先行发生于线程的终止检测
8. 对象终结规则：一个对象的初始化完成先行发生于它的finalize方法的开始

Synchronized关键字           Volatile关键字