#### db_type: crdb #### #### test_type: dda_write_skew #### #### 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 ----------iat_dda_write_skew 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);' ----------iat_dda_write_skew test run---------- Q1-T1 execute sql: 'BEGIN TRANSACTION;' Q1 finished at: 2022-4-2 16:53:8:400:595 Q2-T1 execute sql: 'SELECT * FROM t1 WHERE k=0; ' current_result: (0,0) *(1) expected_result: (0,0) (2) expected_result: (0,1) Q2 finished at: 2022-4-2 16:53:8:403:821 Q3-T2 execute sql: 'BEGIN TRANSACTION;' Q3 finished at: 2022-4-2 16:53:8:500:401 Q4-T2 execute sql: 'SELECT * FROM t1 WHERE k=1;' current_result: (1,0) (1) expected_result: (1,1) *(2) expected_result: (1,0) Q4 finished at: 2022-4-2 16:53:8:503:880 Q5-T2 execute sql: 'UPDATE t1 SET v=1 WHERE k=0;' Q5 finished at: 2022-4-2 16:53:8:507:190 Q6-T1 execute sql: 'UPDATE t1 SET v=1 WHERE k=1;' Q6 finished at: 2022-4-2 16:53:8:601:965 Q7-T1 execute sql: 'COMMIT TRANSACTION;' Q8-T2 execute sql: 'COMMIT TRANSACTION;' Q8 finished at: 2022-4-2 16:53:8:703:2 Q7 failed reason: Server error [SQL state: 40001]: restart transaction: TransactionRetryWithProtoRefreshError: TransactionRetryError: retry txn (RETRY_SERIALIZABLE): "sql txn" id=8947d20d key=/Table/330/1/1/0 rw=true pri=0.04650676 stat=PENDING epo=0 ts=1648889588.50002684 errcode: HY000 Q7 failed at: 2022-4-2 16:53:9:306:390 Test Result: Rollback Reason: Server error [SQL state: 40001]: restart transaction: TransactionRetryWithProtoRefreshError: TransactionRetryError: retry txn (RETRY_SERIALIZABLE): "sql txn" id=8947d20d key=/Table/330/1/1/0 rw=true pri=0.04650676 stat=PENDING epo=0 ts=1648889588.50002684