跨分片排序为什么困难？
简化版
每个分片只能产生局部有序结果，全局排序必须做 k 路归并；深分页还要求各分片读取大量无用前缀，因此应使用稳定排序键和游标翻页。
“跨分片排序为什么困难？”不能只给组件名，还要交代路由范围、数据一致性、失败恢复和成本上限。
详细版
- 每片按相同复合键排序。
- 拉取候选 Top K。
- 网关用小顶堆归并。
- 返回全局前 K。
- 游标携带最后排序键。
关键风险包括：排序键必须追加唯一 ID 防并列漂移；分片时钟会影响 create_time 顺序；分片超时不能静默返回不完整全局序；游标需绑定过滤条件。
数字化说明：查询第 10001～10020 条，16 个分片用 offset 方案最多各取 10020 条，候选约 16 万；游标方案只取每片下一小段。
完整版教学
一、定义与边界
每个分片只能产生局部有序结果，全局排序必须做 k 路归并；深分页还要求各分片读取大量无用前缀，因此应使用稳定排序键和游标翻页。
对于“跨分片排序为什么困难？”，先区分逻辑表、物理分片和路由层。分片提升单节点容量上限，却把原本由单库提供的 Join、事务、排序和约束变成跨节点协调问题。
记忆钩子：理解“跨分片排序为什么困难？”时要记住，分库分表不是免费扩容；每减少一次单机压力，往往会增加一份路由、迁移或一致性成本。
二、核心执行流程
每片按相同复合键排序，随后拉取候选 Top K。
1. 每片按相同复合键排序
2. 拉取候选 Top K
3. 网关用小顶堆归并
4. 返回全局前 K
5. 游标携带最后排序键在“跨分片排序为什么困难？”的链路中，先“网关用小顶堆归并”，再“返回全局前 K”，最后“游标携带最后排序键”。这些步骤描述的是正常执行顺序；异常恢复仍要依赖下一节的数据版本、幂等与对账机制。
三、数字算例
查询第 10001～10020 条，16 个分片用 offset 方案最多各取 10020 条，候选约 16 万；游标方案只取每片下一小段。
该算例说明“跨分片排序为什么困难？”必须估算扇出数、扫描行数、写放大、迁移速度或最慢分片，而不能只看单个物理库的平均耗时。
四、方案取舍
| 跨分片排序为什么困难？的取舍维度 | 低协调方案 | 强能力方案 | 代价 |
|---|---|---|---|
| 路由 | 强制携带分片键 | 允许索引或广播 | 后者增加读放大 |
| 一致性 | 单分片事务 | 跨片协调或补偿 | 延迟、锁与状态机增加 |
| 查询 | 预计算或单片下推 | 在线跨片归并 | 受最慢分片和内存约束 |
| 变更 | 固定逻辑槽 | 在线迁移路由 | 需双写、校验和回滚 |
选择“跨分片排序为什么困难？”的实现时，应先把正确性红线写出来，再在延迟、吞吐和开发复杂度间取舍；不能用透明中间件掩盖物理事实。
五、故障边界与恢复
- 排序键必须追加唯一 ID 防并列漂移。
- 分片时钟会影响 create_time 顺序。
- 分片超时不能静默返回不完整全局序。
- 游标需绑定过滤条件。
处理“跨分片排序为什么困难？”涉及的任务和写入时，应携带幂等键、数据版本或路由 epoch。超时只代表结果未知，恢复逻辑必须先查状态再决定重试、补偿或回滚。
六、监控与验收
- 监控 每片扫描行数。
- 监控 归并候选数。
- 监控 最慢分片耗时。
- 监控 游标失败率。
验收“跨分片排序为什么困难？”时，既要验证正常数据，也要覆盖热点键、空结果、重复事件、单分片超时、迁移中断和版本回退，且对账差异必须为零或处在明确业务阈值内。
七、常见误区与追问
- 误区：各片 Top 20 合并就是任意页 Top 20。 深分页需取到各片 offset+limit。
- 误区：offset 深分页成本不变。 offset 越深扫描和传输越大。
- 误区：只按时间即可稳定。 还要追加唯一 ID 并处理时钟偏差。
- 误区：少一个分片也能称全局结果。 缺片时只能返回明确标记的部分结果。
- 误区：数据库会自动跨库归并。 中间件仍要执行 k 路归并。
- 追问：一个分片不可用时能否返回其余结果？ 只有业务明确接受部分结果并在响应中标记不完整时才可以，否则应失败而不是伪造全局正确。
八、加强记忆
回答“跨分片排序为什么困难？”可按“怎么路由 → 单片做什么 → 跨片如何归并 → 失败如何恢复 → 数据怎样对账”展开。
最终要让面试官听到具体边界：哪些查询保持单片、哪些能力被限制、最坏会扇出多少节点，以及扩容或故障时如何保证数据不重不漏。