为什么MVCC需要锁定DML语句

Question

在PostgreSQL中，MVCC concurrency control机制说：

为查询（读取）数据而获取的MVCC锁与写入数据时获取的锁不冲突，因此读取永远不会阻止写入和写入从不阻止读取

因此，even for READ_COMMITTED，UPDATE语句将锁定当前受影响的行，因此在当前事务提交或回滚之前，没有其他事务可以修改它们。

如果并发事务在锁定的行上发出UPDATE，则第二个事务将阻塞，直到第一个事务释放它的锁。

1. 这种行为是trying to prevent the write-write conflicts吗？
2. 丢失的更新仍然可以在READ_COMMITTED中发生，因为在第一个事务提交之后，第二个将覆盖该行（即使数据库在UPDATE查询开始和查询结束之间已经更改）。因此，如果仍然可以丢失更新，为什么第二笔交易必须等待？是否可以使用行级快照来存储未提交的事务更改，以避免事务必须等待释放写锁？

Answer 1

第一个问题的答案是肯定的。没有DBMS可以支持脏写;如果两个事务T1和T2同时执行并且T2覆盖来自T1的更新，则系统无法处理T1随后发出ROLLBACK的情况，因为T2的更新已经发生。

为了避免脏写，快照隔离的原始定义是“第一个提交者获胜” - 也就是说，允许发生冲突的写入，但只有发出COMMIT的第一个事务才能 - 所有其他冲突的事务都必须ROLLBACK。但是这种编程模型虽然不浪费，但有些问题，因为事务可能会更新数据库的很大一部分，但最终会被拒绝COMMIT的能力。因此，代替“第一个提交者获胜”，大多数支持MVCC的DBMS系统使用相当传统的两阶段锁定来实现“第一个更新者获胜”。