rat_dda_write_read_skew.txt

ParamNum:2
0-1-DROP TABLE IF EXISTS t1;
0-1-CREATE TABLE t1 (k INT PRIMARY KEY, v INT);
0-1-INSERT INTO t1 VALUES (0, 0);
0-1-INSERT INTO t1 VALUES (1, 0);
0-1-COMMIT;
1-1-BEGIN;
2-1-update t1 set v=1 where k=0;
3-2-BEGIN;
4-2-update t1 set v=1 where k=1;
5-2-select * from t1 where k=0;
6-1-select * from t1 where k=1; 
7-2-COMMIT;
8-1-commit;
9-3-select * from t1 ORDER BY k;
10-3-COMMIT;

serializable {
5-0,1
6-1,0
9-0,1 1,1

5-0,0
6-1,1
9-0,1 1,1
}