问postgres是否对交易进行对账

EN

我想知道更新的行为，以及它们是否在事务之间进行协调：

例如，如果Alice的起始余额为500，并且两个事务同时执行(在两个不同的连接上)：

UPDATE Account SET balance = balance - 100 WHERE name = 'Alice';

... long time ...

UPDATE Account SET balance = balance + 100 WHERE name = 'Bob';

和

UPDATE Account SET balance = balance - 50 WHERE name = 'Charlie';

... long time ...

UPDATE Account SET balance = balance + 50 WHERE name = 'Alice';

波斯特格斯会确保艾丽斯的平衡永远是450吗？还是有时是550或400取决于交易的执行方式？

例如

这是一个很大的假设，但我假设对于ACID，当事务启动时，它将冻结给定事务的数据库状态：

1. 当余额为500时，事务B启动
2. 事务A在B完成之前和余额为500时开始。它减去100 ->余额的A: 400。
3. 事务B将50 (与A平行)添加到它在(1.) B: 550中的->余额中看到的余额。
4. 事务B完成并提交。
5. 事务A完成并提交。

当两个事务完成时-A的余额为400，事务B的余额为550。

因此，数据库需要知道在同一个地方进行了两次更新，并对此进行了协调。