【多线程】synchronized的特性

超、凢脫俗 2024-04-22 05:45 3阅读 0赞

#### 文章目录 ####

*  synchronized 的特性
 *   *  互斥
     *  可重入
     *  synchronized的使用
     *  加锁过程

## synchronized 的特性 ##

### 互斥 ###

synchronized 会起到互斥效果，某个线程执行到某个对象的 synchronized 中时，其他线程如果也执行到同一个对象 synchronized 就会阻塞等待。进入 synchronized 修饰的代码块，相当于 加锁。退出 synchronized 修饰的代码块，相当于 解锁。synchronized用的锁是存在Java对象头里的。synchronized的底层是使用操作系统的mutex lock实现的。

### 可重入 ###

synchronized 同步块对同一条线程来说是可重入的，不会出现死锁。可重入就是一个线程对同一把锁连续加锁两次不会出现死锁。

我们来看下面的代码👇👇👇

static class Counter {
        
    	public int count = 0;
    	synchronized void increase() {
        
    		count++;
    	}
    	synchronized void increase2() {
        
    		increase();
    	}
    }

increase 和 increase2 两个方法都加了 synchronized, 此处的 synchronized 都是针对 this 当前对象加锁的。在调用 increase2 的时候, 先加了一次锁, 执行到 increase 的时候, 又加了一次锁. (上个锁还没释放, 相当于连续加两次锁)，因为synchronized是可重入锁，所以上面的代码不会出现死锁问题。

> 在可重入锁的内部，包含了 “线程持有者” 和 “计数器” 两个信息。如果某个线程加锁的时候，发现锁已经被人占用，但是恰好占用的正是自己，那么仍然可以继续获取到锁，并让计数器自增。解锁的时候计数器递减为 0 的时候，才真正释放锁。 (才能被别的线程获取到)

### synchronized的使用 ###

直接修饰普通方法：锁的 SynchronizedDemo 对象

public class SynchronizedDemo {
        
    	public synchronized void fun() {
        
            //......
    	}
    }

修饰静态方法：锁的 SynchronizedDemo 对象

public class SynchronizedDemo {
        
    	public synchronized static void fun() {
        
            //......
    	}
    }

修饰代码块：明确指定锁哪个对象

public class SynchronizedDemo {
        
    	public void method() {
        
            //锁的是当前对象
    		synchronized (this) {
        
                //......
    		}
    	}
    }

public class SynchronizedDemo {
        
    	public void method() {
        
            //锁的是类对象
    		synchronized (SynchronizedDemo.class) {
        
                //......
    		}
    	}
    }

### 加锁过程 ###

JVM将synchronized锁分为：无锁、偏向锁、轻量级锁、重量级锁四种状态。会根据情况，进行依次升级。  
![在这里插入图片描述][6aed395ed1e64d6d8aaeb782e9952af3.png]

1.偏向锁

第一个尝试加锁的线程，优先进入偏向锁状态。

> 偏向锁不是真的加锁，只是在对象头中做一个偏向锁的标记，记录这个锁属于哪个线程，后续如果没有所来竞争就不进行同步操作，避免了加解锁的开销。如果有其他线程来竞争就会取消偏向锁状态，进入轻量级锁的状态。偏向锁的本质是延迟加锁，能不加锁就不加锁，避免不必要的加解锁开销。但是标记还是要做，不然就无法区分何时需要正真需要加锁。

2.轻量级锁

> 随着其他线程的竞争，偏向锁状态消除，进入轻量级锁状态（自适应的自旋锁）此处的轻量级锁通过CAS来实现的
> 
> 通过CAS检查并更新一块内存（比如null=>该线程被调用），如果更新成功则认为加锁成功，如果更新失败，则认为该锁被占用，继续自旋式等待。（自旋锁是一直让CPU空转，比较浪费CPU资源，因此这里的自旋不会一直进行，而是达到一定次数或时间就会停止自旋，这也就是“自适应”）

3.重量级锁

如果锁竞争进一步激烈，自旋锁就不能快速获取锁的状态了，进而就会升级为重量级锁（此处的重量级锁就是用到内核提供的mutex）

> 执行加锁操作，先进入内核态，在内核态判断当前锁是否已经被占用，如果该锁没有被占用，则加锁成功，并切换回用户态。如果该所被占用，则加锁失败，此时线程进入锁的等待队列，挂起，等待被操作系统唤醒。

总结：

> 1.synchronized可以保证内存可见性
> 
> 2.synchronized初始使用乐观锁策略。 当发现锁竞争比较频繁的时候，就会自动切换成悲观锁策略。
> 
> 3.synchronized不是读写锁
> 
> 4.synchronized开始是一个轻量级锁，如果锁冲突比较严重，就会变成重量级锁。
> 
> 5.synchronized中的轻量级锁策略大概率就是通过自旋锁的方式实现的。
> 
> 6.synchronized是非公平锁。
> 
> 7.synchronized是可重入锁。

[6aed395ed1e64d6d8aaeb782e9952af3.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/22/167e96f58c9a43eca681c4a819703f95.png