分布式【分布式锁】

一、简介

       满足分布式系统或者集群模式下多进程课件并且互斥的锁。

二、说明

       【可见性】:多个线程都能看到相同的结果,注意:这个地方说的可见性并不是并发编程中指的内存可见 性,只是说多个进程之间都能感知到变化的意思。

        【互斥】:互斥是分布式锁的最基本的条件,使得程序串行执行。

        【高可用】:程序不易崩溃,时时刻刻都保证较高的可用性。

        【高性能】:由于加锁本身就让性能降低,所有对于分布式锁本身需要他就较高的加锁性能和释放锁性能。

        【安全性】:安全也是程序中必不可少的一环。        

         

 三、3种实践

        1、Mysql:mysql本身带有锁机制,但是由于Mysql性能本身一般,所以采用分布式锁的情况下,其实使用Mysql作为分布式锁比较少见。

        2、Redis:redis作为分布式锁是非常常见的一种使用方式,现在企业级开发中基本都是使用Redis或者zookeeper作为分布式锁,利用setnx这个方法,如果插入key成功,则表示获得了锁,如果有人插入成功,其他人插入失败则表示无法获得锁,利用该逻辑来实现的分布式锁。

       3、Zookeeper:Zookepper也是企业级开发中较好的一个实现分布式锁的方案。

           

四、Redis实现分布式锁

       1、获取锁

            a、互斥:确保只能有一个线程获取锁          

                           

                               

                 

              b、非阻塞:尝试一次,成功返回true,失败返回false

       2、释放锁

             a、手动释放              

                  

             b、超时释放:获取锁时添加一个超时时间

      3、核心思路

            利用Rredis的setNX方法,当有多个线程进入时,利用该方法,第一个线程进入时,redis 中就有这个key 了,返回了1,如果结果是1,则表示他抢到了锁,那么他去执行业务,然后再删除锁,退出锁逻辑,没有抢到锁的线程,等待一定时间后重试即可。

                 

       4、实践

             4.1、锁的基本接口                   

               

           4.2、代码示例                  

public interface ILock {
    /**
     * 尝试获取锁
     * @param timeOutSec 锁持有的超时时间,过期后自动释放
     * @return true 代表获取锁成功;false代表获取锁失败
     * */
    boolean tryLock(long timeOutSec);
    /**
     * 释放锁
     * */
    void unlock();
}
public class RedisLock implements ILock {
    /**
     * 锁的前缀
     */
    private static final String KEY_PREFIX = "lock";
    //锁的key,业务的名称
    private String name;

    private StringRedisTemplate stringRedisTemplate;

    public RedisLock(String name, StringRedisTemplate stringRedisTemplate) {
        this.name = name;
        this.stringRedisTemplate = stringRedisTemplate;
    }

    @Override
    public boolean tryLock(long timeOutSec) {
        String threadId = String.valueOf(Thread.currentThread().getId());
        Boolean sucess = stringRedisTemplate.opsForValue().setIfAbsent(KEY_PREFIX + name, threadId, timeOutSec, TimeUnit.SECONDS);
        return Boolean.TRUE.equals(sucess);
    }

