synchronized和volatile和happens-before

1. volatile

可见性

java编程语音允许线程访问共享变量，为了确保共享变量的准确性和一致，其他线程能够立即看得到修改的值。

执行原理: volatile保证了变量的可见性。被volatile修饰的变量。标志着线程的本地内存无效。当一个线程修改了变量之后会立刻更新到主内存中，其他线程读取共享变量时，会直接从主内存中读取。

原子性

执行一个操作或多个操作，要么全部执行并且执行过程不会被任何因素打断，要么就都不执行。

volatile是无法保证复合操作的原子性

有序性

即程序执行的顺序按照代码的先后顺序执行。

Java提供volatile来保证一定的有序性。最著名的例子就是单例模式里面的DCL（双重检查锁）

2. happens-before

1. 用happens-before的概念来阐述操作之间的内存可见性。
2. 在JMM中，如果一个操作执行的结果需要对另一个操作可见。 那么这两个操作之间必须要存在happens-before关系。
3. happens-before关系保证正确同步的多线程程序的执行结果不被改变。

为什么要用happens-before?

程序员对于这两个操作是否真的被重排序并不关心，程序员关心的是程序执行时的语义不能被改变（即执行结果不能被改变）。

3. synchronized的实现原理

使用monitorenter和monitorexit指令实现的：

• monitorenter指令是在编译后插入到同步代码块的开始位置，而monitorexit是插入到方法结束处和异常处
• 每个monitorenter必须有对应的monitorexit与之配对
• 任何对象都有一个monitor与之关联，当且一个monitor被持有后，它将处于锁定状态

synchronized各种锁

锁一共有4种状态，级别从低到高依次是：无锁状态、偏向锁状态、轻量级锁状态和重量级锁状态。

• 偏向锁：大多数情况下，锁不仅不存在多线程竞争，而且总是由同一线程多次获得，为了让线程获得锁的代价更低而引入了偏向锁。无竞争时不需要进行CAS操作来加锁和解锁。
• 轻量级锁：无竞争时通过CAS操作来加锁和解锁。（自旋锁——是一种锁的机制，不是状态）
• 重量级锁：真正的加锁操作

总结

volatile是要保证可见性，即instance实例化后马上对其他线程可见。synchronized能同时保证原子性和可见性，同一时刻只有一个线程获取锁然后执行同步代码，并且在释放锁之前会将对变量的修改刷新到主存当中，保证当其他线程再进入的时候，在主存中读取到的就是最新的变量内容了