多线程之synchronized研究

并发中三个要素：内存可见性，原子性，有序性。

synchronized是java里的一个重要关键字，作为线程间同步，基于jmm的内存可见性，同时也具备原子性，顺序性。

它用于修饰实例方法、静态方法、以及作为代码块，分别持有对应的对象锁、类锁、私有锁。

底层实现原理：1.执行sychronized方法时，常量池里出现acc_synchronized标志，通过这个是否存在执行线程获取monitor，获取成功后开始执行方法体，最终释放monitor(这之间会刷新主存）。

                            2.执行代码块时，利用jvm为对象分配的监视器锁(monitor),monitor被占用,通过字节码指令monitorenter和monitorexit，将之间字节码指令和程序加载到高速缓存，将结果通过MESI刷新到主存。

有序性体现在：当monitor被占用时，其他线程无法获取锁进入SynchronizedQueue等待。

内存可见性体现在：当一线程占有锁，修改了共享变量时，释放锁之前会刷新到主存并且monitor进入数减去1，然后另一个线程在

进入时先判断monitor进入数是否为0，若为0则获取锁并且清空工作内存且从主存拉取变量副本。

原子性体现在：变量原子操作了。

 

#######备注#####

主存相当于内存，工作内存相当于是高速缓存，程序运行时将主存中数据读取到缓存里。