    @Override
    public void unlock() {
        //通过del删除锁
        stringRedisTemplate.delete(KEY_PREFIX + name);
    }
}

   修改业务逻辑:

     

    

    @Override
    @Transactional
    public Result seckillVoucher(Long voucherId, Long userId) {
        // 1.查询优惠券
        SeckillVoucher voucher = seckillVoucherService.getById(voucherId);
        // 2.判断秒杀是否开始
        if (voucher.getBeginTime().isAfter(LocalDateTime.now())) {
            // 尚未开始
            return Result.fail("秒杀尚未开始!");
        }
        // 3.判断秒杀是否已经结束
        if (voucher.getEndTime().isBefore(LocalDateTime.now())) {
            // 尚未开始
            return Result.fail("秒杀已经结束!");
        }
        // 4.判断库存是否充足
        if (voucher.getStock() < 1) {
            // 库存不足
            return Result.fail("库存不足!");
        }
        //锁的范围是用户,所以name拼接上userId
        String name = "order:" + userId;
        //创建锁对象(新增代码)
        RedisLock lock = new RedisLock(name, stringRedisTemplate);
        //获取锁对象
        boolean isLock = lock.tryLock(1200);
        //加锁失败
        if (!isLock) {
            return Result.fail("不允许重复下单");
        }
        try {
            //获取代理对象(事务)
            IVoucherOrderService proxy = (IVoucherOrderService) AopContext.currentProxy();
            return proxy.createVoucherOrder(voucherId, userId);
        } finally {
            //释放锁
            lock.unlock();
        }

    }

     

     常用的思路如下图:

     

 五、Zookepper实现分布式锁

         zookeeper是基于树形数据结构实现分布式锁,以用来解决我们分布式环境下对于共享资源的数据一致性问题。其中,zookeeper树形结构有四种节点:

  1. 持久节点。这是zookeeper的默认节点类型,一直存在。
  2. 持久顺序节点。创建的节点,zookeeper会依据时间的顺序对创建的节点进行排序。
  3. 临时节点,就是在zookeeper中临时创建的节点,zookeeper客户端与服务端断开或者是故障,就会删除临时节点。
  4. 临时顺序节点,和持久顺序节点类似,只不过就是临时的。

         5.1、实现分布式流程

                  1、首先假如第一个客户端来获取共享资源也就是获取锁时,zookeeper客户端会创建持久根节点/locks。                    

           

                 2、这个时候,客户端Client1就会查询/locks节点下面所有子节点,然后判断自己的节点是不是排序最小的那个,此时,如果是最小的则会获得锁,就能够对共享资源进行操作。

               

             3、如果,这个时候又来个个客户端Client2也来尝试获取锁,那么它也会在zookeeper的/locks节点下创建一个节点。            

                

          4、Client2同样也会查询zookeeper中/locks节点下所有节点,判断自己编号是不是最小的,此时,发现自己并不是最小的,所以获取锁失败,然后就像它的前面一位节点0001注册Watcher事件来监控0001节点是否存在。        

              

            5、此时,又来一个客户端Client3来尝试获取锁,就会在/locks下创建自己的节点。

                    

 

            6、同样,客户端Client3查询/locks下所有节点,判断自己是不是编号最小的节点,此时,发现自己并不是最小的,就会获取所失败,接着就会像它前面一位0002的节点注册Watcher事件,来监听0002节点是否存在。

 

 

                     

                     所以,我们现在能发现获得锁的是客户端Client1,客户端Client2则监听着Client1的锁啥时候释放,而Client3就监听着Client2的锁释放。

           5.2、释放锁流程

                    1、当客户端Client1业务完成之后,或者客户端故障,就会删除节点0001,主动释放锁。

                   

                 2、0001节点被删除,此时Client2就会立马监听到锁被释放,就会去获取锁。

            

 3、客户端Client2获得锁后,完成了业务操作,就会删掉0002编号节点。

           

4、最后Client3监听到0002被删除了,则自己就会去获取锁和释放锁。

        

         

 

 

 六、分布式锁误删

         6.1、误删除情况说明

                 持有锁的线程在锁的内部出现了阻塞,导致他的锁自动释放,这时其他线程,线程2来尝试获得锁,就拿到了这把锁,然后线程2在持有锁执行过程中,线程1反应过来,继续执行,而线程1执行过程中,走到了删除锁逻辑,此时就会把本应该属于线程2的锁进行删除,这就是误删别人锁的情况说明。              

                 

      【解决方案】

在每个线程释放锁的时候,去判断一下当前这把锁是否属于自己,如果属于自己,则不进行锁的删除,假设还是上边的情况,线程1卡顿,锁自动释放,线程2进入到锁的内部执行逻辑,此时线程1反应过来,然后删除锁,但是线程1,一看当前这把锁不是属于自己,于是不进行删除锁逻辑,当线程2走到删除锁逻辑时,如果没有卡过自动释放锁的时间点,则判断当前这把锁是属于自己的,于是删除这把锁。

          在获取锁时存入线程标识:比如可以用UUID表示

