MVCC能解决幻读吗

亦凉 2023-01-20 06:54 49阅读 0赞

本文转载自：[https://www.zhihu.com/question/334408495][https_www.zhihu.com_question_334408495]

答案是不能。

MySQL（innodb）的 RR 隔离级别实际上是 snapshot isolation，可以避免通常意义的幻读。  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3d0X2JldHRlcg_size_16_color_FFFFFF_t_70]

由于 UPDATE 本身也是一种 read-write，如果执行 UPDATE 也会有 write skew 问题, 那对实际应用来说就太糟糕了。MySQL（innodb）为了解决这个问题，强行把 read 分成了 snapshot read（快照读）和 locking read （当前读）。在 UPDATE 或者 SELECT … FOR UPDATE 的时候，innodb 引擎实际执行的是当前读，在扫描过程中加上行锁和区间锁（gap locks，next-key locks），相当于变相提升到了 serializable 隔离级别，从而消除了 write skew 。从实用角度看，这个解法还是很赞的。既解决了 UPDATE write-skew 问题，又保证了绝大多数场景 SELECT 的性能，特殊情况还可以用 SELECT … FOR UPDATE，完美。但是，，，，MySQL（innodb）当前读的机制本身和 snapshot 是矛盾的。加锁保护的一定是数据最新版本。例如，如果在快照读之后再执行一次当前读，则读到的数据内容不一定能保证一致，因此会有这样的现象：

mysql> SELECT * FROM char_encode WHERE glyph = 'a';
    +-------+-----------+
    | glyph | codepoint |
    +-------+-----------+
    | a     |        97 |
    +-------+-----------+
    1 row in set (0.03 sec)
    
    mysql> UPDATE char_encode SET codepoint = codepoint + 1 WHERE glyph
        -> = 'a';
    Query OK, 1 row affected (0.07 sec)
    Rows matched: 1  Changed: 1  Warnings: 0
    
    mysql> SELECT * FROM char_encode WHERE glyph = 'a';
    +-------+-----------+
    | glyph | codepoint |
    +-------+-----------+
    | a     |       101 |
    +-------+-----------+

来源：[https://bugs.mysql.com/bug.php?id=63870MySQL][https_bugs.mysql.com_bug.php_id_63870MySQL]（innodb）的选择是允许在快照读之后执行当前读，并且更新 snapshot 镜像的版本。  
严格来说，这个结果违反了 repeatable read 隔离级别，，但是 who cares 呢，毕竟官方都说了：“This is not a bug but an intended and documented behavior.”

[https_www.zhihu.com_question_334408495]: https://www.zhihu.com/question/334408495
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3d0X2JldHRlcg_size_16_color_FFFFFF_t_70]: /images/20221021/e799234183d348d0aa04870d9e595dbd.png
[https_bugs.mysql.com_bug.php_id_63870MySQL]: https://bugs.mysql.com/bug.php?id=63870MySQL