分布式系统

📊 课程难度与压力分析

COMP9243 是计算机系‘硬核度’排名前三的课。难点不在于代码量，而在于‘对状态空间的极致抽象’。当你手动实现 Raft 并在处理一个‘脑裂 (Split Brain)’场景时漏掉了一个任期号 (Term) 检查，你的整个集群会因为日志不一致而在 5 分钟后彻底崩溃。压力主要来自于分布式项目，你需要模拟真实的网络丢包与节点死机，如果你的状态机切换逻辑写得不稳，你的程序会在评测机上陷入永久死锁。及格极难，拿 HD 需要你对‘线性化一致性’有数学证明级别的直觉。挂科风险显著存在于对‘两阶段提交’阻塞问题的错误认知上。

🎯 备考重点与高分策略

高分秘籍：‘得向量时钟者得 Distinction，得 Paxos 证明者得 HD’。期末考试中，画出一个包含 5 个进程的向量时钟演化图并标注所有的因果关系是必考的 20 分大题。一定要练到能‘脑补’Raft 领导者选举的每一张选票流向。重点攻克‘Paxos 与 Raft 在处理网络分区时的本质异同证明’，那是区分普通码农与顶级后端架构师的标志。备考时，教材《Distributed Systems》(Tanenbaum) 是启蒙，但 Raft 官方论文是拿 HD 的唯一圣经。对于项目，HD 的关键在于‘稳健性测试’——不仅功能对，还要通过代码证明你的系统能扛住每秒 100 次的随机节点 Crash。重视 Tutorial 里的每一道一致性哈希计算题。

📚 学习建议与资源推荐

神级资源：‘MIT 6.824’ 课程视频和‘Raft Consensus Algorithm’ 交互式演示网站。如果逻辑时钟理解不了，强烈推荐去 YouTube 搜‘Tom Seven - Vector Clocks’。最重要的建议：养成‘先画状态转换图，再敲代码’的习惯。利用好学校提供的‘Distributed Testbed’环境进行真实延迟模拟。学会使用 `wireshark` 监控你的 RPC 流量。加入 UNSW 的 Systems 实验室探讨底层优化。

⚠️ 作业与 Lab 避坑指南

项目避坑：千万不要在第 10 周才跑故障恢复联调！分布式系统的 Bug 极难复现，建议预留 2 周时间进行‘混沌工程 (Chaos Engineering)’实验。Assignment 写作中，严禁只贴成功日志，必须写出你的‘一致性冲突解决逻辑’——为什么你选择最后写入胜出 (LWW)？此外，注意 Final 考试有 Hurdle 要求，关于‘CAP 定理基本分类’的基础证明如果错太多会直接挂。考试时，带好直尺，画出的时序时序图必须上下对齐。注意：分清‘同步系统’与‘异步系统’在时钟偏移假设上的本质差异。

💬 过来人经验分享

学长建议：这门课是为你进入 Google Cloud、AWS 或字节跳动后端架构组拿的‘认知金牌’。学完后，你眼中的软件不再是行与列，而是一个由逻辑时钟序、共识协议和故障容错边界构成的完美分布式生命。建议找一个同样追求‘逻辑纯粹性’的队友共同打磨程序。拿 HD 的关键：在报告中展现出你对‘系统可用性与延迟取舍 (Consistency-Latency Trade-off)’的深刻理解。坚持住，通关 9243，你就真正跨过了从单机开发到行星级架构师的那道认知红线。这张成绩单是申请高端后端岗位最硬的门票。记住：分布式系统的精髓，是在不稳定的机器上构建稳定的逻辑。