在Java中,锁的种类虽然多种多样,但其本质都是 synchronized 及 Lock 接口的实现类。
关于synchronized和Lock的区别:
1. synchronized是java的关键字,在jvm层面对对象进行加锁。Lock是JUC并发包中的工具类。
2. 关于释放锁:持有synchronized锁的线程在执行完同步代码之后,会自动释放掉锁,以及出现异常之后,jvm会释放掉锁。必须手动通过 unLock() 释放锁,不然容易造成死锁。
3. 两者都为可重入锁,synchronized为非公平锁,Lock的实现类ReentrantLock可设置为公平锁。
synchronized实现多线程同步的几种方式:
1. synchronized修饰方法,锁住的是调用方法的对象。
2. synchronized修饰静态方法,锁住的是整个类的操作。
3. synchronized锁代码块,锁住的是synchronized括号中调用代码块的对象。
synchronized(this){
...
}
synchronized的底层原理:
每个对象有一个监视器锁(monitor)。
当monitor被占用时就会处于锁定状态,线程执行monitorenter指令时尝试获取monitor的所有权。
1、如果monitor的进入数为0,则该线程进入monitor,然后将进入数设置为1,该线程即为monitor的所有者。
2、如果线程已经占有该monitor,只是重新进入,则进入monitor的进入数加1。
3、如果其他线程已经占用了monitor,则该线程进入阻塞状态,直到monitor的进入数为0,再重新尝试获取monitor的所有权。
释放锁时,线程通过monitorexit指令来释放monitor:
执行monitorexit的线程必须是monitor的所有者。
指令执行时,monitor的进入数减1,如果减1后进入数为0,线程会退出monitor,不再是这个monitor的所有者。其他被这个monitor阻塞的线程可以尝试去获取这个 monitor 的所有权。
公平锁/非公平锁
多个线程是否按照申请锁的顺序来获取锁,如果是,则为公平锁。
ReentrantLock:可通过构造函数来设置公平锁。
synchronized:默认非公平锁,不能设置。
非公平锁的性能优于公平锁,因为公平锁遵循FIFO机制,会带来大量线程上下文的切换。
而非公平锁在被某个线程释放后,可能会被这个线程再次获取到,可能会造成其他线程“饥饿”,但极少的线程切换,保证了更高的吞吐量。
可重入锁
如果一个线程拥有锁,那这个线程可以再次获得锁,即可重入。
可重入锁的意义就在于,一个线程已经获得了某个锁,再次获得这个锁而不会出现死锁。
synchronized和ReentrantLock都为可重入锁。需要注意的是,ReentrantLock需要手动加锁,而且加锁和解锁的次数需一致。
独享锁/共享锁
也可以说是互斥锁/共享锁。
独享锁是指该锁在同一时间只能被一个线程占有。
synchronized 是独享锁,在Lock的实现类中,ReentrantLock是独享锁,ReadWriteLock中,其读锁是共享锁,写锁是独享锁。
乐观锁/悲观锁
悲观锁:“悲观地”以为数据在并发操作中一定存在线程安全问题,所以通过加各种锁来保证数据的线程安全。
乐观锁是一种机制,没有具体的锁实例。在Java中,乐观锁的代表性机制便是CAS机制,不需显示加锁,而是假设没有冲突去完成某项操作,如果因为冲突失败就重试,直到成功为止。通过不断地自旋完成对数据的更新。
CAS 即 compare and swap,比较和交换。
CAS机制中有3个基本操作数:内存地址,旧值,新值。
先将变量的旧值在内存地址中暂存一份,修改时会检查该变量的值是否与内存地址中的值相等,若不是,则说明该变量被其他线程修改过,便通过自旋重新开始“比较和交换”。
自旋锁
获取不到锁的线程不会阻塞,而是会通过自旋的方式一直去尝试获取锁,可通过CAS操作来实现。
好处是能够避免线程上下文切换带来的损耗,但线程增多时,大量的线程自旋会占用大量的CPU资源。
可通过JVM设置synchronized锁住对象的参数,来实现自旋锁。
偏向锁/轻量级锁/重量级锁:
这三种锁是针对synchronized,指的是锁的状态,这三种状态是通过对象头中的Mark Word字段来表明的。
偏向锁:锁会偏向于第一次获得锁的线程。
核心思想:一个线程请求获取锁,会检查锁的Mark Word是否为可偏向状态。如果锁是偏向锁,获取锁时会检查偏向锁指向的线程是否是当前线程,如果是,则直接获取锁,如果不是,会通过CAS获取锁。如果获取不到锁,说明存在锁竞争,偏向锁会失效,升级为轻量级锁。
优点:执行同步代码块或同步方法时,加锁和解锁不需要CAS操作,没有额外的性能消耗,与执行非同步方法的速度类似。
使用场景:多线程时,同一时间只有一个线程访问同步代码块或同步方法的场景,即同一时间不存在锁的竞争。
轻量级锁:存在锁竞争时,线程通过CAS操作获取锁。
核心思想:竞争锁的线程不会阻塞,而是会通过CAS不断自旋尝试获取锁。默认自旋次数为10次,轻量级锁会升级为重量级锁。
重量级锁:锁竞争时,抢不到锁的线程会阻塞。
被阻塞的线程不会消耗cpu资源,但是线程的阻塞和唤醒,都需要操作系统的帮忙,实现用户态和内核态的转换,
用户态和内核态:
Linux操作系统中主要采用了0和3两个特权级,分别对应的就是内核态与用户态。