讲一讲Redis分布式锁的实现?

雨点打透心脏的1/2处 2023-10-12 18:04 103阅读 0赞

Redis分布式锁最简单的实现

要实现分布式锁,确实需要使用具备互斥性的Redis操作。其中一种常用的方式是使用SETNX命令,该命令表示”SET if Not Exists”,即只有在key不存在时才设置其值,否则不进行任何操作。通过这种方式,两个客户端进程可以执行SETNX命令来实现互斥,从而达到分布式锁的目的。

下面是一个示例:

客户端1申请加锁,加锁成功:

  1. SETNX lock_key 1

客户端2申请加锁,由于它处于较晚的时间,加锁失败:

  1. SETNX lock_key 1

通过这种方式,您可以使用Redis的互斥性来实现简单的分布式锁机制。

image.png

对于加锁成功的客户端,可以执行对共享资源的操作,比如修改MySQL的某一行数据或调用API请求。

操作完成后,需要及时释放锁,以便后续的请求能够访问共享资源。释放锁非常简单,只需使用DEL命令来删除相应的锁键(key)即可。

下面是释放锁的示例逻辑:

  1. DEL lock_key

通过执行以上DEL命令,成功释放锁,以让后续的请求能够获得锁并执行操作共享资源的逻辑。

这样,通过使用SETNX命令进行加锁,然后使用DEL命令释放锁,您就可以实现基本的分布式锁机制。

image.png

但是,它存在一个很大的问题,当客户端 1 拿到锁后,如果发生下面的场景,就会造成「死锁」:

1、程序处理业务逻辑异常,没有及时释放锁。

2、进程崩溃或意外停止,无法释放锁。

在这种情况下,客户端将永远占用该锁,其他客户端将无法获取该锁。如何解决这个问题呢?

如何避免死锁?

当考虑在申请锁时为其设置一个「租期」时,可以在Redis中通过设置「过期时间」来实现。假设我们假设操作共享资源的时间不会超过10秒,在加锁时,可以给该key设置一个10秒的过期时间即可。这样做可以确保在申请锁后的一段时间内,如果锁的持有者在该时间内没有更新锁的过期时间,锁将会自动过期,从而防止锁被永久占用

  1. SETNX lock 1 // 加锁
  2. EXPIRE lock 10 // 10s后自动过期

image.png

这样一来,无论客户端是否异常,这个锁都可以在 10s 后被「自动释放」,其它客户端依旧可以拿到锁。

但现在还是有问题:

当前的操作是将加锁和设置过期时间作为两个独立的命令执行,存在一个问题,即可能只执行了第一条命令而第二条命令却未能及时执行,从而导致问题。例如:

  • SETNX 命令执行成功后,由于网络问题导致 EXPIRE 命令执行失败。
  • SETNX 命令执行成功后,Redis 异常宕机,导致 EXPIRE 命令没有机会执行。
  • SETNX 命令执行成功后,客户端异常崩溃,同样导致 EXPIRE 命令没有机会执行。

总之,这两条命令不能保证是原子操作(一起成功),就有潜在的风险导致过期时间设置失败,依旧发生「死锁」问题。

幸运的是,在 Redis 2.6.12 版本之后,Redis 扩展了 SET 命令的参数。用这一条命令就可以了:

  1. SET lock 1 EX 10 NX

image.png

锁被别人释放怎么办?

上面的命令执行时,每个客户端在释放锁时,并没有进行严格的验证,存在释放别人锁的潜在风险。为了解决这个问题,可以在加锁时为每个客户端设置一个唯一的标识符(unique identifier),并在解锁时对比标识符来验证是否有权释放锁。

例如,可以是自己的线程 ID,也可以是一个 UUID(随机且唯一),这里我们以UUID 举例:

  1. SET lock $uuid EX 20 NX

之后,在释放锁时,要先判断这把锁是否还归自己持有,伪代码可以这么写:

  1. if redis.get("lock") == $uuid:
  2. redis.del("lock")

这里释放锁使用的是 GET + DEL 两条命令,这时,又会遇到我们前面讲的原子性问题了。这里可以使用lua脚本来解决。

安全释放锁的 Lua 脚本如下:

  1. if redis.call("GET",KEYS[1]) == ARGV[1]
  2. then
  3. return redis.call("DEL",KEYS[1])
  4. else
  5. return 0
  6. end

好了,这样一路优化,整个的加锁、解锁的流程就更「严谨」了。

这里我们先小结一下,基于 Redis 实现的分布式锁,一个严谨的的流程如下:

1、加锁

  1. SET lock_key $unique_id EX $expire_time NX

2、操作共享资源

3、释放锁:Lua 脚本,先 GET 判断锁是否归属自己,再DEL 释放锁

