#### db_type: gp #### #### test_type: dda_double_write_skew1_committed #### #### isolation: read-committed #### 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 = read-committed for each session ----------rat_dda_double_write_skew1_committed test prepare---------- Q0-T1 execute sql: 'DROP TABLE IF EXISTS t1;' Q0-T1 execute sql: 'DROP TABLE IF EXISTS t2;' Q0-T1 execute sql: 'CREATE TABLE t1 (k INT PRIMARY KEY, v INT);' Q0-T1 execute sql: 'CREATE TABLE t2 (k INT PRIMARY KEY, v INT);' Q0-T1 execute sql: 'INSERT INTO t1 VALUES (0, 0);' Q0-T1 execute sql: 'INSERT INTO t2 VALUES (1, 0);' Q0-T1 execute opt: 'COMMIT'; ----------rat_dda_double_write_skew1_committed test run---------- Q1-T1 execute opt: 'BEGIN' Q1 finished at: 2022-4-11 12:27:40:986:935 Q2-T1 execute sql: 'UPDATE t1 SET v=1 WHERE k=0;' Q2 finished at: 2022-4-11 12:27:40:999:448 Q3-T2 execute opt: 'BEGIN' Q3 finished at: 2022-4-11 12:27:41:986:896 Q4-T2 execute sql: 'UPDATE t2 SET v=1 WHERE k=1;' Q4 finished at: 2022-4-11 12:27:42:6:552 Q5-T2 execute sql: 'SELECT * FROM t1 WHERE k=0;' current_result: (0,0) (1) expected_result: (0,1) *(2) expected_result: (0,0) Q5 finished at: 2022-4-11 12:27:42:12:749 Q6-T2 execute opt: 'COMMIT'; Q6 finished at: 2022-4-11 12:27:42:29:768 Q7-T1 execute sql: 'UPDATE t2 SET v=2 WHERE k=1;' Q7 finished at: 2022-4-11 12:27:42:995:398 Q8-T1 execute opt: 'COMMIT'; Q8 finished at: 2022-4-11 12:27:43:19:82 Q9-T3 execute sql: 'SELECT * FROM t1 ORDER BY k;' current_result: (0,1) *(1) expected_result: (0,1) *(2) expected_result: (0,1) Q9 finished at: 2022-4-11 12:27:52:995:249 Q10-T3 execute sql: 'SELECT * FROM t2 ORDER BY k;' current_result: (1,2) (1) expected_result: (1,1) *(2) expected_result: (1,2) Q10 finished at: 2022-4-11 12:27:53:0:336 Q11-T3 execute opt: 'COMMIT'; Q11 finished at: 2022-4-11 12:27:53:0:541 The current result is consistent with the [(2) expected_result] of serial scheduling Test Result: Avoid Reason: Data anomaly did not occur and the data is consistent