DynamoDB原子资源计数异常：乐观锁下计数无法归零问题排查

出现两个任务同时将计数从5减至4且最终计数无法归零，核心原因是条件表达式未正确校验嵌套计数字段的当前值，导致并发更新时未触发乐观并发控制的冲突校验，具体可能的场景包括：

• 条件表达式路径错误：未正确指向嵌套的计数字段。例如计数存储在meta.count，但条件表达式写成了count = :current（根级别无此字段），此时若错误使用attribute_not_exists(count)这类条件，会导致更新无条件执行；或者路径拼写错误（如meta.cnt而非meta.count），同样会让条件校验失效，多个任务的更新操作都能执行。

• 未使用原子更新操作：如果更新时不是用DynamoDB的原子表达式SET meta.count = meta.count - 1，而是本地计算新值后直接赋值（如读取到5后设置为4），且条件表达式未严格匹配当前计数值，就会出现多个任务同时将5覆盖为4的情况——因为第二个任务的更新操作可能因并发读取时机问题，同时读到初始值5，最终导致计数被重复覆盖而非原子递减。

• 条件表达式逻辑错误：例如误用了总是为真的条件（如attribute_exists(主键)），而非校验计数字段等于读取到的当前值。这种情况下，所有任务的更新操作都会被允许执行，并发时就会出现多个任务基于同一初始值修改计数，导致计数递减异常。

• 重试逻辑未正确重新读取最新计数：虽然描述中提到失败后会重新读取计数，但如果重试时未正确执行强一致读，或者读取后未更新条件表达式中的current值，就会导致重试时依然使用旧的计数值作为条件，当多个任务重试时可能同时通过校验，重复修改计数。

• 检查条件表达式的路径正确性：确保条件表达式中的字段路径与嵌套计数字段完全一致，例如使用占位符明确指定路径：

  # 示例：Python中正确的嵌套字段条件表达式
  update_expr = "SET #meta.#count = #meta.#count - :delta"
  condition_expr = "#meta.#count = :current"
  expr_attr_names = {
      "#meta": "meta",
      "#count": "count"
  }
  expr_attr_values = {
      ":delta": 1,
      ":current": 5  # 强一致读获取的当前计数
  }
  

• 强制使用原子递减操作：必须使用DynamoDB的原子表达式field = field - 1，而非本地计算后赋值，确保更新操作是基于服务器端的最新值执行的。

• 严格校验计数字段的当前值：条件表达式必须明确校验嵌套计数字段 = 读取到的当前值，只有这样才能触发乐观并发控制的冲突检测，确保只有一个任务能成功更新，其他任务重试时会读取最新值再尝试。

• 确认重试逻辑的正确性：重试时必须重新执行强一致读获取最新计数，并更新条件表达式中的current变量，避免使用旧值发起更新。

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