今天跟着blog整理一下几种锁,比如说 乐观锁和悲观锁,可重入锁和不可重入锁,自旋锁…

乐观锁和悲观锁

悲观锁:
总是假设最坏的情况,每次去拿数据的时候总是会假设自己在修改数据的时候别人也会修改数据,所以在每次获取数据的时候都会上锁。传统的关系型数据库就会用到锁机制,比如行锁、表锁、读锁、写锁等等。Java中 ​​​synchronized​​​ 和 ​​ReentrantLock​​ 等独占所就是悲观锁的思想。

乐观锁:
总是假设最好的情况,自己在获取数据的时候总是假设不会有人来修改数据,所以不会上锁,但是在更新的时候会判断此期间有没有人去修改数据,可以使用版本号机制和CAS算法实现,乐观锁适用于多读的引用类型,这样可以提高吞吐量,而Java中的java.util.concurrent.atomic包下面的原子变量类就是使用了乐观锁的一种实现方式​​CAS​​实现的。

两种锁使用的场景

  • 乐观锁适用于写少读多的场景,即冲突会很少,这样可以省去大量开销
  • 悲观锁适用于多写的场景。因为冲突很多的时候乐观锁要不断进行retry,性能大大降低。

乐观锁实现的两种方式

  1. 版本号控制
    一般是在数据表中加上version字段,表示数据被修改的次数,当数据被修改时,version会加1。当线程A要更新数据时,会读取该数据中的version,等到操作完提交更新的时候,若刚才读取到的version值和当前数据库中的version值相等则更新数据库,否则重新更新操作,直到更新成功。
  2. CAS算法
    即compare and swap算法,在不适用锁的情况下实现多线程同步,也就是实现在没有线程被阻塞的情况下实现线程同步。
    CAS算法涉及到的3个操作数:
    (1)需要读写的内存值 V
    (2)预期的值 A
    (3)拟写入的值B
    当且仅当V的值等于A时,CAS采用原子的方式用新值B来更新V的值,否则不会进行任何操作。一般情况下会一直自旋,不断的重试。

乐观锁的缺点

  1. ABA问题
    如果一个变量V初次读取的时候是A,并且在准备赋值的时候检查到它仍是A,那我们能说明这个A值没有被修改过吗?明显是不能的,这段时间它仍然可能是被改成其他值,然后又改回A,这就是ABA问题。
    解决:JDK1.5之后的​​​AtomicStampedReference​​​类就可以解决,其中的​​compareAndSet​​方法就是首先检查当前引用是否等于预期引用,并且当前标识是否等于预期的标识,如果全部相等,则以原子的方式将该引用和该标识的值设置为拟写入的值。
  2. 循环时间开销大
    自旋CAS(就是不成功就一直循环直到成功),如果长时间不成功,则会因为长期占有CPU而带了巨大的开销。
  3. 只能保证一个共享变量的原子操作
    CAS只对单个共享变量有效,当操作涉及到跨多个共享变量时,CAS无效。
    在jdk1.5后通过AtomicReference类可以将多个变量放入到一个对象中集体进行CAS操作。

CAS和synchronized的使用情景
之前有写过synchronized的优化,jdk1.6后synchronized在竞争不是很激烈的情况下用偏向锁和轻量锁,其底层都是基于硬件的CAS实现,而竞争激励时,CAS自旋严重影响CPU性能,所以换成了重量锁。这样追求了吞吐量。

自旋锁

什么是自旋锁

就是线程因为未获取线程而在一直循环等待的状态就是自旋锁状态。

自旋锁机制和互斥锁类似,都是保证了同一个时间只有一个线程能够获取共享变量。

自旋锁存在的问题

  1. 当某个线程占用锁的时间过长,也会导致自旋锁的线程一直在循环等到,消耗CPU。
  2. 自旋锁是不公平,无法满足等待时间最长的线程优先获取锁,会出现“饥饿线程”的问题。

自旋锁的优点

自旋锁不会使线程的状态发生切换,一直处于用户态,线程一直是活跃的,不会进入阻塞状态,减少了上下文的切换,执行速度快。

自旋锁和互斥锁的异同

  • 两者都是保证线程安全资源共享的机制
  • 两者保证只有一个线程能够获得共享变量
  • 获取互斥锁的线程,如果线程已经被占用,则进入睡眠状态,而自旋锁则是一直自旋不会睡眠。

自旋锁不支持重入
即当一个线程第一次已经获取到了该锁,在锁释放之前又一次重新获取该锁,第二次就不能成功获取到。由于不满足CAS,所以第二次获取会进入while循环等待,而如果是可重入锁,第二次也是应该能够成功获取到的。

自旋锁的变种

  1. TicketLock
    TicketLock主要是解决公平性的问题
    可以理解为排队业务,每当一个线程在自旋的时候能拿到一个排队的id号,当一个线程释放了资源后,会根据id号,排队排的越久的优先获取锁,这个排队的id号都放入了线程的Threadlocal中
    多处理器系统上,每个进程/线程占用的处理器都在读写同一个变量serviceNum ,每次读写操作都必须在多个处理器缓存之间进行缓存同步,这会导致繁重的系统总线和内存的流量,大大降低系统整体的性能。下面的CLHLock和MCSLock就是解决这个问题的。
  2. CLHLock
    CLH锁是一种基于链表的可扩展、、高性能、公平的自旋锁。自旋时只在本地变量上进行自旋,不断轮询前驱的状态,如果前驱释放了锁就结束自旋,获得锁。
  3. MCSLock则是对本地变量的节点进行循环

可重入锁和不可重入锁

什么是不可重入锁
如果当前线程执行某个方法时已经获取了该锁,那么在该方法中尝试再次获取锁时,就会获取不到然后被阻塞,我们设计一个不可重入锁:


public class Lock{
private boolean isLocked = false;
public synchronized void lock() throws InterruptedException{
while(isLocked){
wait();
}
isLocked = true;
}
public synchronized void unlock(){
isLocked = false;
notify();
}
}

使用该锁:


public class Count{
Lock lock = new Lock();
public void print(){
lock.lock();
doAdd();
lock.unlock();
}
public void doAdd(){
lock.lock();
//do something
lock.unlock();
}
}

print中先用lock()获取一个锁,在doAdd中再去获取锁,但是这个时候就无法执行doAdd中的逻辑了,因为while中一直让线程阻塞,必须要先释放锁。这个例子很好的说明了不可重入锁。

可重入锁
接下来我们设计一个可重入锁:

public class Lock{
boolean isLocked = false;
Thread lockedBy = null;
int lockedCount = 0;
public synchronized void lock()
throws InterruptedException{
Thread thread = Thread.currentThread();
while(isLocked && lockedBy != thread){
wait();
}
isLocked = true;
lockedCount++;
lockedBy = thread;
}
public synchronized void unlock(){
if(Thread.currentThread() == this.lockedBy){
lockedCount--;
if(lockedCount == 0){
isLocked = false;
notify();
}
}
}
}

我们设计两个线程调用print()方法,第一个线程调用print()方法获取锁,进入lock()方法,由于初始lockedBy是null,所以不会进入while而挂起当前线程,而是是lockedCount自增,并记录lockBy为第一个线程。接着第一个线程进入doAdd()方法,由于同一进程,所以不会进入while而挂起,接着增量lockedCount,当第二个线程尝试lock,由于isLocked=true,所以他不会获取该锁,直到第一个线程调用两次unlock()将lockCount递减为0,才将标记为isLocked设置为false。

这就是可重入锁和不可重入锁的区别,Java中的可重入锁ReentrantLock就是这样的设计思路。