2026年《分布式系统》期末考试试题及答案

2026年《分布式系统》期末考试试题及答案一、单项选择题（每题2分，共20分）1.以下关于CAP定理的描述中，正确的是（）。A.分布式系统必须同时满足一致性、可用性和分区容错性B.当发生网络分区时，系统需在一致性和可用性之间权衡C.可用性指系统在部分节点故障时仍能快速响应所有请求D.分区容错性仅适用于广域网环境，局域网可忽略答案：B解析：CAP定理指出，分布式系统无法同时满足一致性（Consistency）、可用性（Availability）和分区容错性（PartitionTolerance），三者最多取其二。当网络分区发生时（P成立），系统需在C和A之间选择（B正确）。A错误，三者不可兼得；C错误，可用性要求“非故障节点”能快速响应；D错误，分区容错性是分布式系统的基本要求，与网络类型无关。2.下列一致性模型中，要求“所有进程看到的操作顺序与全局时钟顺序一致”的是（）。A.最终一致性B.顺序一致性C.线性一致性D.因果一致性答案：C解析：线性一致性（Linearizability）要求所有操作的执行顺序严格符合全局时钟的顺序，且每个操作一旦完成，后续操作必须能看到该结果（强一致性）。顺序一致性仅要求单个进程内的操作顺序保留，不同进程间的操作顺序可不同（B错误）；最终一致性是弱一致性（A错误）；因果一致性要求有因果关系的操作顺序保留（D错误）。3.远程过程调用（RPC）中，“客户端通过名称服务获取服务端网络地址”的过程属于（）。A.编组（Marshaling）B.绑定（Binding）C.解组（Unmarshaling）D.传输（Transport）答案：B解析：RPC的核心步骤包括绑定（客户端与服务端建立关联，如通过名称服务获取地址）、编组（参数序列化）、传输（网络通信）、解组（结果反序列化）。因此“获取服务端地址”属于绑定阶段（B正确）。4.Raft算法中，当候选节点获得超过半数节点的投票时，其状态会转变为（）。A.跟随者（Follower）B.候选者（Candidate）C.领导者（Leader）D.观察者（Observer）答案：C解析：Raft的选举过程中，候选节点（Candidate）向其他节点发送投票请求，若获得超过半数选票则成为领导者（Leader），负责日志复制和协调（C正确）。5.拜占庭容错（ByzantineFaultTolerance）系统中，若允许最多f个节点出现拜占庭错误，则系统至少需要（）个节点。A.2f+1B.3f+1C.f+1D.4f+1答案：B解析：拜占庭容错的经典结论是，系统需满足n≥3f+1（n为总节点数，f为最大拜占庭错误节点数），才能保证正确性（B正确）。例如，f=1时需4个节点，其中3个正确节点可通过多数投票排除1个错误节点。6.以下关于分布式锁的描述中，错误的是（）。A.可通过ZooKeeper的顺序节点实现公平锁B.Redis的RedLock算法需多个独立实例保证可靠性C.分布式锁需解决“锁过期但任务未完成”的问题D.数据库行锁可直接作为高并发场景的分布式锁答案：D解析：数据库行锁在高并发场景下性能较差（需频繁访问数据库），且存在网络延迟导致锁失效的风险，通常不直接用于高并发分布式锁（D错误）。A正确，ZooKeeper的顺序节点可按创建顺序分配锁；B正确，RedLock通过多个Redis实例避免单点故障；C正确，锁过期时间需合理设置，避免任务未完成时锁被释放。7.谷歌文件系统（GFS）中，ChunkServer存储的Chunk默认大小为（）。A.64KBB.64MBC.128MBD.1GB答案：B解析：GFS设计中，Chunk大小默认64MB（远大于传统文件系统的块大小），目的是减少Master的元数据管理开销，提高大文件访问效率（B正确）。8.以下不属于分布式系统核心挑战的是（）。A.节点故障B.网络延迟C.单机性能瓶颈D.时钟不一致答案：C解析：分布式系统的核心挑战包括节点故障（容错）、网络延迟（分区）、时钟不一致（同步）、一致性与可用性权衡等。单机性能瓶颈是集中式系统的问题，分布式系统通过扩展节点解决此问题（C错误）。9.向量时钟（VectorClock）的主要作用是（）。A.解决分布式系统中的全局时间同步B.确定两个事件的因果关系C.实现最终一致性D.优化分布式事务的提交效率答案：B解析：向量时钟为每个节点维护一个计数器，通过比较两个事件的向量时间戳，可判断它们是因果相关（一先于另一）还是并发的（B正确）。全局时间同步需NTP等机制（A错误）；最终一致性通过复制和冲突解决实现（C错误）；分布式事务优化与两阶段提交等相关（D错误）。10.以下关于分布式事务两阶段提交（2PC）的描述中，正确的是（）。A.协调者故障会导致参与者永远阻塞B.所有参与者必须在第一阶段返回“准备好”才能提交C.第二阶段只需多数参与者确认即可提交D.适用于高并发、低延迟的实时系统答案：B解析：2PC的第一阶段（准备阶段）中，协调者向所有参与者发送准备请求，参与者若能提交则返回“准备好”；只有所有参与者返回“准备好”，协调者才会在第二阶段发送提交指令（B正确）。A错误，通过超时机制或引入协调者备份可缓解阻塞；C错误，2PC要求全票通过；D错误，2PC因同步开销大，不适用于高并发实时系统。二、填空题（每空1分，共10分）1.分布式系统的核心目标是通过协作的多台计算机，提供比单台计算机更（）、（）或（）的服务。答案：可靠；可扩展；高效2.租约（Lease）机制通过为资源分配一个（），解决了分布式系统中（）的问题。答案：有限的使用期限；单点故障或状态同步3.Paxos算法的两个核心阶段是（）和（）。答案：准备（Prepare）；接受（Accept）4.分布式数据库中，数据分片的常见策略包括（）分片（如按用户ID取模）和（）分片（如按时间范围）。答案：哈希；范围5.ZooKeeper通过（）协议实现原子广播，其核心原语（）可用于实现分布式锁。答案：ZAB（ZooKeeperAtomicBroadcast）；有序临时节点三、简答题（每题8分，共40分）1.对比BASE理论与ACID特性，说明二者的适用场景。答案：ACID（原子性、一致性、隔离性、持久性）是传统关系型数据库的事务特性，强调强一致性和严格隔离，适用于金融交易等对数据准确性要求极高的场景（2分）。BASE（基本可用、软状态、最终一致性）是分布式系统的设计原则，允许系统在高并发或分区时降低可用性（基本可用），通过中间状态（软状态）实现最终一致，适用于电商库存、社交动态等对吞吐量和可用性要求高的场景（3分）。二者的本质区别是ACID追求强一致，BASE在一致性和性能间权衡（3分）。2.解释向量时钟如何判断两个事件的因果关系。答案：向量时钟为每个节点维护一个长度为N的数组（N为系统节点数），其中每个元素记录该节点处理的事件数（2分）。对于事件A（向量时间戳VA）和事件B（向量时间戳VB），若VA的每个元素≤VB对应元素，且至少有一个元素<，则A发生在B之前（存在因果关系）（3分）；若VA和VB无法互相“≤”，则A和B是并发的（3分）。3.分析Raft算法相比Paxos的改进点。答案：Raft通过简化问题提升可理解性：（1）将共识过程分解为领导选举、日志复制、安全三个独立模块（2分）；（2）采用任期（Term）机制管理领导者变更，避免Paxos的多轮提议冲突（2分）；（3）日志复制时要求领导者拥有所有已提交日志（领导者完整性），简化日志同步逻辑（2分）；（4）通过心跳机制维持领导权，明确状态转换（2分）。4.说明两阶段提交（2PC）的优缺点及常见优化方式。答案：优点：保证强一致性，适用于跨节点事务（2分）。缺点：同步阻塞（参与者等待协调者）、单点故障（协调者故障导致阻塞）、性能差（多轮网络交互）（3分）。优化方式：引入超时机制（避免永久阻塞）、三阶段提交（3PC，增加预提交阶段减少阻塞）、异步提交（部分操作异步执行）、协调者备份（如ZooKeeper维护协调者状态）（3分）。5.列举三种实现最终一致性的技术，并简要说明其原理。答案：（1）版本向量（VersionVector）：为每个数据项维护版本号，更新时递增，冲突时根据版本号合并（2分）；（2）操作日志（OpLog）：记录所有写操作，通过日志回放同步数据（2分）；（3）冲突无关系数据类型（CRDT）：定义可自动合并的数值类型（如计数器、集合），保证不同副本的更新最终收敛（2分）；（4）补偿事务（TCC）：通过Try（尝试）、Confirm（确认）、Cancel（取消）三阶段，在失败时执行补偿操作（2分）（任选三种即可）。四、分析题（每题15分，共30分）1.某电商平台在双十一大促期间，需支持“秒杀”场景下的库存扣减。假设库存数据分布在5个数据中心的分布式数据库中，要求：（1）避免超卖（库存不能为负）；（2）保证高可用性（单个数据中心故障不影响服务）；（3）允许短暂不一致但最终一致。请设计具体解决方案并说明关键步骤。答案：解决方案需结合分布式锁、异步消息和最终一致性（3分）。具体步骤：（1）前置校验：用户下单前，通过本地缓存（如Redis）校验库存是否充足（避免直接访问数据库）（2分）；（2）分布式锁：使用RedLock算法（基于多个Redis实例）获取库存扣减锁，确保同一商品同一时间只有一个请求处理（3分）；（3）异步扣减：获取锁后，发送扣减消息到消息队列（如Kafka），由消费者异步处理数据库扣减（避免同步阻塞）（3分）；（4）最终一致性：数据库使用版本号乐观锁（如CAS，Compare-And-Swap），扣减时检查当前库存版本，若冲突则重试（3分）；（5）容错设计：数据中心间通过Gossip协议同步库存变更，单个数据中心故障时，请求路由到其他中心，故障恢复后通过增量日志同步差异（1分）；（6）监控报警：实时监控锁竞争、消息积压和库存同步延迟，及时调整锁过期时间或扩展消费者实例（1分）。2.某分布式数据库在跨数据中心部署时，因网络故障导致“脑裂”（同一集群分裂为两个独立的子集群）。请分析脑裂可能导致的问题，并设计解决方案避免数据不一致。答案：脑裂的危害：两个子集群各自处理写请求，导致数据冲突（如同一键被两个集群更新为不同值）（3分）。解决方案需结合仲裁机制和数据同步（3分）：（1）多数派仲裁：写操作需获得多数数据中心（如3/5）的确认才生效，防止少数派子集群独立写（3分）；（2）租约机制：主节点（或写协调者）持有租约（如30秒），租约过期后需重新申请，避免脑裂时旧主节点继续写（3分）；（3）数据标记：所有写操作附加时间戳和集群ID，合并时选择时间戳最新或集群优先级高的版本（2分）；（4）自动恢复：脑裂修复后，通过增量日志同步差异数据，冲突数据由应用层（如业务逻辑）或CRDT自动合并（1分）；（5）网络分区检测：使用心跳机制（如TCP探活）和第三方监控（如Prometheus）实时检测网络状态，提前预警（1分）。五、综合题（每题20分，共40分）1.设计一个支持百万级QPS的分布式日志系统，要求：（1）高吞吐量（支持快速写入）；（2）高可靠性（数据不丢失）；（3）可扩展（支持水平扩容）；（4）支持按日志类型（如ERROR、INFO）和时间范围查询。请详细说明架构设计、关键组件及实现细节。答案：架构设计采用分层结构：收集层→缓冲层→存储层→查询层（4分）。（1）收集层：使用轻量级Agent（如Fluentd）部署在各业务节点，按日志类型（ERROR/INFO）分类，批量打包（如每500条）发送到缓冲层（3分）；（2）缓冲层：采用分布式消息队列（如ApachePulsar），按日志类型分区（每个类型对应一个Topic），利用Pulsar的分层存储（内存+磁盘）缓冲突发流量（3分）；（3）存储层：日志按时间范围（如每小时）分片，写入分布式存储（如Ceph或HDFS），每个分片副本数≥3（保证可靠性）；元数据（日志类型、时间范围、存储位置）存入ZooKeeper或etcd（3分）；（4）查询层：构建索引服务（如Elasticsearch），按日志类型和时间戳建立倒排索引；查询时先查索引定位分片，再从存储层读取数据（3分）；关键实现细节：批量写入：Agent和消息队列均采用批量发送（减少网络开销）（2分）；数据校验：每条日志附加CRC校验码，存储前验证完整性（2分）；