匿名节选
课程选课系统的架构权衡
Software Engineering · 系统设计 · 硕士 · 2,400 词
Software Engineering系统设计硕士
节选在证明什么
高峰选课不该先上微服务。按选课窗口的流量模型，单体加只读副本与队列，比过早拆服务更能保证一致性。
学生初稿把网关、配置中心、每门课一个服务都画上了。辅导问：同一门课不能超售，这一条在你的图里由谁保证？答不上来的框先删。
测试计划把超售作为必须失败的不变量，而不是事后补的边界用例。架构章节用同一编号回指该测试。
终期文档因此变短，但问答能站住。节选保留的是权衡段，不是一份可提交的完整说明书。
适合谁
面向硕士系统设计课：高峰选课这类题目很容易画成微服务全家桶。适合架构说明书写得很满、却没有不能破的不变量的同学。
覆盖什么
- 按选课窗口写流量模型，不写“百万 QPS”口号
- 单体加只读副本与队列，作为可辩护的第一架构
- 超售必须失败，作为测试与架构的交叉引用
- 微服务拆分若无法维持不变量，就不应出现在终期文档
- 评审问答往往从测试计划开始，而不是从框开始
怎么进行
- 01把选课窗口的并发人数和课程容量写成假设，所有容量估算只用课程给的数字。
- 02选择一个不能破的不变量：同一门课不能超售。后面的缓存、队列、拆分都要回答这件事。
- 03测试计划列出超售为必须失败的用例，并与架构章节交叉引用。
- 04预演问答：若缓存与库存不一致，你怎么选。答不上来的框从图上拿掉。
在 CS / SE / AI 里怎么落地
Software Engineering
设计课要的是权衡和证据，不是服务数量。
Computer Science
分布式课若也交设计文档，同样先写不变量再写协议。
Artificial Intelligence
在线推理系统的设计也可以用“不能破的延迟或一致性条件”当锚，但此例是选课域。
辅导焦点（可迁移的方法）
- 流量假设写死
- 选一个不能破的不变量
- 测试与架构交叉引用
节选经过改写与匿名处理，不是学生提交原文，也不作为代写样本出售。对应学科见课程树。
这一页常被问到的
教授明确要求微服务怎么办？
按课程要求写，但仍要说明如何维持不变量。要求拆分不等于允许超售。
没有真实流量数据能写估算吗？
用题目给的数字。没有数字就写假设区间，并标明是假设。