Synchronized 与 volatie

Synchronized 与 volatie

慕课网视频地址

1. 内存的可见性

共享变量在线程间的可见性。

线程在内存中的分布模式如图：（线程与线程之间不是直接通信，每个线程有自己的工作内存，每个线程都存有共享变量的副本，线程中的共享变量副本在虚拟机栈中，而共享变量在方法区中）

2.Synchronized

		Synchronized 实现内存可见性的步骤：
	     	（1） 获得互斥锁
		    （2） 清空工作内存
		    （3） 从主内存中拷贝共享变量的新副本到工作内存
		    （4） 执行代码
		    （5） 将更改后的共享变量的值刷新到主内存中
		    （6 ）释放互斥锁

Synchronized 除了保证共享变量在线程间的可见性之外，它还遵循原子性，即：
.当程序被Synchronized 加锁后，只有当前线程在程序中执行，当它执行完毕释放锁之后其它线程才能够进入该程序

3. 重排序

   （1）编译器优化的重排序
   （2）指令集并行重排序
   （3）内存系统的重排序

.
as-if-serial :Java 在单线程中遵循 --> 无论程序怎样执行结果与代码顺序执行的结果一致

4.volatile

volatile 实现内存可见性的步骤：

volatile 在执行写操作的时候，处理器会加入一条store屏障指令，它会把cpu写缓存直接刷新到主内存中，并使工作内存中的缓存共享变量失效
volatile 在执行读操作的时候，处理器会加入一条load屏障指令，它会把cpu读缓存直接刷新到主内存中，并使工作内存中的缓存共享变量失效

volatile 不能保证线程的原子性，即：在同一时刻，可能有多个线程对volatile 修饰的变量进行操作，造成错误
例子：
number = 5 nuber ++
1.线程A 读取number值
2.线程B 读取number值
3.线程执行+1
4.线程B写入number — 6
5.线程A执行+1
6.线程A写入number – 6