关于使用synchronized实现线程安全的原理分析

首先，我们来看几个概念：

java内存模型定义的主内存与工作内存

java内存模型规定了所有的变量都存储在主内存中（此处的主内存跟物理硬件的主内存只是名字相同，此处仅仅是指虚拟机内存的一部分），而每条线程还会有自己的工作内存（可以类比cpu的寄存器和高速缓存），线程的工作内存中保存了该线程使用到的变量的主内存的副本的拷贝，线程对变量的所有操作都必须在工作内存中继续，而不能直接读写主内存中的变量。不同线程之间也无法直接访问对方工作内存中的变量，线程之间变量值的传递都需要通过主内存完成，三者关系如下图：

另外加一个操作系统的内存访问模型进行对比

当我们使用synchronized进行同步的时候，真正被同步的是在工作线程中的数据，简单的说就是在同步块或同步方法执行完后，对被锁定的对象做的任何修改要在释放锁之前写回到主内存中；在进入同步块得到锁之后，被锁定对象的数据是从主内存中读出来的，持有锁的线程的工作内存中的数据副本一定和主内存中的数据视图是同步的 。

补充：synchronized关键字经过编译之后，会在同步块的前后分别形成monitorenter和monitorexit这两个字节码指令，这两个字节码都需要一个reference类型的参数来指明要锁定和解锁的对象。