MST

星途 面试题库

面试题：分布式系统中数据分片的分布式锁实现基础

在数据分片的分布式系统场景下，简述分布式锁实现的基本原理，以及常见的实现方式有哪些，并分析它们各自的优缺点。
40.4万 热度难度
后端开发分布式系统

知识考点

AI 面试

面试题答案

一键面试

分布式锁实现基本原理

分布式锁用于在分布式系统中保证同一时间只有一个节点能够执行特定操作，其基本原理是通过某种共享资源（如数据库、缓存、分布式协调服务等）来标记锁的状态。当一个节点尝试获取锁时，它需要检查共享资源中锁的状态。如果锁未被占用，则获取锁并标记为已占用；如果锁已被占用，则等待或返回获取失败。在操作完成后，该节点需要释放锁，将共享资源中的锁状态标记为未占用，以便其他节点可以获取。

常见实现方式及优缺点

基于数据库实现

  1. 实现方式：
    • 基于表记录：在数据库中创建一张表，表中记录锁的相关信息，例如锁的名称、持有锁的客户端信息、锁的过期时间等。当一个客户端尝试获取锁时，向该表中插入一条记录，插入成功则表示获取锁成功，失败则表示锁已被占用。释放锁时，删除相应的记录。
    • 基于排他锁：使用数据库的排他锁（如MySQL的SELECT... FOR UPDATE语句）。当一个客户端执行SELECT... FOR UPDATE查询时，数据库会对满足条件的行加排他锁，其他客户端无法同时获取相同条件的排他锁，从而实现锁的功能。
  2. 优点：
    • 实现简单，对于已经使用数据库的系统来说，不需要额外引入新的中间件。
    • 可靠性较高，数据库通常具备数据持久化能力，即使系统重启，锁的状态也能保持。
  3. 缺点：
    • 性能问题：数据库的读写性能相对较低，在高并发场景下，频繁的锁操作会导致数据库压力增大，成为系统瓶颈。
    • 锁的失效问题：如果持有锁的客户端出现故障未主动释放锁，需要依赖数据库的锁超时机制来释放锁，但这种方式可能存在一定的延迟。
    • 单点问题：如果数据库出现故障，整个分布式锁服务将不可用。虽然可以通过数据库集群来解决，但会增加系统复杂度。

基于缓存实现（以Redis为例）

  1. 实现方式：
    • SETNX命令：Redis的SETNX（SET if Not eXists）命令可以实现简单的分布式锁。当一个客户端执行SETNX key value命令时，如果key不存在，则设置key的值为value并返回1，表示获取锁成功；如果key已存在，则返回0，表示锁已被占用。释放锁时，使用DEL key命令删除key。
    • Redisson框架：它是一个基于Redis的Java驻内存数据网格（In-Memory Data Grid），提供了丰富的分布式锁实现。例如可重入锁、公平锁、联锁等。Redisson通过Lua脚本来保证锁操作的原子性，并且在锁续期等方面有较为完善的机制。
  2. 优点：
    • 性能高：Redis是基于内存的高性能缓存，读写速度非常快，能够支持高并发的锁操作。
    • 灵活性：可以根据业务需求选择不同的锁实现方式，如可重入锁等。
    • 扩展性好：可以通过搭建Redis集群来提高系统的可用性和扩展性。
  3. 缺点：
    • 数据一致性问题：Redis的主从复制是异步的，在主从切换过程中，可能会出现锁丢失的情况。例如，主节点在设置锁后还未同步到从节点就发生故障，从节点晋升为主节点后，其他客户端可能再次获取到相同的锁。
    • 依赖问题：依赖于Redis服务，如果Redis出现故障，分布式锁服务将受到影响。虽然可以通过集群来提高可用性，但集群搭建和维护成本较高。
    • 锁超时问题：如果设置的锁超时时间过短，可能导致业务未执行完锁就过期；如果设置过长，在持有锁的客户端出现故障时，其他客户端需要等待较长时间才能获取锁。

基于ZooKeeper实现

  1. 实现方式：
    • ZooKeeper是一个分布式协调服务，利用其树形目录结构和临时有序节点特性来实现分布式锁。当一个客户端尝试获取锁时，在ZooKeeper的特定目录下创建一个临时有序节点。所有客户端创建的节点按照创建顺序编号，编号最小的节点对应的客户端获取锁成功。其他客户端则监听比自己编号小的节点的删除事件，当监听到该节点被删除时，自己尝试获取锁。释放锁时，删除自己创建的临时节点。
  2. 优点：
    • 可靠性高：ZooKeeper采用的是集群模式，多个节点保存数据副本，即使部分节点出现故障，整个服务仍然可用，能保证锁的高可用性和数据一致性。
    • 支持公平锁：基于临时有序节点的特性，天然支持公平锁，按照节点创建顺序获取锁，避免了某些客户端长时间获取不到锁的情况。
    • 自动释放锁：由于创建的是临时节点，当持有锁的客户端与ZooKeeper集群失去连接（如网络故障、客户端崩溃等）时，临时节点会自动删除，即自动释放锁，无需额外的机制来处理锁的过期问题。
  3. 缺点：
    • 性能相对较低：ZooKeeper主要用于协调服务，其写操作性能不如Redis。在高并发场景下，频繁的节点创建和删除操作会对ZooKeeper集群造成较大压力。
    • 实现复杂：相比基于数据库或Redis的简单实现，基于ZooKeeper实现分布式锁的代码逻辑较为复杂，需要处理节点的创建、监听、删除等多种操作。
    • 网络开销：客户端与ZooKeeper集群之间的频繁通信（如监听事件通知等）会产生一定的网络开销，在网络不稳定的情况下，可能影响锁的获取和释放效率。