【MyBatis】RC隔离级别下，MyBatis 一级缓存、二级缓存造成的不一致情况

前言

数据库的MVCC 及 锁机制保证了数据的隔离、一致性。而建立在数据库之上的缓存，都会破坏掉数据库的一致性保障。本文探索在RC隔离级别下，MyBatis 一级缓存、二级缓存造成的坑。顺便复习一下 Spock 的用法，更加体验到了 Groovy 清爽的语法。

本文内容的代码仓（分支L1Cache 、L2Cache ）
MyBatis 官网缓存部分

• 体验一下 Spock 的一个测试用例 （本文与Spring Boot 进行集成）

    def "RR环境下, 缓存不影响结果"() {
        given:
        mapper.insert(1, "james")
        def name1
        def name2
        transaction.execute {
            // 当前线程查询
            name1 = mapper.selectNameByIdWithoutL1Cache(1)

            // 新开线程更新并提交
            executor.execute {
                transaction.execute {
                    mapper.updateNameById("kobe", 1)
                }
            }

            // 确保更新线程提交成功
            Thread.sleep(2000)

            // 使用不同的mapper保证不命中二级缓存
            name2 = anotherMapper.selectNameById(1)
        }
        Thread.sleep(3000)
        
        expect:
        name1 == "james"
        // RC 下这个结果未 "kobe"
        name2 == "james"
    }

缓存的结构

关闭二级缓存，研究一级缓存

• 关闭全局缓存

mybatis:
  mapper-locations: mapper/*Mapper.xml
  map-underscore-to-camel-case: true
  cache-enabled: false

• mybatis 标签的默认情况即开启了一级缓存（官网的内容：不声明的情况，标签上的两个属性如下）

<select ... flushCache="false" useCache="true"/>

值得一提的是 flushCache=“true” 的话会禁用所有缓存

• RC 重复读无法读最新提交的数据，测试用例：

 def "证明 Mybatis 存在一级缓存, 且破坏了RC的事务隔离能力"() {
        given:
        mapper.insert(1, "james")
        def name1
        def name2
        transaction.execute {
            // 当前线程查询
            name1 = mapper.selectNameById(1)

            // 新开线程更新并提交
            executor.execute {
                transaction.execute {
                    mapper.updateNameById("kobe", 1)
                }
            }

            // 确保更新线程提交成功
            Thread.sleep(2000)

            // 当前线程命中缓存并返回, 忽略了更新的值"kobe"
            name2 = mapper.selectNameById(1)
        }
        Thread.sleep(3000)
        expect:
        name1 == "james"
        name2 == "james"
    }

关闭一级缓存、研究二级缓存

• 关闭一级缓存

<select ... useCache="false"/>

• 开启二级缓存

mybatis:
  mapper-locations: mapper/*Mapper.xml
  map-underscore-to-camel-case: true
  cache-enabled: true 

• 二级缓存影响RC，测试用例：

 def "证明 Mybatis 如果配置二级缓存 (关闭一级缓存), 且破坏了RC的事务隔离能力"() {
        given:
        mapper.insert(1, "james")
        def name1
        def name2
        transaction.execute {
            // 当前线程查询
            name1 = mapper.selectNameByIdWithoutL1Cache(1)

            // 新开线程更新并提交
            executor.execute {
                transaction.execute {
                    anotherMapper.updateNameById("kobe", 1)
                }
            }

            // 确保更新线程提交成功
            Thread.sleep(2000)

            // 当前线程命中缓存并返回, 忽略了更新的值"kobe"
            name2 = mapper.selectNameByIdWithoutL1Cache(1)
        }
        Thread.sleep(3000)
        expect:
        name1 == "james"
        name2 == "james"
    }

二级缓存的特点

二级缓存是Mapper级别的，RC 下换一个mapper查询就可以避免缓存

def "证明不同的mapper, 用的是不一样的二级缓存"() {
        given:
        mapper.insert(1, "james")
        def name1
        def name2
        transaction.execute {
            // 当前线程查询
            name1 = mapper.selectNameByIdWithoutL1Cache(1)

            // 新开线程更新并提交
            executor.execute {
                transaction.execute {
                    mapper.updateNameById("kobe", 1)
                }
            }

            // 确保更新线程提交成功
            Thread.sleep(2000)

            // 使用其他mapper排查缓存的干扰
            name2 = anotherMapper.selectNameById(1)
        }
        Thread.sleep(3000)
        expect:
        name1 == "james"
        name2 == "kobe"
    }

后记

MyBatis 的缓存在RR隔离级别暂时没发现什么不一致问题。目前经历过的项目都是RR级别，没有看到MyBatis缓存相关的设置。这次探索的主要收益还是在 Spock 及 Groovy 精炼的语法上面。