DynamoDB无条件并发DeleteItem指定ALL_OLD的返回值一致性问询

问题背景 #

• 在DynamoDB的GetItem操作中，可指定consistentRead属性，以获取数据的一致性视图。
• 使用DeleteItem操作时，若设置ReturnValues=ALL_OLD，会返回删除操作执行前的项目状态。

核心技术疑问 #

当针对同一项目并发发起2个或更多配置了ReturnValues=ALL_OLD的DeleteItem请求时：

• 是否能保证仅有一个请求返回旧值，其余请求均返回空值？
• 还是在某些特定条件下，可能出现两个或更多请求同时返回原始值的情况？若存在这种情况，理论上的触发条件是什么？

重要说明：本场景未使用乐观锁或条件表达式。关于条件表达式，官方文档有如下说明：

条件写入会针对项目的最新版本检查其条件...

解答 #

在未使用条件表达式或乐观锁的前提下，无法保证仅有一个请求返回旧值，存在多个并发DeleteItem请求同时返回原始值的可能性。

理论触发条件 #

DynamoDB基于分布式多副本架构运行，当多个DeleteItem请求并发抵达不同的副本节点时：

• 若这些请求在副本间的状态同步完成前被各自节点处理，每个节点都会认为自己持有该项目的最新有效状态，进而执行删除操作并返回原始值。
• 后续DynamoDB会通过一致性协议完成状态收敛，最终项目会被确认删除，但在并发请求的处理窗口内，不同副本的独立处理逻辑会导致多个请求返回旧值。

这种现象本质是分布式系统最终一致性特性的体现——由于没有通过条件写入强制绑定到项目的最新版本执行操作，无法确保只有一个请求能获取到旧值。

内容的提问来源于stack exchange，提问作者JanM