synchronized的规定
- 线程解锁前,必须把共享变量刷新到主内存
- 线程加锁前将清空工作内存共享变量的值,需要从主存中获取共享变量的值。
加锁(synchronized 同步)的功能不仅仅局限于互斥行为,同时还存在另外一个重要的方面:内存可见性。我们不仅希望防止某个线程正在使用对象状态而另一个线程在同时修改该状态,而且还希望确保当一个线程修改了对象状态后,其他线程能够看到该变化。而线程的同步恰恰也能够实现这一点。
内置锁可以用于确保某个线程以一种可预测的方式来查看另一个线程的执行结果。为了确保所有的线程都能看到共享变量的最新值,可以在所有执行读操作或写操作的线程上加上同一把锁。下图示例了同步的可见性保证。
![b86eca4a8793825afd1a045a13d0ac7c.png](https://i-blog.csdnimg.cn/blog_migrate/fa75e1c923b3eabb08f23b32be517b44.jpeg)
当线程 A 执行某个同步代码块时,线程 B 随后进入由同一个锁保护的同步代码块,这种情况下可以保证,当锁被释放前,A 看到的所有变量值(锁释放前,A 看到的变量包括 y 和 x)在 B