redisson分布式锁实现原理
本人小白一个，不能保证博客中内容都准确，如果博客中有错误的地方，望各位多多指教，请指正。欢迎找我一起讨论
分布式锁知识总结
为什么要用分布式锁？
在单体架构中，我们可以通过sychronized来保证并发安全，但是在分布式架构中，sychronized没用，sychronized只能保证一个进程（JVM）中的线程安全，无法跨进程
分布式锁的执行流程
分布式锁的实现方式
1、redis实现分布式锁
最简单的redis实现就是通过 redis的setnx（set if not exists）命令来实现
RedisTemplate对redis进行了封装，使用redistemplate就能实现 redis的setnx（set if not exists）命令
bool result = stringRedisTemplate.opsForValue().setIfAbsent( "key","value" )； // setIfAbsent方法就相当于 setnx命令
setIfAbsent方法 返回 true 说明key不存在，插入数据成功
setIfAbsent方法 返回 true 说明key已经存在了，插入数据失败
大概的代码逻辑就是
bool result = stringRedisTemplate.opsForValue().setIfAbsent( "key","value" )； // 设置key（相当于竞争锁 ）
if(!result){
return "key已经存在";
}
执行业务逻辑代码（比如扣库存）
stringRedisTemplate.delete("key"); // 删除key （相当于释放锁）
想想这里面可能出现的问题：
1、线程在运行业务代码的时候出现异常，那么此时就无法释放锁，就会形成死锁。怎么办？ =====》try finally ，在finally中执行delete操作
2、线程在执行业务代码的时候，服务器宕机了，此时也无法释放锁，也会形成死锁。怎么办？ =====》 给 锁的key设置一个timeout
int timeout = 10;
stringRedisTemplate.expire("key",timeout ,TimeUnit.SECONDS);
3、此时加锁与设置timeout之间是有时间损耗的，也就是说如果线程在加完锁正准备设置timeout时，此时服务宕机了，timeout就设置不了，就跟上面情况类似了，也会产生死锁，怎么办？ ================》 保证 加锁与设置timeout 的原子性 （ RedisTemplate 提供了一个重载的setIfAbsent方法来保证原则性，此方法底层就是使用了lua脚本）
redis会将lua脚本中所有的命令当作一个原子操作执行
int timeout = 10;
// bool result = stringRedisTemplate.opsForValue().setIfAbsent( "key","value" )；
// stringRedisTemplate.expire("key",timeout ,TimeUnit.SECONDS);
bool result = stringRedisTemplate.opsForValue().setIfAbsent( "key","value" ,timeout ,TimeUnit.SECONDS)； // 这行代码就相当于把上面两行代码进行了原子性操作
4、线程 1 还没执行完业务代码，此时锁timeout了，redis把线程1 加的锁删了 ，此时线程 2 过来了加了锁，然后执行业务代码，注意！ 此时线程 1 和线程 2 可能同时操作共享资源 ，然后线程1 此时执行完了删锁，注意！ 此时线程 1 删除的锁是线程 2 加的锁，然后此时线程 3过来了加了锁，然后执行业务代码 ，注意！ 此时线程 2 和线程 3可能同时操作共享资源，然后线程2 此时执行完了删锁，注意！ 此时线程2 删除的锁是线程 3 加的锁，......往复循环 ，导致锁永久失效。
怎么办？=====》给自己加的锁 加一个标识，这个标识只有自己知道，此时锁就只能自己释放，别人就释放不了了
5、线程 1 还没执行完业务代码，此时锁timeout了，redis把线程1 加的锁删了 ，此时线程 2 过来了加了锁，然后执行业务代码，注意！ 此时线程 1 和线程 2 可能同时操作共享资源 ，然后线程1 此时执行完了业务代码之后删锁，哦吼，我的锁怎么没了，然后就报错了。怎么办？
======》加大timeout的值
=======》但是有个问题，timeout越大 ====== 》 服务宕机之后，死锁时间越长 =======》其他线程等待的时间越长 ======》用户的脾气越大。 怎么办？
======》开启一个异步线程，开启一个定时任务，每个 1/3 timeout扫描一次，看看当前锁的key 还在不在，当前线程还在不在，是不是死（宕机 ）了，然后线程还在，锁的key也还在，那么就给锁续命，重新设置锁的key 的 timeout ，只要线程没执行完就给锁的key续命，知道线程执行完自动删除锁的key（释放锁）
此时就不得不介绍一个神奇的框架了 ！！！！redisson框架
redisson框架 ---- 一个 redis java client
redisson框架 中解决了上面，底层就是用的setnx ，lua脚本保证原子性，锁的key默认timeout 30s ，其他线程自旋 ， 用timerTask 定时任务 默认 每隔 1/3 timeout 续命一次。
redisson分布式锁实现原理：
redisson框架 使用如下：
6、如果redis用了集群（一主多从），线程 1 的锁的key刚把锁的key存入redis中， redis的master 主节点挂了，锁的key还没同步到slave从节点，然后此时slave从节点升为 master主节点，但是此时这个新的master主节点中没有线程 1 的锁的key ，但是此时线程 1 还在执行业务代码，然后才是 线程 2 来了，由于此时新的master主节点上没有锁的key，所以线程2申请锁成功，然后此时线程 1 和 线程 2 就可能同时访问并使用共享资源 。 此时就有问题了呀！ 怎么办？
=======》①用zookeeper 有延时 ，要同步半数以上的follower才能加锁成功，所以此时不用担心leader挂了，follower中没有锁的key ②人工补偿 ③redis自己解决 用redlock
redlock 实现原理
大概就是搞多个对等的redis节点，节点之间没有依赖（主从依赖），通过 setnx命令 加锁 ，同时发给每个redis节点，发送的这些节点中要有半数以上的redis节点加锁成功，才算认为线程拿到了锁，才继续往下执行业务。（原理跟zookeeper类似 ， 牺牲了性能，如果没超过半数，涉及到锁回滚问题）
7、高并发性下请求到了redis，但是redis是单线程工作模式，在redis中就也不是并发执行，而是串行执行，影响性能。怎么办？
====》 用库存举例， 将库存分段存储，分段加锁=======》把每段的锁的key放到redis集群中，把不同锁的key放到不同的redis master主节点上
一个段的库存不够减怎么办？去减下面段的，合并几个段一起扣减。
2、zookeeper实现分布式锁
由于zookeeper上面的临时节点是唯一的，只会创建一个，而锁也只有一把，所以它能代表这个锁，多个客户端去抢这个锁，也就是去zookeeper上面创建临时节点，看谁创建的快，谁第一个创建了这个临时节点谁就获取到了锁。
此时clientA第一个成功创建了临时节点，就代表clientA已经获取到了锁，其他client再去创建这个临时节点，发现这个节点已经存在了，他们就不能去创建了，就都阻塞了，他们一直监听这个节点的变化，也就是在监听这个锁的变化（通过zookeeper Watch功能）
clientA完成了它的业务操作 ，结束了与zookeeper的会话 临时节点被自动删除，就代表释放了锁，此时其他client监听到了临时节点被删除了（锁释放了），就都会去竞争锁，也就是去创建临时节点。
同一时间有多个客户端在竞争锁
======》上面这个实现方式有什么问题呢 ？想想如果上千个client去监听这个临时节点的变化，一旦这个临时节点变化了，然后此时就是上千个client去竞争这个锁（羊群效应 / 惊群效应），这对于zookeeper的压力是非常大的，所以这个方案不可行。那怎么办呢？
======》使用临时顺序节点 + 监听
使用临时顺序节点创建出来的节点都是有序的，只有最小的节点能拿到锁，其他的节点监听比它小的前一个节点。
获取锁大概流程： 每个client 分别 创建临时顺序节点，然后谁的节点最小就谁能拿到锁，其他节点就监听比自己小的前一个节点
比如下图：A B C D分别创建节点，A最先创建，所以它的节点编号最小，所以它能获取锁，然后B监听A，C监听B，D监听C
释放锁大概流程：clientA 执行完自己的业务之后结束了与zookeeper的会话，会话一结束，节点会自动删除（释放了锁），同时clientB监听到了clientA的这个节点被删除后，会去判断自己的节点是不是最小的节点，如果是最小的就获取锁，如果不是就继续监听等待，不做任务处理，clientA节点删除只对clientB有影响，对后面的 C D 等节点没有影响，因为C只监听B，B是没有变化的，所以C不会受到影响，不会变，D只监听C，C没有变，D也不会有影响，也不会变.......就解决的羊群（惊群）效应。
同一时间只有一个客户端在竞争锁
大概流程： 自己看图 ， 直接通过 curator框架就可以实现， curator已经将这些问题解决了，封装好了，直接用就行。
3、数据库实现分布式锁
基于数据库表（主要原理：数据库的主键不能重复，作为分布式锁的实现）
0、首先先创建一个tb_lock表，用于记录当前哪个线程正在使用数据，表里就一个 业务ID 或者业务名称 字段 （唯一主键），当作锁
1、当线程要访问数据时，会先将要执行的业务的业务id或者业务名称 ，insert插入tb_lock表中
2、当插入成功，代表该线程获得了锁，即可执行业务逻辑
3、当其他线程在执行相同业务的时候也会先将要执行业务的 业务id或者业务名称 插入tb_lock表中，由于主键冲突，此时会导致插入失败，就代表获取锁失败
4、获取锁成功的线程在执行完业务代码后，在删除tb_lock表中删除对应业务的 业务id或者业务名称 ，代表释放锁
想想这样实现会出现问题吗？
1、一旦数据库挂掉，会导致业务系统不可用。
====》用两个数据库，一主一从，数据之前双向同步。一旦挂掉快速切换到备库上。
2、这把锁没有失效时间，一旦解锁操作失败，就会导致锁记录一直在数据库中，其他线程无法再获得到锁。
====》做一个异步定时任务，每隔一定时间把数据库中的超时数据清理一遍。
3、这把锁只能是非阻塞的，因为数据的insert操作，一旦插入失败就会直接报错。没有获得锁的线程并不会进入排队队列，要想再次获得锁就要再次触发获得锁操作。
====》用while循环，直到insert成功再返回成功。
4、这把锁是非重入的，同一个线程在没有释放锁之前无法再次获得该锁。因为数据中数据已经存在了。
====》在数据库表中加个字段，记录当前获得锁的机器的主机信息和线程信息，那么下次再获取锁的时候先查询数据库，如果当前机器的主机信息和线程信息在数据库可以查到的话，直接把锁分配给他就可以了。
基于数据库表的排它锁实现（基于MySql的InnoDB引擎）
1、在执行业务逻辑之前，先通过一个带有for update 的查询语句 拿到排它锁
select * from table where productId = 1 for update
行锁 ： 当前连接要执行的带有 for update 的SQL语句以后，指定了主键查询，代表当前连接锁定了这条数据（productId = 1）
select * from table for update
表锁：当前连接执行带有for update的SQL语句以后，没有指定主键查询，那么会将表进行锁定，只有当前连接可以对这张表进行操作
2、获得排它锁的线程即可获得分布式锁，执行业务逻辑
3、执行完业务逻辑之后，再通过JDBC的connection.commit() 方法来释放锁
想想这样实现会出现问题吗？
1、一旦数据库挂掉，会导致业务系统不可用。
====》使用这种方式，此问题不会发生，服务宕机之后数据库会自己把锁释放掉。
2、这把锁没有失效时间，一旦解锁操作失败，就会导致锁记录一直在数据库中，其他线程无法再获得到锁。
====》做一个异步定时任务，每隔一定时间把数据库中的超时数据清理一遍。
3、这把锁只能是非阻塞的，因为数据的insert操作，一旦插入失败就会直接报错。没有获得锁的线程并不会进入排队队列，要想再次获得锁就要再次触发获得锁操作。
====》使用这种方式，此问题不会发生，for update语句会在执行成功后立即返回，在执行失败时一直处于阻塞状态，直到成功。
4、这把锁是非重入的，同一个线程在没有释放锁之前无法再次获得该锁。因为数据中数据已经存在了。
====》在数据库表中加个字段，记录当前获得锁的机器的主机信息和线程信息，那么下次再获取锁的时候先查询数据库，如果当前机器的主机信息和线程信息在数据库可以查到的话，直接把锁分配给他就可以了。
本文地址：https://blog.csdn.net/qq_36743888/article/details/112486814
上一篇： JSP实践要点