mirror of
https://github.com/MariaDB/server.git
synced 2025-01-29 10:14:19 +01:00
14cc7e7d6e
First UPDATE under START TRANSACTION does nothing (nstate= nstate), but anyway generates history. Since update vector is empty we get into (!uvect->n_fields) branch which only adds history row, but does not do update. After that we get current row with wrong (old) row_start value and because of that second UPDATE tries to insert history row again because it sees trx->id != row_start which is the guard to avoid inserting multiple trx_id-based history rows under same transaction (because we have same trx_id and we get duplicate error and this bug demostrates that). But this try anyway fails because PK is based on row_end which is constant under same transaction, so PK didn't change. The fix moves vers_make_update() to an earlier stage of calc_row_difference(). Therefore it prepares update vector before (!uvect->n_fields) check and never gets into that branch, hence no need to handle versioning inside that condition anymore. Now trx->id and row_start are equal after first UPDATE and we don't try to insert second history row. == Cleanups and improvements == ha_innobase::update_row(): vers_set_fields and vers_ins_row are cleaned up into direct condition check. SQLCOM_ALTER_TABLE check now is not used as this is dead code, assertion is done instead. upd_node->is_delete is set in calc_row_difference() just to keep versioning code as much in one place as possible. vers_make_delete() is still located in row_update_for_mysql() as this is required for ha_innodbase::delete_row() as well. row_ins_duplicate_error_in_clust(): Restrict DB_FOREIGN_DUPLICATE_KEY to the better conditions. VERSIONED_DELETE is used specifically to help lower stack to understand what caused current insert. Related to MDEV-29813.
122 lines
4.1 KiB
Text
122 lines
4.1 KiB
Text
source suite/versioning/engines.inc;
|
|
source suite/versioning/common.inc;
|
|
|
|
--echo # Basic + delete from view
|
|
replace_result $sys_datatype_expl SYS_DATATYPE;
|
|
eval create or replace table t1(
|
|
XNo int unsigned,
|
|
sys_start $sys_datatype_expl as row start invisible,
|
|
sys_end $sys_datatype_expl as row end invisible,
|
|
period for system_time (sys_start, sys_end))
|
|
with system versioning;
|
|
|
|
insert into t1(XNo) values(0);
|
|
insert into t1(XNo) values(1);
|
|
insert into t1(XNo) values(2);
|
|
insert into t1(XNo) values(3);
|
|
insert into t1(XNo) values(4);
|
|
insert into t1(XNo) values(5);
|
|
insert into t1(XNo) values(6);
|
|
insert into t1(XNo) values(7);
|
|
insert into t1(XNo) values(8);
|
|
insert into t1(XNo) values(9);
|
|
replace_result $sys_datatype_max MAXVAL;
|
|
eval select XNo, sys_end < $sys_datatype_max from t1 for system_time all;
|
|
delete from t1 where XNo = 0;
|
|
delete from t1 where XNo = 1;
|
|
delete from t1 where XNo > 5;
|
|
create view vt1 as select XNo from t1;
|
|
select XNo as XNo_vt1 from vt1;
|
|
delete from vt1 where XNo = 3;
|
|
select XNo as XNo_vt1 from vt1;
|
|
drop view vt1;
|
|
drop table t1;
|
|
|
|
--echo # Check sys_start, sys_end
|
|
replace_result $sys_datatype_expl SYS_DATATYPE;
|
|
eval create or replace table t1(
|
|
x int,
|
|
sys_start $sys_datatype_expl as row start invisible,
|
|
sys_end $sys_datatype_expl as row end invisible,
|
|
period for system_time (sys_start, sys_end))
|
|
with system versioning;
|
|
|
|
insert into t1(x) values (1);
|
|
select sys_start into @sys_start from t1;
|
|
delete from t1;
|
|
select * from t1;
|
|
select x = 1 as A, sys_start = @sys_start as B, sys_end > sys_start as C from t1 for system_time all;
|
|
drop table t1;
|
|
|
|
--echo # Multi-delete
|
|
replace_result $sys_datatype_expl SYS_DATATYPE;
|
|
eval create or replace table t1(
|
|
x int,
|
|
y int,
|
|
sys_start $sys_datatype_expl as row start invisible,
|
|
sys_end $sys_datatype_expl as row end invisible,
|
|
period for system_time (sys_start, sys_end))
|
|
with system versioning;
|
|
create or replace table t2 like t1;
|
|
insert into t1(x, y) values (1, 1), (2, 2), (3, 3), (14, 4);
|
|
insert into t2(x, y) values (11, 1), (12, 2), (13, 32), (14, 4);
|
|
delete t1, t2 from t1 join t2 where t1.y = 3 and t2.y = 32;
|
|
select x as t1_x from t1;
|
|
select x as t2_x from t2;
|
|
delete t1, t2 from t1 join t2 where t1.x = t2.x;
|
|
select x as t1_x from t1;
|
|
select x as t2_x from t2;
|
|
select x as t1_x_all from t1 for system_time all;
|
|
select x as t2_x_all from t2 for system_time all;
|
|
drop table t1;
|
|
drop table t2;
|
|
|
|
--echo # Update + delete
|
|
create or replace table t1 (x int) with system versioning;
|
|
insert into t1 values (1);
|
|
update t1 set x= 2;
|
|
delete from t1;
|
|
select x from t1 for system_time all;
|
|
drop table t1;
|
|
|
|
--echo #
|
|
--echo # MDEV-18929 2nd execution of SP does not detect ER_VERS_NOT_VERSIONED
|
|
--echo #
|
|
create or replace table t1 (a int) with system versioning;
|
|
replace into t1 values (1), (2);
|
|
create or replace trigger tr before delete on t1 for each row delete from xx;
|
|
create or replace procedure pr() delete from t1;
|
|
--error ER_NO_SUCH_TABLE
|
|
call pr;
|
|
--error ER_NO_SUCH_TABLE
|
|
call pr;
|
|
drop procedure pr;
|
|
drop trigger tr;
|
|
drop table t1;
|
|
|
|
--echo #
|
|
--echo # MDEV-21138 Assertion `col->ord_part' or `f.col->ord_part' failed in row_build_index_entry_low
|
|
--echo #
|
|
--echo # Check DELETE and multi-DELETE with foreign key
|
|
replace_result $sys_datatype_expl SYS_TYPE;
|
|
eval create table t1 (
|
|
f1 int, f2 text, f3 int, fulltext (f2), key(f1), key(f3),
|
|
foreign key r (f3) references t1 (f1) on delete set null,
|
|
row_start $sys_datatype_expl as row start invisible,
|
|
row_end $sys_datatype_expl as row end invisible,
|
|
period for system_time (row_start, row_end))
|
|
with system versioning engine innodb;
|
|
insert into t1 values (1, repeat('a', 8193), 1), (1, repeat('b', 8193), 1);
|
|
insert into t1 select 2, f2, 2 from t1;
|
|
select f1, f3, check_row(row_start, row_end) from t1;
|
|
delete from t1 where f1 = 1;
|
|
select f1, f3, check_row(row_start, row_end) from t1 for system_time all order by f1, row_end;
|
|
create table t2 (f1 int);
|
|
insert into t2 values (2);
|
|
--echo # Multi-delelte
|
|
delete t1, t2 from t1 join t2 where t1.f1 = t2.f1;
|
|
select f1, f3, check_row(row_start, row_end) from t1 for system_time all order by f1, row_end;
|
|
--echo # Cleanup
|
|
drop tables t1, t2;
|
|
|
|
--source suite/versioning/common_finish.inc
|