/**---------------------------------解决Redis分布式锁误删问题-------------------------------------------------*/
private static final String ID_PREFIX = UUID.randomUUID().toString(true) + "-";
    @Override
    public boolean tryLock(long timeOutSec) {
        //获取线程标识
        String threadId = ID_PREFIX +Thread.currentThread().getId();
        //获取锁
        Boolean sucess = stringRedisTemplate.opsForValue().setIfAbsent(KEY_PREFIX + name, threadId, timeOutSec, TimeUnit.SECONDS);
        return Boolean.TRUE.equals(sucess);
    }

    @Override
    public void unlock() {
        //获取线程标识
        String threadId = ID_PREFIX +Thread.currentThread().getId();
        //获取锁中的标识
        String id = stringRedisTemplate.opsForValue().get(KEY_PREFIX + name);
        //判断是否一致
        if (threadId.equals(id)) {
            //通过del删除锁
            stringRedisTemplate.delete(KEY_PREFIX + name);
        }
    }
View Code

七、分布式锁原子性问题

 

线程1现在持有锁之后,在执行业务逻辑过程中,他正准备删除锁,而且已经走到了条件判断的过程中,比如他已经拿到了当前这把锁确实是属于他自己的,正准备删除锁,但是此时他的锁到期了,那么此时线程2进来,但是线程1他会接着往后执行,当他卡顿结束后,他直接就会执行删除锁那行代码,相当于条件判断并没有起到作用,这就是删锁时的原子性问题,之所以有这个问题,是因为线程1的拿锁,比锁,删锁,实际上并不是原子性的,我们要防止刚才的情况发生

 7.2、Lua脚本解决多条命令原子性问题

Redis提供了Lua脚本功能,在一个脚本中编写多条Redis命令,确保多条命令执行时的原子性。Lua是一种编程语言,它的基本语法大家可以参考网站;这里重点介绍Redis提供的调用函数,我们可以使用lua去操作redis,又能保证他的原子性,这样就可以实现拿锁比锁删锁是一个原子性动作了,作为Java程序员这一块并不作一个简单要求,并不需要大家过于精通,只需要知道他有什么作用即可。

这里重点介绍Redis提供的调用函数,语法如下

redis.call('命令名称', 'key', '其它参数', ...)

例如,我们要执行set name jack,则脚本是这样:

# 执行 set name jack
redis.call('set', 'name', 'jack')

例如,我们要先执行set name Rose,再执行get name,则脚本如下:

# 先执行 set name jack
redis.call('set', 'name', 'Rose')
# 再执行 get name
local name = redis.call('get', 'name')
# 返回
return name

写好脚本以后,需要用Redis命令来调用脚本,调用脚本的常见命令如下:

如果脚本中的key、value不想写死,可以作为参数传递。key类型参数会放入KEYS数组,其它参数会放入ARGV数组,在脚本中可以从KEYS和ARGV数组获取这些参数:

接下来我们来回一下我们释放锁的逻辑:

释放锁的业务流程是这样的

​ 1、获取锁中的线程标示

​ 2、判断是否与指定的标示(当前线程标示)一致

​ 3、如果一致则释放锁(删除)

​ 4、如果不一致则什么都不做

如果用Lua脚本来表示则是这样的:

最终我们操作redis的拿锁比锁删锁的lua脚本就会变成这样

-- 这里的 KEYS[1] 就是锁的key,这里的ARGV[1] 就是当前线程标示
-- 获取锁中的标示,判断是否与当前线程标示一致
if (redis.call('GET', KEYS[1]) == ARGV[1]) then
  -- 一致,则删除锁
  return redis.call('DEL', KEYS[1])
end
-- 不一致,则直接返回
return 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

      

posted on 2023-10-13 17:32  木乃伊人  阅读(12)  评论(0编辑  收藏  举报

导航