多线程之synchronized研究

版权声明:本文为博主原创文章,未经博主允许不得转载。 https://blog.csdn.net/qq_33861603/article/details/87648684

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

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

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

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

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

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

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

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

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

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

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

猜你喜欢

转载自blog.csdn.net/qq_33861603/article/details/87648684