第二章：Ruby分布式系统基础与核心概念
本章聚焦面试高频理论：并发模型、线程安全、分布式一致性。考察你对Ruby特有并发机制（GIL、Ractor、Fiber）的理解，以及分布式系统中一致性协议（Paxos、Raft、Gossip）、CAP定理的实战认知。面试官通常从“如何避免竞态条件”切入，逐步深入到跨节点协调方案。
| 概念 | 核心要点 | 面试频率 |
|---|---|---|
| GIL（全局解释器锁） | 同一时刻仅一个线程执行Ruby代码；I/O操作会释放锁 | 极高 |
| Ractor | Ruby 3.0引入的actor模型，无共享内存，消息传递 | 高 |
| Fiber / Fiber Scheduler | 协作式轻量任务，适合高I/O场景 | 中 |
| 线程安全 | Mutex锁、Monitor、Thread::Queue、原子操作 | 极高 |
| 分布式一致性 | CAP定理、BASE理论、Paxos/Raft日志复制、Gossip协议 | 极高 |
面试问答卡片
Q1
Ruby 的 GIL 对分布式服务有什么影响？你是如何规避的？
面试官考察点： ❑ 理解GIL作用域（CPU-bound vs I/O-bound） ❑ 知道Ruby多线程在I/O场景下的并发优势 ❑ 能结合分布式服务（如请求代理、数据库连接池）给出实用方案
回答框架：
- ① 简述GIL：同一时刻只有一个线程执行Ruby代码，但I/O等待时释放锁。
- ② 影响：CPU密集任务没法利用多核；I/O密集（如HTTP请求）仍可并行。
- ③ 规避方案：使用多进程（如Unicorn）、Ractor隔离CPU任务、或引入Sidekiq/Puma的线程池。
示例回答： “GIL限制多核CPU利用率，但分布式服务通常I/O密集（网络调用、DB查询），GIL会释放锁，所以线程池依然能并行处理。我在订单服务中用Puma线程池+sidekiq任务队列，避免CPU瓶颈。若需并行计算，用Ractor隔离任务或切换到多进程架构。”
可能追问： “Ruby 3 的 Ractor 与 GIL 的关系？为什么不直接用进程？”
避坑提醒： 不要只说“Ruby有GIL所以很慢”。要点出I/O场景优势；避谈Ractor时只说“共享内存”而忽略消息传递才是安全关键。
Q2
在多线程服务中如何保证 Ruby 数据结构的线程安全？
面试官考察点： ❑ 是否熟悉Mutex、Monitor、Queue等同步原语 ❑ 能否指出Hash、Array非线程安全 ❑ 能否结合实际场景（如缓存、计数器）给出合理设计
回答框架：
- ① 声明核心：Ruby原生容器（Hash、Array）非线程安全。
- ② 常用手段：Mutex.synchronize、Monitor（支持超时）、Thread::Queue替代共享队列。
- ③ 设计模式：不共享可变状态（Ractor）、或者使用Concurrent‑Ruby（原子计数器、Hash）
示例回答： “用Mutex包裹所有写操作，并尽量缩小临界区。例如，计数器使用Concurrent::AtomicFixnum，若共享Hash则用Concurrent::Map。对于生产者消费者，用Thread::Queue而非Array+条件变量。核心原则：最小化共享，必须共享则加锁或使用无锁数据结构。”
可能追问： “Ractor机制如何天然避免线程安全问题？它和线程池能混用吗？”
避坑提醒： 别只说加锁，面试期待你提到“不共享”更优（Ractor）；避免回答“Ruby的Array是线程安全”的明显错误。
Q3
解释 CAP 定理，在 Ruby 分布式系统中如何权衡一致性和可用性？
面试官考察点： ❑ 能否清晰描述CAP（分区容忍性是强制项） ❑ 是否了解BASE、最终一致性 ❑ 能否结合Ruby生态（如Redis、ETCD、Cassandra）给出权衡案例
回答框架：
- ① 定义CAP：一致性、可用性、分区容忍性，三者不可兼得。
- ② 权衡选择：网络分区时，CP（如ETCD）牺牲可用性，AP（如Cassandra）牺牲强一致性。
- ③ Ruby实践：缓存用最终一致（Redis+TTL），订单用强一致（ETCD + Raft客户端库）。
示例回答： “多数系统选AP，因为网络分区是常态。例如，我们的Ruby通知服务使用Cassandra（AP），允许极端情况下重复通知但保证可用；支付模块使用ETCD + ruby-etcd客户端（CP），确保账目强一致。实际选型要区分业务场景：读多写少用最终一致，写冲突敏感用强一致。”
可能追问： “请设计一个 Ruby 服务，实现‘读取自己写入的最新数据’（读写一致性）？”
避坑提醒： 别混淆“一致性”与“事务”；提到节点通信超时处理时要说清是选择“等待”（CP）还是“继续服务”（AP）。不要遗漏“P是必选项”这个约束。