前言

看门狗机制是在 RedissonBaseLock#scheduleExpirationRenewal 方法中，这块公平锁和非公平锁并无区别。
前文已经了解到，公平锁加锁失败之后，会将当前放到等待队列中，通过 Java 代码中的循环不断尝试获得锁。

锁释放

主动释放

源码：RedissonFairLock#unlockInnerAsync

  1. KEYS[1]：加锁的名字，anyLock；
  2. KEYS[2]：加锁等待队列，redisson_lock_queue:{anyLock}；
  3. KEYS[3]：等待队列中线程锁时间的 set 集合，redisson_lock_timeout:{anyLock}，是按照锁的时间戳存放到集合中的；
  4. KEYS[4]：redisson_lock__channel:{anyLock}；
  5. ARGV[1]：LockPubSub.UNLOCK_MESSAGE；
  6. ARGV[2]：锁超时时间 30000；
  7. ARGV[3]：UUID:ThreadId 组合 58f6c4a2-9908-4957-b229-283a45359c4b:47；
  8. ARGV[4]：currentTime 当前时间戳。

7-公平锁释放 - 图1
这块逻辑突出部分已经标出，重点就是释放锁。

  1. 锁在队列中，超时了则直接从队列中移除；
  2. 锁减少重入次数，减少后，如果重入次数大于 0，重置超时时间，如果不大于 0，则直接移除锁。

这样的话后续就其他线程从等待队列中开始获得锁。

超时删除

7-公平锁释放 - 图2
在加锁和释放锁的 lua 脚本中，第一段永远是一个 while true do xxx，作用就是用来移除队列中超时的锁。
而持锁线程的释放，则和非公平锁没有任何区别，当锁超时或者服务宕机，锁就会被自动释放。（这个是指 anyLock）。

总结

公平锁的释放同样分为主动释放和超时释放。

  1. 主动释放，即自己调用释放锁。
  2. 超时删除，则分为两种，一种是持锁线程超时删除，这种和非公平锁没有任何区别，因为这个锁也是含有超时时间+看门狗续租的。另一种则是等待队列中的超时删除，是在每次获取锁之前，判断第一个等待线程的时间戳是否超时，从而移除锁。

    相关推荐