2 @message |
assert
checked_mode: table, STDLOG: Records affected: 10
checked_mode: table, STDLOG: ID
checked_mode: table, STDLOG:
checked_mode: table, STDLOG: -140
checked_mode: table, STDLOG: -130
checked_mode: table, STDLOG: -120
checked_mode: table, STDLOG: -110
checked_mode: table, STDLOG: -2
checked_mode: table, STDLOG: -1
checked_mode: table, STDLOG: 11
checked_mode: table, STDLOG: 12
checked_mode: table, STDLOG: 13
checked_mode: table, STDLOG: 14
checked_mode: table, STDLOG: Records affected: 10
checked_mode: table, STDLOG: OLD_ID OP SNAP_NO_RANK
checked_mode: table, STDLOG:
- checked_mode: table, STDLOG: 1 UPD 1
+ checked_mode: table, STDLOG: 1UPD 1
- checked_mode: table, STDLOG: -14 UPD 2
+ checked_mode: table, STDLOG: -14UPD 2
- checked_mode: table, STDLOG: -13 UPD 2
+ checked_mode: table, STDLOG: -13UPD 2
- checked_mode: table, STDLOG: -12 UPD 2
+ checked_mode: table, STDLOG: -12UPD 2
- checked_mode: table, STDLOG: -11 UPD 2
+ checked_mode: table, STDLOG: -11UPD 2
- checked_mode: table, STDLOG: 1 UPD 2
+ checked_mode: table, STDLOG: 1UPD 2
- checked_mode: table, STDLOG: 2 UPD 2
+ checked_mode: table, STDLOG: 2UPD 2
- checked_mode: table, STDLOG: 110 UPD 2
+ checked_mode: table, STDLOG: 110UPD 2
- checked_mode: table, STDLOG: 120 UPD 2
+ checked_mode: table, STDLOG: 120UPD 2
- checked_mode: table, STDLOG: 130 UPD 2
+ checked_mode: table, STDLOG: 130UPD 2
- checked_mode: table, STDLOG: 140 UPD 2
+ checked_mode: table, STDLOG: 140UPD 2
checked_mode: table, STDLOG: Records affected: 11
LOG DETAILS:
2025-07-01 17:49:16.281
2025-07-01 17:49:16.281 act = <firebird.qa.plugin.Action object at [hex]>
2025-07-01 17:49:16.281 fn_worker_sql = WindowsPath('H:/QA/temp/qa2024.tmp/fbqa/test_12508/tmp_worker.sql')
2025-07-01 17:49:16.281 fn_worker_log = WindowsPath('H:/QA/temp/qa2024.tmp/fbqa/test_12508/tmp_worker.log')
2025-07-01 17:49:16.281 fn_worker_err = WindowsPath('H:/QA/temp/qa2024.tmp/fbqa/test_12508/tmp_worker.err')
2025-07-01 17:49:16.281 capsys = <_pytest.capture.CaptureFixture object at [hex]>
2025-07-01 17:49:16.281
2025-07-01 17:49:16.281 @pytest.mark.trace
2025-07-01 17:49:16.281 @pytest.mark.version('>=4.0.2')
2025-07-01 17:49:16.281 def test_1(act: Action, fn_worker_sql: Path, fn_worker_log: Path, fn_worker_err: Path, capsys):
2025-07-01 17:49:16.281 sql_init = (act.files_dir / 'read-consist-sttm-restart-DDL.sql').read_text()
2025-07-01 17:49:16.281
2025-07-01 17:49:16.282 for checked_mode in('table', 'view'):
2025-07-01 17:49:16.282 target_obj = 'test' if checked_mode == 'table' else 'v_test'
2025-07-01 17:49:16.282
2025-07-01 17:49:16.282 SQL_TO_BE_RESTARTED = f"update /* {SQL_TAG_THAT_WE_WAITING_FOR} */ {target_obj} set id = -id order by id ROWS 10"
2025-07-01 17:49:16.282
2025-07-01 17:49:16.282 # add rows with ID = 1, 2:
2025-07-01 17:49:16.282 sql_addi = f'''
2025-07-01 17:49:16.282 set term ^;
2025-07-01 17:49:16.282 execute block as
2025-07-01 17:49:16.282 begin
2025-07-01 17:49:16.282 rdb$set_context('USER_SESSION', 'WHO', 'INIT_DATA');
2025-07-01 17:49:16.282 end
2025-07-01 17:49:16.282 ^
2025-07-01 17:49:16.282 set term ;^
2025-07-01 17:49:16.282 insert into {target_obj}(id, x) select row_number()over(),row_number()over() from rdb$types rows 2;
2025-07-01 17:49:16.282 commit;
2025-07-01 17:49:16.282 '''
2025-07-01 17:49:16.282
2025-07-01 17:49:16.282 act.isql(switches=['-q'], input = ''.join( (sql_init, sql_addi) ) )
2025-07-01 17:49:16.282 # ::: NOTE ::: We have to immediately quit if any error raised in prepare phase.
2025-07-01 17:49:16.283 # See also letter from dimitr, 01-feb-2022 14:46
2025-07-01 17:49:16.283 assert act.stderr == ''
2025-07-01 17:49:16.283 act.reset()
2025-07-01 17:49:16.283
2025-07-01 17:49:16.283 trace_cfg_items = [
2025-07-01 17:49:16.283 'time_threshold = 0',
2025-07-01 17:49:16.283 'log_errors = true',
2025-07-01 17:49:16.283 'log_statement_start = true',
2025-07-01 17:49:16.283 'log_statement_finish = true',
2025-07-01 17:49:16.283 ]
2025-07-01 17:49:16.283
2025-07-01 17:49:16.283 with act.trace(db_events = trace_cfg_items, encoding=locale.getpreferredencoding()):
2025-07-01 17:49:16.283
2025-07-01 17:49:16.283 with act.db.connect() as con_lock_1, act.db.connect() as con_lock_2, act.db.connect() as con_monitoring:
2025-07-01 17:49:16.283
2025-07-01 17:49:16.283 tpb_monitoring = tpb(isolation=Isolation.READ_COMMITTED_RECORD_VERSION, lock_timeout=0)
2025-07-01 17:49:16.283 tx_monitoring = con_monitoring.transaction_manager(tpb_monitoring)
2025-07-01 17:49:16.283 cur_monitoring = tx_monitoring.cursor()
2025-07-01 17:49:16.283
2025-07-01 17:49:16.283 for i,c in enumerate((con_lock_1,con_lock_2)):
2025-07-01 17:49:16.283 sttm = f"execute block as begin rdb$set_context('USER_SESSION', 'WHO', 'LOCKER #{i+1}'); end"
2025-07-01 17:49:16.284 c.execute_immediate(sttm)
2025-07-01 17:49:16.284
2025-07-01 17:49:16.284 #########################
2025-07-01 17:49:16.284 ### L O C K E R - 1 ###
2025-07-01 17:49:16.284 #########################
2025-07-01 17:49:16.284
2025-07-01 17:49:16.284 con_lock_1.execute_immediate( f'update /* LOCKER-1 */ {target_obj} set id=id where id = 2' )
2025-07-01 17:49:16.284
2025-07-01 17:49:16.284 worker_sql = f'''
2025-07-01 17:49:16.284 set list on;
2025-07-01 17:49:16.284 set autoddl off;
2025-07-01 17:49:16.284 set term ^;
2025-07-01 17:49:16.284 execute block returns (whoami varchar(30)) as
2025-07-01 17:49:16.284 begin
2025-07-01 17:49:16.284 whoami = 'WORKER'; -- , ATT#' || current_connection;
2025-07-01 17:49:16.284 rdb$set_context('USER_SESSION','WHO', whoami);
2025-07-01 17:49:16.284 -- suspend;
2025-07-01 17:49:16.284 end
2025-07-01 17:49:16.284 ^
2025-07-01 17:49:16.284 set term ;^
2025-07-01 17:49:16.285 commit;
2025-07-01 17:49:16.285 SET KEEP_TRAN_PARAMS ON;
2025-07-01 17:49:16.285 set transaction read committed read consistency;
2025-07-01 17:49:16.285 set list off;
2025-07-01 17:49:16.285 set wng off;
2025-07-01 17:49:16.285 set count on;
2025-07-01 17:49:16.285
2025-07-01 17:49:16.285 -- WORKER. THIS MUST BE LOCKED NOW BY LOCKER_i:
2025-07-01 17:49:16.285 {SQL_TO_BE_RESTARTED};
2025-07-01 17:49:16.285
2025-07-01 17:49:16.285 -- check results:
2025-07-01 17:49:16.285 -- ###############
2025-07-01 17:49:16.285 select id from {target_obj} order by id; -- this will produce output only after all lockers do their commit/rollback
2025-07-01 17:49:16.285
2025-07-01 17:49:16.285 select v.old_id, v.op, v.snap_no_rank from v_worker_log v where v.op = 'upd';
2025-07-01 17:49:16.285
2025-07-01 17:49:16.285 set width who 10;
2025-07-01 17:49:16.285 -- DO NOT check this! Values can differ here from one run to another!
2025-07-01 17:49:16.285 -- select id, trn, who, old_id, new_id, op, rec_vers, global_cn, snap_no from tlog_done order by id;
2025-07-01 17:49:16.285
2025-07-01 17:49:16.286 rollback;
2025-07-01 17:49:16.289
2025-07-01 17:49:16.289 '''
2025-07-01 17:49:16.289
2025-07-01 17:49:16.289 fn_worker_sql.write_text(worker_sql)
2025-07-01 17:49:16.289
2025-07-01 17:49:16.289 with fn_worker_log.open(mode='w') as hang_out, fn_worker_err.open(mode='w') as hang_err:
2025-07-01 17:49:16.289
2025-07-01 17:49:16.289 ############################################################################
2025-07-01 17:49:16.289 ### L A U N C H W O R K E R U S I N G I S Q L, A S Y N C. ###
2025-07-01 17:49:16.289 ############################################################################
2025-07-01 17:49:16.289 p_worker = subprocess.Popen([act.vars['isql'], '-i', str(fn_worker_sql),
2025-07-01 17:49:16.289 '-user', act.db.user,
2025-07-01 17:49:16.289 '-password', act.db.password,
2025-07-01 17:49:16.289 '-pag', '999999',
2025-07-01 17:49:16.289 act.db.dsn
2025-07-01 17:49:16.289 ],
2025-07-01 17:49:16.289 stdout = hang_out,
2025-07-01 17:49:16.289 stderr = hang_err
2025-07-01 17:49:16.289 )
2025-07-01 17:49:16.290 # NB: when ISQL will establish attach, first record that it must lock is ID = 1 -- see above SQL_TO_BE_RESTARTED
2025-07-01 17:49:16.290 # We must to ensure that this (worker) attachment has been really created and LOCKS this record:
2025-07-01 17:49:16.290 #
2025-07-01 17:49:16.290 wait_for_record_become_locked(tx_monitoring, cur_monitoring, f'update {target_obj} set id=id where id=1', SQL_TAG_THAT_WE_WAITING_FOR)
2025-07-01 17:49:16.290
2025-07-01 17:49:16.290
2025-07-01 17:49:16.290 #########################
2025-07-01 17:49:16.290 ### L O C K E R - 2 ###
2025-07-01 17:49:16.290 #########################
2025-07-01 17:49:16.290 con_lock_2.execute_immediate( f'insert /* LOCKER-2 */ into {target_obj}(id) values(110)' )
2025-07-01 17:49:16.290 con_lock_2.execute_immediate( f'insert /* LOCKER-2 */ into {target_obj}(id) values(-11)' )
2025-07-01 17:49:16.290 con_lock_2.commit()
2025-07-01 17:49:16.290 con_lock_2.execute_immediate( f'update /* LOCKER-2 */ {target_obj} set id=id where id = 110' )
2025-07-01 17:49:16.290 con_lock_2.execute_immediate( f'update /* LOCKER-2 */ {target_obj} set id=id where id = -11' )
2025-07-01 17:49:16.290
2025-07-01 17:49:16.290 #########################
2025-07-01 17:49:16.290 ### L O C K E R - 1 ###
2025-07-01 17:49:16.290 #########################
2025-07-01 17:49:16.290 con_lock_1.commit() # releases record with ID = 2 ==> now it can be locked by worker.
2025-07-01 17:49:16.290
2025-07-01 17:49:16.291 # We have to WAIT HERE until worker will actually 'catch' just released record with ID = 2.
2025-07-01 17:49:16.291 #
2025-07-01 17:49:16.291 wait_for_record_become_locked(tx_monitoring, cur_monitoring, f'update {target_obj} set id=id where id=2', SQL_TAG_THAT_WE_WAITING_FOR)
2025-07-01 17:49:16.291 # If we come here then it means that record with ID = 2 for sure is locked by WORKER.
2025-07-01 17:49:16.291
2025-07-01 17:49:16.291 con_lock_1.execute_immediate( f'insert /* LOCKER-1 */ into {target_obj}(id) values(120)' )
2025-07-01 17:49:16.291 con_lock_1.execute_immediate( f'insert /* LOCKER-1 */ into {target_obj}(id) values(-12)' )
2025-07-01 17:49:16.291 con_lock_1.commit()
2025-07-01 17:49:16.291 con_lock_1.execute_immediate( f'update /* LOCKER-1 */ {target_obj} set id=id where id = 120' )
2025-07-01 17:49:16.291 con_lock_1.execute_immediate( f'update /* LOCKER-1 */ {target_obj} set id=id where id = -12' )
2025-07-01 17:49:16.291
2025-07-01 17:49:16.291
2025-07-01 17:49:16.291 #########################
2025-07-01 17:49:16.291 ### L O C K E R - 2 ###
2025-07-01 17:49:16.291 #########################
2025-07-01 17:49:16.291 con_lock_2.commit() # releases TWO records with ID = -11 and 110.
2025-07-01 17:49:16.291
2025-07-01 17:49:16.291 # We have to WAIT HERE until worker will actually 'catch' just released records, in the order of its cursor: first with ID = -11, then with ID = 110.
2025-07-01 17:49:16.291 #
2025-07-01 17:49:16.292 wait_for_record_become_locked(tx_monitoring, cur_monitoring, f'update {target_obj} set id=id where id = 110', SQL_TAG_THAT_WE_WAITING_FOR)
2025-07-01 17:49:16.292 # If we come here then it means that TWO records with ID = -11 and 110 for sure are locked by WORKER.
2025-07-01 17:49:16.292
2025-07-01 17:49:16.292
2025-07-01 17:49:16.292 con_lock_2.execute_immediate( f'insert into /* LOCKER-2 */ {target_obj}(id) values(130)' )
2025-07-01 17:49:16.292 con_lock_2.execute_immediate( f'insert into /* LOCKER-2 */ {target_obj}(id) values(-13)' )
2025-07-01 17:49:16.292 con_lock_2.commit()
2025-07-01 17:49:16.292 con_lock_2.execute_immediate( f'update /* LOCKER-2 */ {target_obj} set id=id where id = 130' )
2025-07-01 17:49:16.292 con_lock_2.execute_immediate( f'update /* LOCKER-2 */ {target_obj} set id=id where id = -13' )
2025-07-01 17:49:16.292
2025-07-01 17:49:16.292 #########################
2025-07-01 17:49:16.292 ### L O C K E R - 1 ###
2025-07-01 17:49:16.292 #########################
2025-07-01 17:49:16.292 con_lock_1.commit() # releases TWO records with ID = -12 and 120.
2025-07-01 17:49:16.292
2025-07-01 17:49:16.292 # We have to WAIT HERE until worker will actually 'catch' just released records, in the order of its cursor: first with ID = -12, then with ID = 120.
2025-07-01 17:49:16.292 #
2025-07-01 17:49:16.292 wait_for_record_become_locked(tx_monitoring, cur_monitoring, f'update {target_obj} set id=id where id = 120', SQL_TAG_THAT_WE_WAITING_FOR)
2025-07-01 17:49:16.292 # If we come here then it means that TWO records with ID = -12 and 120 for sure are locked by WORKER.
2025-07-01 17:49:16.293
2025-07-01 17:49:16.293
2025-07-01 17:49:16.293 con_lock_1.execute_immediate( f'insert /* LOCKER-1 */ into {target_obj}(id) values(140)' )
2025-07-01 17:49:16.293 con_lock_1.execute_immediate( f'insert /* LOCKER-1 */ into {target_obj}(id) values(-14)' )
2025-07-01 17:49:16.293 con_lock_1.commit()
2025-07-01 17:49:16.293 con_lock_1.execute_immediate( f'update /* LOCKER-1 */ {target_obj} set id=id where id = 140' )
2025-07-01 17:49:16.293 con_lock_1.execute_immediate( f'update /* LOCKER-1 */ {target_obj} set id=id where id = -14' )
2025-07-01 17:49:16.293
2025-07-01 17:49:16.293 #########################
2025-07-01 17:49:16.293 ### L O C K E R - 2 ###
2025-07-01 17:49:16.293 #########################
2025-07-01 17:49:16.293 con_lock_2.commit()
2025-07-01 17:49:16.293
2025-07-01 17:49:16.293 # We have to WAIT HERE until worker will actually 'catch' just released records, in the order of its cursor: first with ID = -13, then with ID = 130.
2025-07-01 17:49:16.293 #
2025-07-01 17:49:16.293 wait_for_record_become_locked(tx_monitoring, cur_monitoring, f'update {target_obj} set id=id where id = 130', SQL_TAG_THAT_WE_WAITING_FOR)
2025-07-01 17:49:16.293 # If we come here then it means that TWO records with ID = -13 and 130 for sure are locked by WORKER.
2025-07-01 17:49:16.293
2025-07-01 17:49:16.293 #########################
2025-07-01 17:49:16.293 ### L O C K E R - 1 ###
2025-07-01 17:49:16.294 #########################
2025-07-01 17:49:16.294 con_lock_1.commit() # WORKER will complete his job after this
2025-07-01 17:49:16.294
2025-07-01 17:49:16.294
2025-07-01 17:49:16.294 # Here we wait for ISQL complete its mission:
2025-07-01 17:49:16.294 p_worker.wait()
2025-07-01 17:49:16.294
2025-07-01 17:49:16.294 #< with act.db.connect()
2025-07-01 17:49:16.294
2025-07-01 17:49:16.294 for g in (fn_worker_log, fn_worker_err):
2025-07-01 17:49:16.294 with g.open() as f:
2025-07-01 17:49:16.294 for line in f:
2025-07-01 17:49:16.294 if line.split():
2025-07-01 17:49:16.294 if g == fn_worker_log:
2025-07-01 17:49:16.294 print(f'checked_mode: {checked_mode}, STDLOG: {line}')
2025-07-01 17:49:16.294 else:
2025-07-01 17:49:16.294 print(f'UNEXPECTED STDERR {line}')
2025-07-01 17:49:16.294
2025-07-01 17:49:16.294 expected_stdout_worker = f"""
2025-07-01 17:49:16.294 checked_mode: {checked_mode}, STDLOG: Records affected: 10
2025-07-01 17:49:16.295 checked_mode: {checked_mode}, STDLOG: ID
2025-07-01 17:49:16.295 checked_mode: {checked_mode}, STDLOG:
2025-07-01 17:49:16.295 checked_mode: {checked_mode}, STDLOG: -140
2025-07-01 17:49:16.295 checked_mode: {checked_mode}, STDLOG: -130
2025-07-01 17:49:16.295 checked_mode: {checked_mode}, STDLOG: -120
2025-07-01 17:49:16.295 checked_mode: {checked_mode}, STDLOG: -110
2025-07-01 17:49:16.295 checked_mode: {checked_mode}, STDLOG: -2
2025-07-01 17:49:16.295 checked_mode: {checked_mode}, STDLOG: -1
2025-07-01 17:49:16.295 checked_mode: {checked_mode}, STDLOG: 11
2025-07-01 17:49:16.295 checked_mode: {checked_mode}, STDLOG: 12
2025-07-01 17:49:16.295 checked_mode: {checked_mode}, STDLOG: 13
2025-07-01 17:49:16.295 checked_mode: {checked_mode}, STDLOG: 14
2025-07-01 17:49:16.295 checked_mode: {checked_mode}, STDLOG: Records affected: 10
2025-07-01 17:49:16.295 checked_mode: {checked_mode}, STDLOG: OLD_ID OP SNAP_NO_RANK
2025-07-01 17:49:16.295 checked_mode: {checked_mode}, STDLOG:
2025-07-01 17:49:16.295 checked_mode: {checked_mode}, STDLOG: 1 UPD 1
2025-07-01 17:49:16.295 checked_mode: {checked_mode}, STDLOG: -14 UPD 2
2025-07-01 17:49:16.295 checked_mode: {checked_mode}, STDLOG: -13 UPD 2
2025-07-01 17:49:16.295 checked_mode: {checked_mode}, STDLOG: -12 UPD 2
2025-07-01 17:49:16.295 checked_mode: {checked_mode}, STDLOG: -11 UPD 2
2025-07-01 17:49:16.295 checked_mode: {checked_mode}, STDLOG: 1 UPD 2
2025-07-01 17:49:16.296 checked_mode: {checked_mode}, STDLOG: 2 UPD 2
2025-07-01 17:49:16.296 checked_mode: {checked_mode}, STDLOG: 110 UPD 2
2025-07-01 17:49:16.296 checked_mode: {checked_mode}, STDLOG: 120 UPD 2
2025-07-01 17:49:16.296 checked_mode: {checked_mode}, STDLOG: 130 UPD 2
2025-07-01 17:49:16.296 checked_mode: {checked_mode}, STDLOG: 140 UPD 2
2025-07-01 17:49:16.296 checked_mode: {checked_mode}, STDLOG: Records affected: 11
2025-07-01 17:49:16.296 """
2025-07-01 17:49:16.296
2025-07-01 17:49:16.296 act.expected_stdout = expected_stdout_worker
2025-07-01 17:49:16.296 act.stdout = capsys.readouterr().out
2025-07-01 17:49:16.296 > assert act.clean_stdout == act.clean_expected_stdout
2025-07-01 17:49:16.296 E assert
2025-07-01 17:49:16.296 E checked_mode: table, STDLOG: Records affected: 10
2025-07-01 17:49:16.296 E checked_mode: table, STDLOG: ID
2025-07-01 17:49:16.296 E checked_mode: table, STDLOG:
2025-07-01 17:49:16.296 E checked_mode: table, STDLOG: -140
2025-07-01 17:49:16.296 E checked_mode: table, STDLOG: -130
2025-07-01 17:49:16.296 E checked_mode: table, STDLOG: -120
2025-07-01 17:49:16.296 E checked_mode: table, STDLOG: -110
2025-07-01 17:49:16.296 E checked_mode: table, STDLOG: -2
2025-07-01 17:49:16.297 E checked_mode: table, STDLOG: -1
2025-07-01 17:49:16.297 E checked_mode: table, STDLOG: 11
2025-07-01 17:49:16.297 E checked_mode: table, STDLOG: 12
2025-07-01 17:49:16.297 E checked_mode: table, STDLOG: 13
2025-07-01 17:49:16.297 E checked_mode: table, STDLOG: 14
2025-07-01 17:49:16.297 E checked_mode: table, STDLOG: Records affected: 10
2025-07-01 17:49:16.297 E checked_mode: table, STDLOG: OLD_ID OP SNAP_NO_RANK
2025-07-01 17:49:16.297 E checked_mode: table, STDLOG:
2025-07-01 17:49:16.297 E - checked_mode: table, STDLOG: 1 UPD 1
2025-07-01 17:49:16.297 E + checked_mode: table, STDLOG: 1UPD 1
2025-07-01 17:49:16.297 E - checked_mode: table, STDLOG: -14 UPD 2
2025-07-01 17:49:16.297 E + checked_mode: table, STDLOG: -14UPD 2
2025-07-01 17:49:16.297 E - checked_mode: table, STDLOG: -13 UPD 2
2025-07-01 17:49:16.297 E + checked_mode: table, STDLOG: -13UPD 2
2025-07-01 17:49:16.297 E - checked_mode: table, STDLOG: -12 UPD 2
2025-07-01 17:49:16.297 E + checked_mode: table, STDLOG: -12UPD 2
2025-07-01 17:49:16.297 E - checked_mode: table, STDLOG: -11 UPD 2
2025-07-01 17:49:16.298 E + checked_mode: table, STDLOG: -11UPD 2
2025-07-01 17:49:16.298 E - checked_mode: table, STDLOG: 1 UPD 2
2025-07-01 17:49:16.298 E + checked_mode: table, STDLOG: 1UPD 2
2025-07-01 17:49:16.298 E - checked_mode: table, STDLOG: 2 UPD 2
2025-07-01 17:49:16.298 E + checked_mode: table, STDLOG: 2UPD 2
2025-07-01 17:49:16.298 E - checked_mode: table, STDLOG: 110 UPD 2
2025-07-01 17:49:16.298 E + checked_mode: table, STDLOG: 110UPD 2
2025-07-01 17:49:16.298 E - checked_mode: table, STDLOG: 120 UPD 2
2025-07-01 17:49:16.298 E + checked_mode: table, STDLOG: 120UPD 2
2025-07-01 17:49:16.298 E - checked_mode: table, STDLOG: 130 UPD 2
2025-07-01 17:49:16.298 E + checked_mode: table, STDLOG: 130UPD 2
2025-07-01 17:49:16.298 E - checked_mode: table, STDLOG: 140 UPD 2
2025-07-01 17:49:16.298 E + checked_mode: table, STDLOG: 140UPD 2
2025-07-01 17:49:16.299 E checked_mode: table, STDLOG: Records affected: 11
2025-07-01 17:49:16.299
2025-07-01 17:49:16.299 tests\functional\transactions\test_read_consist_sttm_restart_on_update_03.py:480: AssertionError
2025-07-01 17:49:16.299 ---------------------------- Captured stdout setup ----------------------------
2025-07-01 17:49:16.299 Creating db: localhost:H:\QA\temp\qa2024.tmp\fbqa\test_12508\test.fdb [page_size=None, sql_dialect=None, charset='NONE', user=SYSDBA, password=masterkey]
|
3 #text |
act = <firebird.qa.plugin.Action pytest object at [hex]>
fn_worker_sql = WindowsPath('H:/QA/temp/qa2024.tmp/fbqa/test_12508/tmp_worker.sql')
fn_worker_log = WindowsPath('H:/QA/temp/qa2024.tmp/fbqa/test_12508/tmp_worker.log')
fn_worker_err = WindowsPath('H:/QA/temp/qa2024.tmp/fbqa/test_12508/tmp_worker.err')
capsys = <_pytest.capture.CaptureFixture pytest object at [hex]>
@pytest.mark.trace
@pytest.mark.version('>=4.0.2')
def test_1(act: Action, fn_worker_sql: Path, fn_worker_log: Path, fn_worker_err: Path, capsys):
sql_init = (act.files_dir / 'read-consist-sttm-restart-DDL.sql').read_text()
for checked_mode in('table', 'view'):
target_obj = 'test' if checked_mode == 'table' else 'v_test'
SQL_TO_BE_RESTARTED = f"update /* {SQL_TAG_THAT_WE_WAITING_FOR} */ {target_obj} set id = -id order by id ROWS 10"
# add rows with ID = 1, 2:
sql_addi = f'''
set term ^;
execute block as
begin
rdb$set_context('USER_SESSION', 'WHO', 'INIT_DATA');
end
^
set term ;^
insert into {target_obj}(id, x) select row_number()over(),row_number()over() from rdb$types rows 2;
commit;
'''
act.isql(switches=['-q'], input = ''.join( (sql_init, sql_addi) ) )
# ::: NOTE ::: We have to immediately quit if any error raised in prepare phase.
# See also letter from dimitr, 01-feb-2022 14:46
assert act.stderr == ''
act.reset()
trace_cfg_items = [
'time_threshold = 0',
'log_errors = true',
'log_statement_start = true',
'log_statement_finish = true',
]
with act.trace(db_events = trace_cfg_items, encoding=locale.getpreferredencoding()):
with act.db.connect() as con_lock_1, act.db.connect() as con_lock_2, act.db.connect() as con_monitoring:
tpb_monitoring = tpb(isolation=Isolation.READ_COMMITTED_RECORD_VERSION, lock_timeout=0)
tx_monitoring = con_monitoring.transaction_manager(tpb_monitoring)
cur_monitoring = tx_monitoring.cursor()
for i,c in enumerate((con_lock_1,con_lock_2)):
sttm = f"execute block as begin rdb$set_context('USER_SESSION', 'WHO', 'LOCKER #{i+1}'); end"
c.execute_immediate(sttm)
#########################
### L O C K E R - 1 ###
#########################
con_lock_1.execute_immediate( f'update /* LOCKER-1 */ {target_obj} set id=id where id = 2' )
worker_sql = f'''
set list on;
set autoddl off;
set term ^;
execute block returns (whoami varchar(30)) as
begin
whoami = 'WORKER'; -- , ATT#' || current_connection;
rdb$set_context('USER_SESSION','WHO', whoami);
-- suspend;
end
^
set term ;^
commit;
SET KEEP_TRAN_PARAMS ON;
set transaction read committed read consistency;
set list off;
set wng off;
set count on;
-- WORKER. THIS MUST BE LOCKED NOW BY LOCKER_i:
{SQL_TO_BE_RESTARTED};
-- check results:
-- ###############
select id from {target_obj} order by id; -- this will produce output only after all lockers do their commit/rollback
select v.old_id, v.op, v.snap_no_rank from v_worker_log v where v.op = 'upd';
set width who 10;
-- DO NOT check this! Values can differ here from one run to another!
-- select id, trn, who, old_id, new_id, op, rec_vers, global_cn, snap_no from tlog_done order by id;
rollback;
'''
fn_worker_sql.write_text(worker_sql)
with fn_worker_log.open(mode='w') as hang_out, fn_worker_err.open(mode='w') as hang_err:
############################################################################
### L A U N C H W O R K E R U S I N G I S Q L, A S Y N C. ###
############################################################################
p_worker = subprocess.Popen([act.vars['isql'], '-i', str(fn_worker_sql),
'-user', act.db.user,
'-password', act.db.password,
'-pag', '999999',
act.db.dsn
],
stdout = hang_out,
stderr = hang_err
)
# NB: when ISQL will establish attach, first record that it must lock is ID = 1 -- see above SQL_TO_BE_RESTARTED
# We must to ensure that this (worker) attachment has been really created and LOCKS this record:
#
wait_for_record_become_locked(tx_monitoring, cur_monitoring, f'update {target_obj} set id=id where id=1', SQL_TAG_THAT_WE_WAITING_FOR)
#########################
### L O C K E R - 2 ###
#########################
con_lock_2.execute_immediate( f'insert /* LOCKER-2 */ into {target_obj}(id) values(110)' )
con_lock_2.execute_immediate( f'insert /* LOCKER-2 */ into {target_obj}(id) values(-11)' )
con_lock_2.commit()
con_lock_2.execute_immediate( f'update /* LOCKER-2 */ {target_obj} set id=id where id = 110' )
con_lock_2.execute_immediate( f'update /* LOCKER-2 */ {target_obj} set id=id where id = -11' )
#########################
### L O C K E R - 1 ###
#########################
con_lock_1.commit() # releases record with ID = 2 ==> now it can be locked by worker.
# We have to WAIT HERE until worker will actually 'catch' just released record with ID = 2.
#
wait_for_record_become_locked(tx_monitoring, cur_monitoring, f'update {target_obj} set id=id where id=2', SQL_TAG_THAT_WE_WAITING_FOR)
# If we come here then it means that record with ID = 2 for sure is locked by WORKER.
con_lock_1.execute_immediate( f'insert /* LOCKER-1 */ into {target_obj}(id) values(120)' )
con_lock_1.execute_immediate( f'insert /* LOCKER-1 */ into {target_obj}(id) values(-12)' )
con_lock_1.commit()
con_lock_1.execute_immediate( f'update /* LOCKER-1 */ {target_obj} set id=id where id = 120' )
con_lock_1.execute_immediate( f'update /* LOCKER-1 */ {target_obj} set id=id where id = -12' )
#########################
### L O C K E R - 2 ###
#########################
con_lock_2.commit() # releases TWO records with ID = -11 and 110.
# We have to WAIT HERE until worker will actually 'catch' just released records, in the order of its cursor: first with ID = -11, then with ID = 110.
#
wait_for_record_become_locked(tx_monitoring, cur_monitoring, f'update {target_obj} set id=id where id = 110', SQL_TAG_THAT_WE_WAITING_FOR)
# If we come here then it means that TWO records with ID = -11 and 110 for sure are locked by WORKER.
con_lock_2.execute_immediate( f'insert into /* LOCKER-2 */ {target_obj}(id) values(130)' )
con_lock_2.execute_immediate( f'insert into /* LOCKER-2 */ {target_obj}(id) values(-13)' )
con_lock_2.commit()
con_lock_2.execute_immediate( f'update /* LOCKER-2 */ {target_obj} set id=id where id = 130' )
con_lock_2.execute_immediate( f'update /* LOCKER-2 */ {target_obj} set id=id where id = -13' )
#########################
### L O C K E R - 1 ###
#########################
con_lock_1.commit() # releases TWO records with ID = -12 and 120.
# We have to WAIT HERE until worker will actually 'catch' just released records, in the order of its cursor: first with ID = -12, then with ID = 120.
#
wait_for_record_become_locked(tx_monitoring, cur_monitoring, f'update {target_obj} set id=id where id = 120', SQL_TAG_THAT_WE_WAITING_FOR)
# If we come here then it means that TWO records with ID = -12 and 120 for sure are locked by WORKER.
con_lock_1.execute_immediate( f'insert /* LOCKER-1 */ into {target_obj}(id) values(140)' )
con_lock_1.execute_immediate( f'insert /* LOCKER-1 */ into {target_obj}(id) values(-14)' )
con_lock_1.commit()
con_lock_1.execute_immediate( f'update /* LOCKER-1 */ {target_obj} set id=id where id = 140' )
con_lock_1.execute_immediate( f'update /* LOCKER-1 */ {target_obj} set id=id where id = -14' )
#########################
### L O C K E R - 2 ###
#########################
con_lock_2.commit()
# We have to WAIT HERE until worker will actually 'catch' just released records, in the order of its cursor: first with ID = -13, then with ID = 130.
#
wait_for_record_become_locked(tx_monitoring, cur_monitoring, f'update {target_obj} set id=id where id = 130', SQL_TAG_THAT_WE_WAITING_FOR)
# If we come here then it means that TWO records with ID = -13 and 130 for sure are locked by WORKER.
#########################
### L O C K E R - 1 ###
#########################
con_lock_1.commit() # WORKER will complete his job after this
# Here we wait for ISQL complete its mission:
p_worker.wait()
#< with act.db.connect()
for g in (fn_worker_log, fn_worker_err):
with g.open() as f:
for line in f:
if line.split():
if g == fn_worker_log:
print(f'checked_mode: {checked_mode}, STDLOG: {line}')
else:
print(f'UNEXPECTED STDERR {line}')
expected_stdout_worker = f"""
checked_mode: {checked_mode}, STDLOG: Records affected: 10
checked_mode: {checked_mode}, STDLOG: ID
checked_mode: {checked_mode}, STDLOG:
checked_mode: {checked_mode}, STDLOG: -140
checked_mode: {checked_mode}, STDLOG: -130
checked_mode: {checked_mode}, STDLOG: -120
checked_mode: {checked_mode}, STDLOG: -110
checked_mode: {checked_mode}, STDLOG: -2
checked_mode: {checked_mode}, STDLOG: -1
checked_mode: {checked_mode}, STDLOG: 11
checked_mode: {checked_mode}, STDLOG: 12
checked_mode: {checked_mode}, STDLOG: 13
checked_mode: {checked_mode}, STDLOG: 14
checked_mode: {checked_mode}, STDLOG: Records affected: 10
checked_mode: {checked_mode}, STDLOG: OLD_ID OP SNAP_NO_RANK
checked_mode: {checked_mode}, STDLOG:
checked_mode: {checked_mode}, STDLOG: 1 UPD 1
checked_mode: {checked_mode}, STDLOG: -14 UPD 2
checked_mode: {checked_mode}, STDLOG: -13 UPD 2
checked_mode: {checked_mode}, STDLOG: -12 UPD 2
checked_mode: {checked_mode}, STDLOG: -11 UPD 2
checked_mode: {checked_mode}, STDLOG: 1 UPD 2
checked_mode: {checked_mode}, STDLOG: 2 UPD 2
checked_mode: {checked_mode}, STDLOG: 110 UPD 2
checked_mode: {checked_mode}, STDLOG: 120 UPD 2
checked_mode: {checked_mode}, STDLOG: 130 UPD 2
checked_mode: {checked_mode}, STDLOG: 140 UPD 2
checked_mode: {checked_mode}, STDLOG: Records affected: 11
"""
act.expected_stdout = expected_stdout_worker
act.stdout = capsys.readouterr().out
> assert act.clean_stdout == act.clean_expected_stdout
E assert
E checked_mode: table, STDLOG: Records affected: 10
E checked_mode: table, STDLOG: ID
E checked_mode: table, STDLOG:
E checked_mode: table, STDLOG: -140
E checked_mode: table, STDLOG: -130
E checked_mode: table, STDLOG: -120
E checked_mode: table, STDLOG: -110
E checked_mode: table, STDLOG: -2
E checked_mode: table, STDLOG: -1
E checked_mode: table, STDLOG: 11
E checked_mode: table, STDLOG: 12
E checked_mode: table, STDLOG: 13
E checked_mode: table, STDLOG: 14
E checked_mode: table, STDLOG: Records affected: 10
E checked_mode: table, STDLOG: OLD_ID OP SNAP_NO_RANK
E checked_mode: table, STDLOG:
E - checked_mode: table, STDLOG: 1 UPD 1
E + checked_mode: table, STDLOG: 1UPD 1
E - checked_mode: table, STDLOG: -14 UPD 2
E + checked_mode: table, STDLOG: -14UPD 2
E - checked_mode: table, STDLOG: -13 UPD 2
E + checked_mode: table, STDLOG: -13UPD 2
E - checked_mode: table, STDLOG: -12 UPD 2
E + checked_mode: table, STDLOG: -12UPD 2
E - checked_mode: table, STDLOG: -11 UPD 2
E + checked_mode: table, STDLOG: -11UPD 2
E - checked_mode: table, STDLOG: 1 UPD 2
E + checked_mode: table, STDLOG: 1UPD 2
E - checked_mode: table, STDLOG: 2 UPD 2
E + checked_mode: table, STDLOG: 2UPD 2
E - checked_mode: table, STDLOG: 110 UPD 2
E + checked_mode: table, STDLOG: 110UPD 2
E - checked_mode: table, STDLOG: 120 UPD 2
E + checked_mode: table, STDLOG: 120UPD 2
E - checked_mode: table, STDLOG: 130 UPD 2
E + checked_mode: table, STDLOG: 130UPD 2
E - checked_mode: table, STDLOG: 140 UPD 2
E + checked_mode: table, STDLOG: 140UPD 2
E checked_mode: table, STDLOG: Records affected: 11
tests\functional\transactions\test_read_consist_sttm_restart_on_update_03.py:480: AssertionError
|