Add isolation tests for the combination of EPQ and triggers.
As evidenced by bug #16036 this area is woefully under-tested. Add fairly extensive tests for the combination. Backpatch back to 9.6 - before that isolationtester was not capable enough. While we don't backpatch tests all the time, future fixes to trigger.c would potentially look different enough in 12+ from the earlier branches that introducing bugs during backpatching is more likely than normal. Also, it's just a crucial and undertested area of the code. Author: Andres Freund Discussion: https://postgr.es/m/16036-28184c90d952fb7f@postgresql.org Backpatch: 9.6-, the earliest these tests work
This commit is contained in:
Andres Freund
parent
3b9c227008
commit
54b0feaf90
2587
src/test/isolation/expected/eval-plan-qual-trigger.out
Normal file
2587
src/test/isolation/expected/eval-plan-qual-trigger.out
Normal file
File diff suppressed because it is too large
Load Diff
@ -26,6 +26,7 @@ test: fk-contention
|
|||||||
test: fk-deadlock
|
test: fk-deadlock
|
||||||
test: fk-deadlock2
|
test: fk-deadlock2
|
||||||
test: eval-plan-qual
|
test: eval-plan-qual
|
||||||
|
test: eval-plan-qual-trigger
|
||||||
test: lock-update-delete
|
test: lock-update-delete
|
||||||
test: lock-update-traversal
|
test: lock-update-traversal
|
||||||
test: inherit-temp
|
test: inherit-temp
|
||||||
|
|||||||
409
src/test/isolation/specs/eval-plan-qual-trigger.spec
Normal file
409
src/test/isolation/specs/eval-plan-qual-trigger.spec
Normal file
@ -0,0 +1,409 @@
|
|||||||
|
setup
|
||||||
|
{
|
||||||
|
CREATE TABLE trigtest(key text primary key, data text);
|
||||||
|
|
||||||
|
CREATE FUNCTION noisy_oper(p_comment text, p_a anynonarray, p_op text, p_b anynonarray)
|
||||||
|
RETURNS bool LANGUAGE plpgsql AS $body$
|
||||||
|
DECLARE
|
||||||
|
r bool;
|
||||||
|
BEGIN
|
||||||
|
EXECUTE format('SELECT $1 %s $2', p_op) INTO r USING p_a, p_b;
|
||||||
|
RAISE NOTICE '%: % % % % %: %', p_comment, pg_typeof(p_a), p_a, p_op, pg_typeof(p_b), p_b, r;
|
||||||
|
RETURN r;
|
||||||
|
END;$body$;
|
||||||
|
|
||||||
|
CREATE FUNCTION trig_report() RETURNS TRIGGER LANGUAGE plpgsql AS $body$
|
||||||
|
DECLARE
|
||||||
|
r_new text;
|
||||||
|
r_old text;
|
||||||
|
r_ret record;
|
||||||
|
BEGIN
|
||||||
|
-- In older releases it wasn't allowed to reference OLD/NEW
|
||||||
|
-- when not applicable for TG_WHEN
|
||||||
|
IF TG_OP = 'INSERT' THEN
|
||||||
|
r_old = NULL;
|
||||||
|
r_new = NEW;
|
||||||
|
r_ret = NEW;
|
||||||
|
ELSIF TG_OP = 'DELETE' THEN
|
||||||
|
r_old = OLD;
|
||||||
|
r_new = NULL;
|
||||||
|
r_ret = OLD;
|
||||||
|
ELSIF TG_OP = 'UPDATE' THEN
|
||||||
|
r_old = OLD;
|
||||||
|
r_new = NEW;
|
||||||
|
r_ret = NEW;
|
||||||
|
END IF;
|
||||||
|
|
||||||
|
IF TG_WHEN = 'AFTER' THEN
|
||||||
|
r_ret = NULL;
|
||||||
|
END IF;
|
||||||
|
|
||||||
|
RAISE NOTICE 'trigger: name %; when: %; lev: %s; op: %; old: % new: %',
|
||||||
|
TG_NAME, TG_WHEN, TG_LEVEL, TG_OP, r_old, r_new;
|
||||||
|
|
||||||
|
RETURN r_ret;
|
||||||
|
END;
|
||||||
|
$body$;
|
||||||
|
}
|
||||||
|
|
||||||
|
teardown
|
||||||
|
{
|
||||||
|
DROP TABLE trigtest;
|
||||||
|
DROP FUNCTION noisy_oper(text, anynonarray, text, anynonarray);
|
||||||
|
DROP FUNCTION trig_report();
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
session "s0"
|
||||||
|
step "s0_rep" { SELECT * FROM trigtest ORDER BY key, data }
|
||||||
|
|
||||||
|
session "s1"
|
||||||
|
#setup { }
|
||||||
|
step "s1_b_rc" { BEGIN ISOLATION LEVEL READ COMMITTED; SELECT 1; }
|
||||||
|
step "s1_b_rr" { BEGIN ISOLATION LEVEL REPEATABLE READ; SELECT 1; }
|
||||||
|
step "s1_c" { COMMIT; }
|
||||||
|
step "s1_r" { ROLLBACK; }
|
||||||
|
step "s1_trig_rep_b_i" { CREATE TRIGGER rep_b_i BEFORE INSERT ON trigtest FOR EACH ROW EXECUTE PROCEDURE trig_report(); }
|
||||||
|
step "s1_trig_rep_a_i" { CREATE TRIGGER rep_a_i AFTER INSERT ON trigtest FOR EACH ROW EXECUTE PROCEDURE trig_report(); }
|
||||||
|
step "s1_trig_rep_b_u" { CREATE TRIGGER rep_b_u BEFORE UPDATE ON trigtest FOR EACH ROW EXECUTE PROCEDURE trig_report(); }
|
||||||
|
step "s1_trig_rep_a_u" { CREATE TRIGGER rep_a_u AFTER UPDATE ON trigtest FOR EACH ROW EXECUTE PROCEDURE trig_report(); }
|
||||||
|
step "s1_trig_rep_b_d" { CREATE TRIGGER rep_b_d BEFORE DELETE ON trigtest FOR EACH ROW EXECUTE PROCEDURE trig_report(); }
|
||||||
|
step "s1_trig_rep_a_d" { CREATE TRIGGER rep_a_d AFTER DELETE ON trigtest FOR EACH ROW EXECUTE PROCEDURE trig_report(); }
|
||||||
|
step "s1_ins_a" { INSERT INTO trigtest VALUES ('key-a', 'val-a-s1') RETURNING *; }
|
||||||
|
step "s1_ins_b" { INSERT INTO trigtest VALUES ('key-b', 'val-b-s1') RETURNING *; }
|
||||||
|
step "s1_ins_c" { INSERT INTO trigtest VALUES ('key-c', 'val-c-s1') RETURNING *; }
|
||||||
|
step "s1_del_a" {
|
||||||
|
DELETE FROM trigtest
|
||||||
|
WHERE
|
||||||
|
noisy_oper('upd', key, '=', 'key-a') AND
|
||||||
|
noisy_oper('upk', data, '<>', 'mismatch')
|
||||||
|
RETURNING *
|
||||||
|
}
|
||||||
|
step "s1_del_b" {
|
||||||
|
DELETE FROM trigtest
|
||||||
|
WHERE
|
||||||
|
noisy_oper('upd', key, '=', 'key-b') AND
|
||||||
|
noisy_oper('upk', data, '<>', 'mismatch')
|
||||||
|
RETURNING *
|
||||||
|
}
|
||||||
|
step "s1_upd_a_data" {
|
||||||
|
UPDATE trigtest SET data = data || '-ups1'
|
||||||
|
WHERE
|
||||||
|
noisy_oper('upd', key, '=', 'key-a') AND
|
||||||
|
noisy_oper('upk', data, '<>', 'mismatch')
|
||||||
|
RETURNING *;
|
||||||
|
}
|
||||||
|
step "s1_upd_b_data" {
|
||||||
|
UPDATE trigtest SET data = data || '-ups1'
|
||||||
|
WHERE
|
||||||
|
noisy_oper('upd', key, '=', 'key-b') AND
|
||||||
|
noisy_oper('upk', data, '<>', 'mismatch')
|
||||||
|
RETURNING *;
|
||||||
|
}
|
||||||
|
step "s1_upd_a_tob" {
|
||||||
|
UPDATE trigtest SET key = 'key-b', data = data || '-tobs1'
|
||||||
|
WHERE
|
||||||
|
noisy_oper('upk', key, '=', 'key-a') AND
|
||||||
|
noisy_oper('upk', data, '<>', 'mismatch')
|
||||||
|
RETURNING *;
|
||||||
|
}
|
||||||
|
|
||||||
|
session "s2"
|
||||||
|
#setup { }
|
||||||
|
step "s2_b_rc" { BEGIN ISOLATION LEVEL READ COMMITTED; SELECT 1; }
|
||||||
|
step "s2_b_rr" { BEGIN ISOLATION LEVEL REPEATABLE READ; SELECT 1; }
|
||||||
|
step "s2_c" { COMMIT; }
|
||||||
|
step "s2_r" { ROLLBACK; }
|
||||||
|
step "s2_ins_a" { INSERT INTO trigtest VALUES ('key-a', 'val-a-s2') RETURNING *; }
|
||||||
|
step "s2_del_a" {
|
||||||
|
DELETE FROM trigtest
|
||||||
|
WHERE
|
||||||
|
noisy_oper('upd', key, '=', 'key-a') AND
|
||||||
|
noisy_oper('upk', data, '<>', 'mismatch')
|
||||||
|
RETURNING *
|
||||||
|
}
|
||||||
|
step "s2_upd_a_data" {
|
||||||
|
UPDATE trigtest SET data = data || '-ups2'
|
||||||
|
WHERE
|
||||||
|
noisy_oper('upd', key, '=', 'key-a') AND
|
||||||
|
noisy_oper('upk', data, '<>', 'mismatch')
|
||||||
|
RETURNING *;
|
||||||
|
}
|
||||||
|
step "s2_upd_b_data" {
|
||||||
|
UPDATE trigtest SET data = data || '-ups2'
|
||||||
|
WHERE
|
||||||
|
noisy_oper('upd', key, '=', 'key-b') AND
|
||||||
|
noisy_oper('upk', data, '<>', 'mismatch')
|
||||||
|
RETURNING *;
|
||||||
|
}
|
||||||
|
step "s2_upd_all_data" {
|
||||||
|
UPDATE trigtest SET data = data || '-ups2'
|
||||||
|
WHERE
|
||||||
|
noisy_oper('upd', key, '<>', 'mismatch') AND
|
||||||
|
noisy_oper('upk', data, '<>', 'mismatch')
|
||||||
|
RETURNING *;
|
||||||
|
}
|
||||||
|
step "s2_upsert_a_data" {
|
||||||
|
INSERT INTO trigtest VALUES ('key-a', 'val-a-upss2')
|
||||||
|
ON CONFLICT (key)
|
||||||
|
DO UPDATE SET data = trigtest.data || '-upserts2'
|
||||||
|
WHERE
|
||||||
|
noisy_oper('upd', trigtest.key, '=', 'key-a') AND
|
||||||
|
noisy_oper('upk', trigtest.data, '<>', 'mismatch')
|
||||||
|
RETURNING *;
|
||||||
|
}
|
||||||
|
|
||||||
|
session "s3"
|
||||||
|
#setup { }
|
||||||
|
step "s3_b_rc" { BEGIN ISOLATION LEVEL READ COMMITTED; SELECT 1; }
|
||||||
|
step "s3_c" { COMMIT; }
|
||||||
|
step "s3_r" { ROLLBACK; }
|
||||||
|
step "s3_del_a" {
|
||||||
|
DELETE FROM trigtest
|
||||||
|
WHERE
|
||||||
|
noisy_oper('upd', key, '=', 'key-a') AND
|
||||||
|
noisy_oper('upk', data, '<>', 'mismatch')
|
||||||
|
RETURNING *
|
||||||
|
}
|
||||||
|
step "s3_upd_a_data" {
|
||||||
|
UPDATE trigtest SET data = data || '-ups3'
|
||||||
|
WHERE
|
||||||
|
noisy_oper('upd', key, '=', 'key-a') AND
|
||||||
|
noisy_oper('upk', data, '<>', 'mismatch')
|
||||||
|
RETURNING *;
|
||||||
|
}
|
||||||
|
|
||||||
|
### base case verifying that triggers see performed modifications
|
||||||
|
# s1 updates, s1 commits, s2 updates
|
||||||
|
permutation "s1_trig_rep_b_u" "s1_trig_rep_a_u"
|
||||||
|
"s1_ins_a" "s1_ins_b" "s1_b_rc" "s2_b_rc"
|
||||||
|
"s1_upd_a_data" "s1_c" "s2_upd_a_data" "s2_c"
|
||||||
|
"s0_rep"
|
||||||
|
# s1 updates, s1 rolls back, s2 updates
|
||||||
|
permutation "s1_trig_rep_b_u" "s1_trig_rep_a_u"
|
||||||
|
"s1_ins_a" "s1_ins_b" "s1_b_rc" "s2_b_rc"
|
||||||
|
"s1_upd_a_data" "s1_r" "s2_upd_a_data" "s2_c"
|
||||||
|
"s0_rep"
|
||||||
|
# s1 updates, s1 commits back, s2 deletes
|
||||||
|
permutation "s1_trig_rep_b_d" "s1_trig_rep_b_u" "s1_trig_rep_a_d" "s1_trig_rep_a_u"
|
||||||
|
"s1_ins_a" "s1_ins_b" "s1_b_rc" "s2_b_rc"
|
||||||
|
"s1_upd_a_data" "s1_c" "s2_del_a" "s2_c"
|
||||||
|
"s0_rep"
|
||||||
|
# s1 updates, s1 rolls back back, s2 deletes
|
||||||
|
permutation "s1_trig_rep_b_d" "s1_trig_rep_b_u" "s1_trig_rep_a_d" "s1_trig_rep_a_u"
|
||||||
|
"s1_ins_a" "s1_ins_b" "s1_b_rc" "s2_b_rc"
|
||||||
|
"s1_upd_a_data" "s1_r" "s2_del_a" "s2_c"
|
||||||
|
"s0_rep"
|
||||||
|
|
||||||
|
### Verify EPQ is performed if necessary, and skipped if transaction rolled back
|
||||||
|
# s1 updates, s2 updates, s1 commits, EPQ
|
||||||
|
permutation "s1_trig_rep_b_u" "s1_trig_rep_a_u"
|
||||||
|
"s1_ins_a" "s1_ins_b" "s1_b_rc" "s2_b_rc"
|
||||||
|
"s1_upd_a_data" "s2_upd_a_data" "s1_c" "s2_c"
|
||||||
|
"s0_rep"
|
||||||
|
# s1 updates, s2 updates, s1 rolls back, no EPQ
|
||||||
|
permutation "s1_trig_rep_b_u" "s1_trig_rep_a_u"
|
||||||
|
"s1_ins_a" "s1_ins_b" "s1_b_rc" "s2_b_rc"
|
||||||
|
"s1_upd_a_data" "s2_upd_a_data" "s1_r" "s2_c"
|
||||||
|
"s0_rep"
|
||||||
|
# s1 updates, s2 deletes, s1 commits, EPQ
|
||||||
|
permutation "s1_trig_rep_b_d" "s1_trig_rep_b_u" "s1_trig_rep_a_d" "s1_trig_rep_a_u"
|
||||||
|
"s1_ins_a" "s1_ins_b" "s1_b_rc" "s2_b_rc"
|
||||||
|
"s1_upd_a_data" "s2_upd_a_data" "s1_c" "s2_c"
|
||||||
|
"s0_rep"
|
||||||
|
# s1 updates, s2 deletes, s1 rolls back, no EPQ
|
||||||
|
permutation "s1_trig_rep_b_d" "s1_trig_rep_b_u" "s1_trig_rep_a_d" "s1_trig_rep_a_u"
|
||||||
|
"s1_ins_a" "s1_ins_b" "s1_b_rc" "s2_b_rc"
|
||||||
|
"s1_upd_a_data" "s2_upd_a_data" "s1_r" "s2_c"
|
||||||
|
"s0_rep"
|
||||||
|
# s1 deletes, s2 updates, s1 commits, EPQ
|
||||||
|
permutation "s1_trig_rep_b_d" "s1_trig_rep_b_u" "s1_trig_rep_a_d" "s1_trig_rep_a_u"
|
||||||
|
"s1_ins_a" "s1_ins_b" "s1_b_rc" "s2_b_rc"
|
||||||
|
"s1_del_a" "s2_upd_a_data" "s1_c" "s2_c"
|
||||||
|
"s0_rep"
|
||||||
|
# s1 deletes, s2 updates, s1 rolls back, no EPQ
|
||||||
|
permutation "s1_trig_rep_b_d" "s1_trig_rep_b_u" "s1_trig_rep_a_d" "s1_trig_rep_a_u"
|
||||||
|
"s1_ins_a" "s1_ins_b" "s1_b_rc" "s2_b_rc"
|
||||||
|
"s1_del_a" "s2_upd_a_data" "s1_r" "s2_c"
|
||||||
|
"s0_rep"
|
||||||
|
# s1 inserts, s2 inserts, s1 commits, s2 inserts, unique conflict
|
||||||
|
permutation "s1_trig_rep_b_i" "s1_trig_rep_b_d" "s1_trig_rep_a_i" "s1_trig_rep_a_d"
|
||||||
|
"s1_b_rc" "s2_b_rc"
|
||||||
|
"s1_ins_a" "s2_ins_a" "s1_c" "s2_c"
|
||||||
|
"s0_rep"
|
||||||
|
# s1 inserts, s2 inserts, s1 rolls back, s2 inserts, no unique conflict
|
||||||
|
permutation "s1_trig_rep_b_i" "s1_trig_rep_b_d" "s1_trig_rep_a_i" "s1_trig_rep_a_d"
|
||||||
|
"s1_b_rc" "s2_b_rc"
|
||||||
|
"s1_ins_a" "s2_ins_a" "s1_r" "s2_c"
|
||||||
|
"s0_rep"
|
||||||
|
# s1 updates, s2 upserts, s1 commits, EPQ
|
||||||
|
permutation "s1_trig_rep_b_i" "s1_trig_rep_b_d" "s1_trig_rep_b_u" "s1_trig_rep_a_i" "s1_trig_rep_a_d" "s1_trig_rep_a_u"
|
||||||
|
"s1_ins_a" "s1_ins_b" "s1_b_rc" "s2_b_rc"
|
||||||
|
"s1_upd_a_data" "s2_upsert_a_data" "s1_c" "s2_c"
|
||||||
|
"s0_rep"
|
||||||
|
# s1 updates, s2 upserts, s1 rolls back, no EPQ
|
||||||
|
permutation "s1_trig_rep_b_i" "s1_trig_rep_b_d" "s1_trig_rep_b_u" "s1_trig_rep_a_i" "s1_trig_rep_a_d" "s1_trig_rep_a_u"
|
||||||
|
"s1_ins_a" "s1_ins_b" "s1_b_rc" "s2_b_rc"
|
||||||
|
"s1_upd_a_data" "s2_upsert_a_data" "s1_c" "s2_c"
|
||||||
|
"s0_rep"
|
||||||
|
# s1 inserts, s2 upserts, s1 commits
|
||||||
|
permutation "s1_trig_rep_b_i" "s1_trig_rep_b_d" "s1_trig_rep_b_u" "s1_trig_rep_a_i" "s1_trig_rep_a_d" "s1_trig_rep_a_u"
|
||||||
|
"s1_b_rc" "s2_b_rc"
|
||||||
|
"s1_ins_a" "s2_upsert_a_data" "s1_c" "s2_c"
|
||||||
|
"s0_rep"
|
||||||
|
# s1 inserts, s2 upserts, s1 rolls back
|
||||||
|
permutation "s1_trig_rep_b_i" "s1_trig_rep_b_d" "s1_trig_rep_b_u" "s1_trig_rep_a_i" "s1_trig_rep_a_d" "s1_trig_rep_a_u"
|
||||||
|
"s1_b_rc" "s2_b_rc"
|
||||||
|
"s1_ins_a" "s2_upsert_a_data" "s1_r" "s2_c"
|
||||||
|
"s0_rep"
|
||||||
|
# s1 inserts, s2 upserts, s1 updates, s1 commits, EPQ
|
||||||
|
permutation "s1_trig_rep_b_i" "s1_trig_rep_b_d" "s1_trig_rep_b_u" "s1_trig_rep_a_i" "s1_trig_rep_a_d" "s1_trig_rep_a_u"
|
||||||
|
"s1_b_rc" "s2_b_rc"
|
||||||
|
"s1_ins_a" "s1_upd_a_data" "s2_upsert_a_data" "s1_c" "s2_c"
|
||||||
|
"s0_rep"
|
||||||
|
# s1 inserts, s2 upserts, s1 updates, s1 rolls back, no EPQ
|
||||||
|
permutation "s1_trig_rep_b_i" "s1_trig_rep_b_d" "s1_trig_rep_b_u" "s1_trig_rep_a_i" "s1_trig_rep_a_d" "s1_trig_rep_a_u"
|
||||||
|
"s1_b_rc" "s2_b_rc"
|
||||||
|
"s1_ins_a" "s1_upd_a_data" "s2_upsert_a_data" "s1_r" "s2_c"
|
||||||
|
"s0_rep"
|
||||||
|
|
||||||
|
### Verify EPQ is performed if necessary, and skipped if transaction rolled back,
|
||||||
|
### just without before triggers (for comparison, no additional row locks)
|
||||||
|
# s1 updates, s2 updates, s1 commits, EPQ
|
||||||
|
permutation "s1_trig_rep_a_u"
|
||||||
|
"s1_ins_a" "s1_ins_b" "s1_b_rc" "s2_b_rc"
|
||||||
|
"s1_upd_a_data" "s2_upd_a_data" "s1_c" "s2_c"
|
||||||
|
"s0_rep"
|
||||||
|
# s1 updates, s2 updates, s1 rolls back, no EPQ
|
||||||
|
permutation "s1_trig_rep_a_u"
|
||||||
|
"s1_ins_a" "s1_ins_b" "s1_b_rc" "s2_b_rc"
|
||||||
|
"s1_upd_a_data" "s2_upd_a_data" "s1_r" "s2_c"
|
||||||
|
"s0_rep"
|
||||||
|
# s1 updates, s2 deletes, s1 commits, EPQ
|
||||||
|
permutation "s1_trig_rep_a_d" "s1_trig_rep_a_u"
|
||||||
|
"s1_ins_a" "s1_ins_b" "s1_b_rc" "s2_b_rc"
|
||||||
|
"s1_upd_a_data" "s2_del_a" "s1_c" "s2_c"
|
||||||
|
"s0_rep"
|
||||||
|
# s1 updates, s2 deletes, s1 rolls back, no EPQ
|
||||||
|
permutation "s1_trig_rep_a_d" "s1_trig_rep_a_u"
|
||||||
|
"s1_ins_a" "s1_ins_b" "s1_b_rc" "s2_b_rc"
|
||||||
|
"s1_upd_a_data" "s2_del_a" "s1_r" "s2_c"
|
||||||
|
"s0_rep"
|
||||||
|
# s1 deletes, s2 updates, s1 commits, EPQ
|
||||||
|
permutation "s1_trig_rep_a_d" "s1_trig_rep_a_u"
|
||||||
|
"s1_ins_a" "s1_ins_b" "s1_b_rc" "s2_b_rc"
|
||||||
|
"s1_del_a" "s2_upd_a_data" "s1_c" "s2_c"
|
||||||
|
"s0_rep"
|
||||||
|
# s1 deletes, s2 updates, s1 rolls back, no EPQ
|
||||||
|
permutation "s1_trig_rep_a_d" "s1_trig_rep_a_u"
|
||||||
|
"s1_ins_a" "s1_ins_b" "s1_b_rc" "s2_b_rc"
|
||||||
|
"s1_del_a" "s2_upd_a_data" "s1_r" "s2_c"
|
||||||
|
"s0_rep"
|
||||||
|
# s1 deletes, s2 deletes, s1 commits, EPQ
|
||||||
|
permutation "s1_trig_rep_a_d"
|
||||||
|
"s1_ins_a" "s1_ins_b" "s1_b_rc" "s2_b_rc"
|
||||||
|
"s1_del_a" "s2_del_a" "s1_c" "s2_c"
|
||||||
|
"s0_rep"
|
||||||
|
# s1 deletes, s2 deletes, s1 rolls back, no EPQ
|
||||||
|
permutation "s1_trig_rep_a_d"
|
||||||
|
"s1_ins_a" "s1_ins_b" "s1_b_rc" "s2_b_rc"
|
||||||
|
"s1_del_a" "s2_del_a" "s1_r" "s2_c"
|
||||||
|
"s0_rep"
|
||||||
|
|
||||||
|
### Verify that an update affecting a row that has been
|
||||||
|
### updated/deleted to not match the where clause anymore works
|
||||||
|
### correctly
|
||||||
|
# s1 updates to different key, s2 updates old key, s1 commits, EPQ failure should lead to no update
|
||||||
|
permutation "s1_trig_rep_b_u" "s1_trig_rep_a_u"
|
||||||
|
"s1_ins_a" "s1_ins_c" "s1_b_rc" "s2_b_rc"
|
||||||
|
"s1_upd_a_tob" "s2_upd_a_data" "s1_c" "s2_c"
|
||||||
|
"s0_rep"
|
||||||
|
# s1 updates to different key, s2 updates old key, s1 rolls back, no EPQ failure
|
||||||
|
permutation "s1_trig_rep_b_u" "s1_trig_rep_a_u"
|
||||||
|
"s1_ins_a" "s1_ins_c" "s1_b_rc" "s2_b_rc"
|
||||||
|
"s1_upd_a_tob" "s2_upd_a_data" "s1_r" "s2_c"
|
||||||
|
"s0_rep"
|
||||||
|
# s1 updates to different key, s2 updates new key, s1 commits, s2 will
|
||||||
|
# not see tuple with new key and not block
|
||||||
|
permutation "s1_trig_rep_b_u" "s1_trig_rep_a_u"
|
||||||
|
"s1_ins_a" "s1_ins_c" "s1_b_rc" "s2_b_rc"
|
||||||
|
"s1_upd_a_tob" "s2_upd_b_data" "s1_c" "s2_c"
|
||||||
|
"s0_rep"
|
||||||
|
# s1 updates to different key, s2 updates all keys, s1 commits, s2,
|
||||||
|
# will not see tuple with old key, but block on old, and then follow
|
||||||
|
# the chain
|
||||||
|
permutation "s1_trig_rep_b_u" "s1_trig_rep_a_u"
|
||||||
|
"s1_ins_a" "s1_ins_c" "s1_b_rc" "s2_b_rc"
|
||||||
|
"s1_upd_a_tob" "s2_upd_all_data" "s1_c" "s2_c"
|
||||||
|
"s0_rep"
|
||||||
|
# s1 deletes, s2 updates, s1 committs, EPQ failure should lead to no update
|
||||||
|
permutation "s1_trig_rep_b_d" "s1_trig_rep_b_u" "s1_trig_rep_a_d" "s1_trig_rep_a_u"
|
||||||
|
"s1_ins_a" "s1_ins_c" "s1_b_rc" "s2_b_rc"
|
||||||
|
"s1_del_a" "s2_upd_a_data" "s1_c" "s2_c"
|
||||||
|
"s0_rep"
|
||||||
|
# s1 deletes, s2 updates, s1 rolls back, no EPQ failure
|
||||||
|
permutation "s1_trig_rep_b_d" "s1_trig_rep_b_u" "s1_trig_rep_a_d" "s1_trig_rep_a_u"
|
||||||
|
"s1_ins_a" "s1_ins_c" "s1_b_rc" "s2_b_rc"
|
||||||
|
"s1_del_a" "s2_upd_a_data" "s1_r" "s2_c"
|
||||||
|
"s0_rep"
|
||||||
|
# s1 deletes, s2 deletes, s1 committs, EPQ failure should lead to no delete
|
||||||
|
permutation "s1_trig_rep_b_d" "s1_trig_rep_a_d"
|
||||||
|
"s1_ins_a" "s1_ins_c" "s1_b_rc" "s2_b_rc"
|
||||||
|
"s1_del_a" "s2_del_a" "s1_c" "s2_c"
|
||||||
|
"s0_rep"
|
||||||
|
# s1 deletes, s2 deletes, s1 rolls back, no EPQ failure
|
||||||
|
permutation "s1_trig_rep_b_d" "s1_trig_rep_a_d"
|
||||||
|
"s1_ins_a" "s1_ins_c" "s1_b_rc" "s2_b_rc"
|
||||||
|
"s1_del_a" "s2_del_a" "s1_r" "s2_c"
|
||||||
|
"s0_rep"
|
||||||
|
|
||||||
|
### Verify EPQ with more than two participants works
|
||||||
|
# s1 updates, s2 updates, s3 updates, s1 commits, s2 EPQ, s2 commits, s3 EPQ
|
||||||
|
permutation "s1_trig_rep_b_u" "s1_trig_rep_a_u"
|
||||||
|
"s1_ins_a" "s1_ins_b" "s1_b_rc" "s2_b_rc" "s3_b_rc"
|
||||||
|
"s1_upd_a_data" "s2_upd_a_data" "s3_upd_a_data" "s1_c" "s2_c" "s3_c"
|
||||||
|
"s0_rep"
|
||||||
|
# s1 updates, s2 updates, s3 updates, s1 commits, s2 EPQ, s2 rolls back, s3 EPQ
|
||||||
|
permutation "s1_trig_rep_b_u" "s1_trig_rep_a_u"
|
||||||
|
"s1_ins_a" "s1_ins_b" "s1_b_rc" "s2_b_rc" "s3_b_rc"
|
||||||
|
"s1_upd_a_data" "s2_upd_a_data" "s3_upd_a_data" "s1_c" "s2_r" "s3_c"
|
||||||
|
"s0_rep"
|
||||||
|
# s1 updates, s3 updates, s2 upserts, s1 updates, s1 commits, s3 EPQ, s3 deletes, s3 commits, s2 inserts without EPQ recheck
|
||||||
|
permutation "s1_trig_rep_b_i" "s1_trig_rep_b_d" "s1_trig_rep_b_u" "s1_trig_rep_a_i" "s1_trig_rep_a_d" "s1_trig_rep_a_u"
|
||||||
|
"s1_ins_a" "s1_b_rc" "s2_b_rc" "s3_b_rc"
|
||||||
|
"s1_upd_a_data" "s3_upd_a_data" "s2_upsert_a_data" "s1_upd_a_data" "s1_c" "s3_del_a" "s3_c" "s2_c"
|
||||||
|
"s0_rep"
|
||||||
|
# s1 updates, s3 updates, s2 upserts, s1 updates, s1 commits, s3 EPQ, s3 deletes, s3 rolls back, s2 EPQ
|
||||||
|
permutation "s1_trig_rep_b_i" "s1_trig_rep_b_d" "s1_trig_rep_b_u" "s1_trig_rep_a_i" "s1_trig_rep_a_d" "s1_trig_rep_a_u"
|
||||||
|
"s1_ins_a" "s1_b_rc" "s2_b_rc" "s3_b_rc"
|
||||||
|
"s1_upd_a_data" "s3_upd_a_data" "s2_upsert_a_data" "s1_upd_a_data" "s1_c" "s3_del_a" "s3_r" "s2_c"
|
||||||
|
"s0_rep"
|
||||||
|
|
||||||
|
### Document that EPQ doesn't "leap" onto a tuple that would match after blocking
|
||||||
|
# s1 inserts a, s1 updates b, s2 updates b, s1 deletes b, s1 updates a to b, s1 commits, s2 EPQ finds tuple deleted
|
||||||
|
permutation "s1_trig_rep_b_i" "s1_trig_rep_b_d" "s1_trig_rep_b_u" "s1_trig_rep_a_i" "s1_trig_rep_a_d" "s1_trig_rep_a_u"
|
||||||
|
"s1_ins_b" "s1_b_rc" "s2_b_rc"
|
||||||
|
"s1_ins_a" "s1_upd_b_data" "s2_upd_b_data" "s1_del_b" "s1_upd_a_tob" "s1_c" "s2_c"
|
||||||
|
"s0_rep"
|
||||||
|
|
||||||
|
### Triggers for EPQ detect serialization failures
|
||||||
|
# s1 updates, s2 updates, s1 commits, serialization failure
|
||||||
|
permutation "s1_trig_rep_b_u" "s1_trig_rep_a_u"
|
||||||
|
"s1_ins_a" "s1_ins_b" "s1_b_rr" "s2_b_rr"
|
||||||
|
"s1_upd_a_data" "s2_upd_a_data" "s1_c" "s2_c"
|
||||||
|
"s0_rep"
|
||||||
|
# s1 updates, s2 updates, s1 rolls back, s2 succeeds
|
||||||
|
permutation "s1_trig_rep_b_u" "s1_trig_rep_a_u"
|
||||||
|
"s1_ins_a" "s1_ins_b" "s1_b_rr" "s2_b_rr"
|
||||||
|
"s1_upd_a_data" "s2_upd_a_data" "s1_r" "s2_c"
|
||||||
|
"s0_rep"
|
||||||
|
# s1 deletes, s2 updates, s1 commits, serialization failure
|
||||||
|
permutation "s1_trig_rep_b_d" "s1_trig_rep_b_u" "s1_trig_rep_a_d" "s1_trig_rep_a_u"
|
||||||
|
"s1_ins_a" "s1_ins_b" "s1_b_rr" "s2_b_rr"
|
||||||
|
"s1_del_a" "s2_upd_a_data" "s1_c" "s2_c"
|
||||||
|
"s0_rep"
|
||||||
|
# s1 deletes, s2 updates, s1 rolls back, s2 succeeds
|
||||||
|
permutation "s1_trig_rep_b_d" "s1_trig_rep_b_u" "s1_trig_rep_a_d" "s1_trig_rep_a_u"
|
||||||
|
"s1_ins_a" "s1_ins_b" "s1_b_rr" "s2_b_rr"
|
||||||
|
"s1_del_a" "s2_upd_a_data" "s1_r" "s2_c"
|
||||||
|
"s0_rep"
|
||||||
Loading…
x
Reference in New Issue
Block a user