java多线程实现原理

java内存模型

java的内存模式 线程 - 工作内存 - 主存。线程会读写工作内存，CPU会周期性的将工作数据刷入主存，如果多个线程写工作内存，就会导致每个线程的工作内存、主存内存数据都不一致，最终导致执行结果无法预期。

线程1 —|工作内存|—>  [      ]
                   [ 主存 ]
线程2 —|工作内存|—>  [      ]

happens-before规则

由于编译器，CPU，内存会出现指令重排序。其中一个数据的读写指令的重排序，会对执行结果产生变化，对于这种存在数据依赖的指令是不允许重排序的。happens-before是java对程序员的一种保证，它的内容是：

1. 对于单个线程，之前的操作一定happens-before之后的操作
2. 对于synchronized关键字，加锁的命令一定在解锁执行
3. 对于volatile对象，写一定在读之前执行
4. happens-before具有延续性，即a happens-before b，b happens-before c，那么a happens-before

happens-before并不是要求处理器一定要顺序一致性的执行指令，而是保证重排序的执行对最终执行结果没有影响。

synchronized

synchronized是锁，悲观锁。它的原理是，它锁住的对象会放入到monitor中，monitor只允许一个线程进入，synchronized括住的代码就是要进入monitor获得对象的代码