猫鼬验证器的原子性和保存

从文档中可以看出，验证器是预先保存的钩子。但是验证和保存操作是原子的吗？

假设我为库存创建了一个架构，计算产品的“数量”并设置验证器 (min=0)。假设现在“数量”是 1 并且有两个请求同时进入对数量的 $inc -1 操作。两个验证器都会通过，并且两次保存都会通过，从而导致“数量”为 -1。我说得对吗？

其次，要解决这个问题，我是否需要在保存后再次手动验证文档的事务？