分布式协调服务
- Zookeeper是分布式协调服务框架
- 分布式协调技术: 主要用来解决分布式环境当中多个进程之间的同步控制,让进程有序的去访问某种临界资源,防止造成"脏数据"的后果
- 分布式协调技术的核心就是实现分布式锁
分布式锁
- 分布式锁: 为了防止分布式系统中的多个进程之间相互干扰,需要分布式协调技术对进程进行调度,这个分布式协调技术的核心就是实现分布式锁
分布式锁条件
- 在分布式系统环境下,一个方法在同一时间只能被一个机器的一个线程执行
- 高可用的获取锁与释放锁
- 高性能的获取锁与释放锁
- 具备可重入特性
- 具备锁失效机制,防止死锁
- 具备非阻塞锁特性
分布式锁的实现
- Zookeeper
- Redis
- Memcached
- Chubby
Redis分布式锁的实现
- 分布式锁实现的三个核心要素:加锁,解锁,锁超时
- Redis是单线程的
加锁
- 使用setnx命令
- key是锁的唯一标识,按业务来决定命名
- value可以设置成任意值
- 当一个线程执行setnx返回1,说明key原本不存在,该线程成功得到锁.当一个线程执行setnx返回0,说明key已经存在,该线程抢锁失败
解锁
- 当得到锁的线程执行完任务,需要释放锁,以便其它线程可以进入,使用del指令释放锁之后,其它线程就可以继续执行setnx命令获得锁
锁超时
- 一个得到所得线程在执行任务的过程中出现问题,不能显式释放锁,这些资源将永远被锁住,造成死锁的状态undefined
- setnx的key要设置一个超时时间,保证锁没有被显式释放时,会在一定时间后自动释放.setnx不支持超时参数,需要额外的指令expire
- Redis分布式锁问题:
- 非原子性操作:
- 解决方案: 通过使用set命令set(key,value,expire) 设置为原子操作
- 误删锁:
- 在设置锁超时的情况下,操作没有完成,当操作完成时,del命令删除的是其它进程的锁
- 解决方案: 判断是否为本进程的锁.带着key和value=threadID线程ID判断是否为本进程的锁
- 在设置锁超时的情况下,操作没有完成
- 解决方案: 释放锁时判断操作是否完成, 增加守护线程:为锁超时加时,延迟释放
- 非原子性操作:
