消息队列投递一致性（幂等键、Outbox、Exactly-once 边界与验证）

消息队列投递一致性（幂等键、Outbox、Exactly-once 边界与验证）概述消息系统通常提供至少一次或至多一次语义。本文说明如何在业务层实现“有效的 exactly-once”效果。关键实践与参数幂等键：以业务主键与事件时间构造幂等键，消费者侧进行去重。Outbox 模式：写库与写消息以同事务保证；由异步转发器可靠投递。事务消息：使用事务性生产者（如 Kafka/Pulsar）结合消费者位点与幂等处理。示例与验证数据库 Outbox 表设计包含 `event_id`、`payload`、`status` 与重试计数。压测模拟重复与乱序，验证消费者去重与幂等处理正确性。观测指标：重复消费率、延迟与丢失率、重试成功率。注意事项Exactly-once 在跨系统场景通常不可达；以“幂等 + 至少一次 + 去重”实现近似效果。保证顺序的场景需分区与键控；乱序需设计可重放与补偿逻辑。失败与回滚路径需明确，避免数据双写与不一致。