go代码实现分布式锁

  1. package main
  2. import (
  3. "context"
  4. "fmt"
  5. "sync"
  6. "time"
  7. "github.com/go-redis/redis/v8"
  8. "github.com/google/uuid"
  9. )
  10. const (
  11. LockTime = 5 * time.Second
  12. RS_DISTLOCK_NS = "tdln:"
  13. RELEASE_LOCK_LUA = `
  14. if redis.call('get',KEYS[1])==ARGV[1] then
  15. return redis.call('del', KEYS[1])
  16. else
  17. return 0
  18. end
  19. `
  20. )
  21. type RedisDistLock struct {
  22. id string
  23. lockName string
  24. redisClient *redis.Client
  25. m sync.Mutex
  26. }
  27. func NewRedisDistLock(redisClient *redis.Client, lockName string) *RedisDistLock {
  28. return &RedisDistLock{
  29. lockName: lockName,
  30. redisClient: redisClient,
  31. }
  32. }
  33. func (this *RedisDistLock) Lock() {
  34. for !this.TryLock() {
  35. time.Sleep(100 * time.Millisecond)
  36. }
  37. }
  38. func (this *RedisDistLock) TryLock() bool {
  39. if this.id != "" {
  40. // 处于加锁中
  41. return false
  42. }
  43. this.m.Lock()
  44. defer this.m.Unlock()
  45. if this.id != "" {
  46. // 处于加锁中
  47. return false
  48. }
  49. ctx := context.Background()
  50. id := uuid.New().String()
  51. reply := this.redisClient.SetNX(ctx, RS_DISTLOCK_NS+this.lockName, id, LockTime)
  52. if reply.Err() == nil && reply.Val() {
  53. this.id = id
  54. return true
  55. }
  56. return false
  57. }
  58. func (this *RedisDistLock) Unlock() {
  59. if this.id == "" {
  60. // 未加锁
  61. panic("解锁失败,因为未加锁")
  62. }
  63. this.m.Lock()
  64. defer this.m.Unlock()
  65. if this.id == "" {
  66. // 未加锁
  67. panic("解锁失败,因为未加锁")
  68. }
  69. ctx := context.Background()
  70. reply := this.redisClient.Eval(ctx, RELEASE_LOCK_LUA, []string{RS_DISTLOCK_NS + this.lockName}, this.id)
  71. if reply.Err() != nil {
  72. panic("释放锁失败!")
  73. } else {
  74. this.id = ""
  75. }
  76. }
  77. func main() {
  78. client := redis.NewClient(&redis.Options{
  79. Addr: "172.16.11.111:64495",
  80. })
  81. const LOCKNAME = "百家号:福大大架构师每日一题"
  82. lock := NewRedisDistLock(client, LOCKNAME)
  83. lock.Lock()
  84. fmt.Println("加锁main")
  85. ch := make(chan struct{})
  86. go func() {
  87. lock := NewRedisDistLock(client, LOCKNAME)
  88. lock.Lock()
  89. fmt.Println("加锁go程")
  90. lock.Unlock()
  91. fmt.Println("解锁go程")
  92. ch <- struct{}{}
  93. }()
  94. time.Sleep(time.Second * 2)
  95. lock.Unlock()
  96. fmt.Println("解锁main")
  97. <-ch
  98. }

在这里插入图片描述

锁过期时间不好评估怎么办?

image.png

看上面这张图,加入key的失效时间是10s,但是客户端C在拿到分布式锁之后,然后业务逻辑执行超过10s,那么问题来了,在客户端C释放锁之前,其实这把锁已经失效了,那么客户端A和客户端B都可以去拿锁,这样就已经失去了分布式锁的功能了!!!

比较简单的妥协方案是,尽量「冗余」过期时间,降低锁提前过期的概率,但是这个并不能完美解决问题,那怎么办呢?

分布式锁加入看门狗

在加锁过程中,可以设置一个过期时间,并启动一个守护线程(也称为「看门狗」线程),定时检测锁的剩余有效时间。如果锁即将过期,但共享资源操作尚未完成,守护线程可以自动对锁进行续期,重新设置过期时间。

为什么要使用守护线程:

image.png

go中的红锁

  1. package main
  2. import (
  3. "fmt"
  4. "time"
  5. "github.com/go-redis/redis/v8"
  6. "github.com/go-redsync/redsync/v4"
  7. "github.com/go-redsync/redsync/v4/redis/goredis/v8"
  8. )
  9. func main() {
  10. client := redis.NewClient(&redis.Options{
  11. Addr: "172.16.11.111:64495",
  12. Password: "", // 如果有密码,请提供密码
  13. DB: 0, // 如果使用不同的数据库,请修改为准确的数据库编号
  14. })
  15. pool := goredis.NewPool(client)
  16. const LOCKNAME = "百家号:福大大架构师每日一题"
  17. redsync := redsync.New(pool)
  18. mutex := redsync.NewMutex(LOCKNAME)
  19. if err := mutex.Lock(); err != nil {
  20. fmt.Println("加锁失败:", err)
  21. return
  22. }
  23. fmt.Println("加锁main")
  24. ch := make(chan struct{})
  25. go func() {
  26. mutex := redsync.NewMutex(LOCKNAME)
  27. if err := mutex.Lock(); err != nil {
  28. fmt.Println("加锁失败:", err)
  29. return
  30. }
  31. fmt.Println("加锁go程")
  32. mutex.Unlock()
  33. fmt.Println("解锁go程")
  34. ch <- struct{}{}
  35. }()
  36. time.Sleep(time.Second * 2)
  37. mutex.Unlock()
  38. fmt.Println("解锁main")
  39. <-ch
  40. }

在这里插入图片描述

发表评论

表情:
评论列表 (有 0 条评论,103人围观)

还没有评论,来说两句吧...

相关阅读

    相关 HashMap实现原理。

    嗯好的,我先说一下`为什么要用HashMap,它解决了什么问题?` 如果我们在一个元素顺序无序的数组中查找指定元素的话,我们需要从0下标开始依次遍历数组元素进行匹配,直到找到

    相关 分布式redis复习精

    引言 为什么写这篇文章? 博主的[《分布式之消息队列复习精讲》][Link 1]得到了大家的好评,内心诚惶诚恐,想着再出一篇关于复习精讲的文章。但是还是要说明一下,