#### db_type: crdb #### #### test_type: mda_step_rat #### #### isolation: serializable #### current_result: The query result of the current SQL statement. Each row of table is separated by a space, and the fields in each row are separated by commas expected_result: The expected result is the expected query result for each SQL that conforms to the serializability theory set TXN_ISOLATION = serializable for each session ----------rat_mda_step_rat test prepare---------- Q0-T1 execute sql: 'DROP TABLE IF EXISTS t1;' Q0-T1 execute sql: 'CREATE TABLE t1 (k INT PRIMARY KEY, v INT);' Q0-T1 execute sql: 'INSERT INTO t1 VALUES (0, 0);' Q0-T1 execute sql: 'INSERT INTO t1 VALUES (1, 0);' Q0-T1 execute sql: 'INSERT INTO t1 VALUES (2, 0);' ----------rat_mda_step_rat test run---------- Q1-T1 execute sql: 'BEGIN TRANSACTION;' Q1 finished at: 2022-4-2 16:52:41:759:44 Q2-T1 execute sql: 'UPDATE t1 SET v=1 WHERE k=0;' Q2 finished at: 2022-4-2 16:52:41:762:637 Q3-T2 execute sql: 'BEGIN TRANSACTION;' Q3 finished at: 2022-4-2 16:52:41:858:928 Q4-T2 execute sql: 'UPDATE t1 SET v=1 WHERE k=1;' Q4 finished at: 2022-4-2 16:52:41:863:128 Q5-T2 execute sql: 'SELECT * FROM t1 WHERE k=0;' Q6-T3 execute sql: 'BEGIN TRANSACTION;' Q6 finished at: 2022-4-2 16:52:41:961:857 Q7-T3 execute sql: 'UPDATE t1 SET v=1 WHERE k=2;' Q7 finished at: 2022-4-2 16:52:41:969:486 Q8-T3 execute sql: 'SELECT * FROM t1 WHERE k=1;' Q9-T1 execute sql: 'SELECT * FROM t1 WHERE k=2;' current_result: (2,0) *(1) expected_result: (2,0) *(2) expected_result: (2,0) *(3) expected_result: (2,0) (4) expected_result: (2,1) (5) expected_result: (2,1) (6) expected_result: (2,1) Q9 finished at: 2022-4-2 16:52:42:61:131 Q10-T1 execute sql: 'COMMIT TRANSACTION;' Q10 finished at: 2022-4-2 16:52:42:65:429 current_result: (0,1) *(1) expected_result: (0,1) *(2) expected_result: (0,1) (3) expected_result: (0,0) (4) expected_result: (0,0) *(5) expected_result: (0,1) (6) expected_result: (0,0) Q5 finished at: 2022-4-2 16:52:42:74:447 Q11-T2 execute sql: 'COMMIT TRANSACTION;' Q11 finished at: 2022-4-2 16:52:42:166:622 current_result: (1,1) *(1) expected_result: (1,1) (2) expected_result: (1,0) *(3) expected_result: (1,1) *(4) expected_result: (1,1) (5) expected_result: (1,0) (6) expected_result: (1,0) Q8 finished at: 2022-4-2 16:52:42:175:58 Q12-T3 execute sql: 'COMMIT TRANSACTION;' Q12 finished at: 2022-4-2 16:52:42:263:624 Q13-T4 execute sql: 'SELECT * FROM t1 ORDER BY k;' current_result: (0,1) (1,1) (2,1) *(1) expected_result: (0,1) (1,1) (2,1) *(2) expected_result: (0,1) (1,1) (2,1) *(3) expected_result: (0,1) (1,1) (2,1) *(4) expected_result: (0,1) (1,1) (2,1) *(5) expected_result: (0,1) (1,1) (2,1) *(6) expected_result: (0,1) (1,1) (2,1) Q13 finished at: 2022-4-2 16:52:42:268:672 The current result is consistent with the [(1) expected_result] of serial scheduling Test Result: Avoid Reason: Data anomaly did not occur and the data is consistent