java synchronized无效_synchronized详细介绍

synchronized

互斥锁的特性

互斥性：在同一时间允许一个线程持有某个对象锁，通过这种特性来实现多线程的协调机制，这样在同一时间只有一个线程对需要同步的代码块进行访问，互斥性也称作原子性

可见性：必须保证锁在释放之前，对共享变量所作的修改，对于随后获得该锁的另一个线程是可见的，否则另一个线程可能是在本地缓存的副本上继续操作，从而引起不一致。

原理

对象在内存中的布局

对象头

Mark Word

Monitor:每个java对象天生自带一把看不见的锁(Monitor锁或者内部锁)

synchronized在同步代码块和同步方法上使用原理

synchronized(this){  System.out.println("Hello")}

查看字节码对象发现

使用的是monitorenter(进入同步代码块)和monitorexit(退出同步代码块)

进入的时候 技术器count为0线程就可以使用该对象。并把计数器设置为1，标识持有该锁，所以java中对象自带锁标识。

monitorexit退出时会释放该锁把计数器设置为0.

// synchronized添加到方法上时public synchronized void syncTask(){  System.out.println("Hello")}

字节码对象中 锁使用的是ACC_SYNCHRONIZED (是否是同步方法)

进入和退出时逻辑和代码块一致。

synchronized的四种状态

无锁，偏向锁，轻量级锁，重量级锁

偏向锁：减少同一线程获取锁的代价。

核心思想：如果一个线程获得了锁，那么锁就进入偏向锁模式，此时Mark Word的结构也变为偏向锁结构，当该线程再次请求锁时，无需在做任何同步操作，即可获得锁，只需要检查Mark Word的锁标记为为偏向锁以及当前ID等与Mark Word的ThreadID即可，这样省去了大量有关锁的申请操作。

轻量级锁：轻量级锁由偏向锁升级来的，偏向锁运行在一个线程进入同步块的情况，当第二个线程加入锁征用的时候偏向锁就升级为轻量级锁。

适用场景：线程交替执行同步块

若存在同一时间访问同一锁的情况，就会导致轻量级锁膨胀为重量级锁

锁的内存语义：当线程释放锁时，java内存模型会把该线程对应的本地内存的共享变量刷新到主内存中，而当线程获得锁时，java内存模型会把该线程对应的本地内存置为无效，从而使得被监视器保护的临界区代码必须从主内存中获取共享变量。