MatrixOne 快照隔离

在 MatrixOne 中,支持的隔离级别是快照隔离(Snapshot Isolation),该级别的隔离实现原理如下:

快照隔离原理

  • 当一个事务开始时,数据库会为该事务生成一个事务 ID,这是一个独一无二的 ID。
  • 在生成该事务 ID 的时间戳,生成一个对应数据的快照,此时事务的所有操作都是基于该快照来执行。
  • 当事务提交完成对数据的修改后,释放事务 ID 与数据快照。

快照隔离示例

你可以参加下面的示例,来帮助理解快照隔离。

首先在 MatrixOne 中,我们建立一个数据库 test 与表 t1

  1. create database test;
  2. use test;
  3. CREATE TABLE t1
  4. (
  5. tid INT NOT NULL primary key,
  6. tname VARCHAR(50) NOT NULL
  7. );
  8. INSERT INTO t1 VALUES(1,'version1');
  9. INSERT INTO t1 VALUES(2,'version2');

在会话 1 中,开启一个事务:

  1. use test;
  2. begin;
  3. UPDATE t1 SET tname='version3' WHERE tid=2;
  4. SELECT * FROM t1;

在会话 1 中,我们可以看到的结果是如下,根据快照的数据所进行的修改结果:

  1. +------+----------+
  2. | tid | tname |
  3. +------+----------+
  4. | 2 | version3 |
  5. | 1 | version1 |
  6. +------+----------+

此时开启会话 2,去查询 t1 的内容:

  1. use test;
  2. SELECT * FROM t1;

看到的结果仍然是原始数据:

  1. +------+----------+
  2. | tid | tname |
  3. +------+----------+
  4. | 1 | version1 |
  5. | 2 | version2 |
  6. +------+----------+

在会话 1 中,我们将事务提交:

  1. COMMIT;

此时,在会话 2 中查询 t1 的内容就变成了提交后的数据:

  1. SELECT * FROM t1;
  2. +------+----------+
  3. | tid | tname |
  4. +------+----------+
  5. | 1 | version1 |
  6. | 2 | version3 |
  7. +------+----------+