TiDB是如何实现读已提交隔离级别的?

如题,有没有文档或者blog介绍

MVCC

TiKV的Key排列是这样的,读取最大版本号,就可以实现读已提交,有一种情况(查询重新启动)也没找到资料:

Key1_Version3 -> Value
Key1_Version2 -> Value
Key1_Version1 -> Value