external
/
citus
mirror of https://github.com/citusdata/citus.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

validate query isolation tests

pull/2488/head
Hanefi Onaldi 2018-11-26 11:55:50 +03:00
parent 4edb193f25
commit 448b241ab4
3 changed files with 99 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

59
src/test/regress/expected/isolation_validate_vs_insert.out Normal file
View File

@ -0,0 +1,59 @@
Parsed test spec with 2 sessions
starting permutation: s1-initialize s1-add-constraint s1-begin s2-begin s1-validate s2-insert s1-commit s2-commit
create_distributed_table
step s1-initialize: INSERT INTO constrained_table VALUES (0, 0), (1, 1), (2, 2), (3, 4);
step s1-add-constraint: ALTER TABLE constrained_table ADD CONSTRAINT check_constraint CHECK(int_data<30) NOT VALID;
step s1-begin: BEGIN;
step s2-begin: BEGIN;
step s1-validate: ALTER TABLE constrained_table VALIDATE CONSTRAINT check_constraint;
step s2-insert: INSERT INTO constrained_table VALUES(10, 10);
step s1-commit: COMMIT;
step s2-commit: COMMIT;
starting permutation: s1-initialize s1-add-constraint s1-begin s2-begin s1-validate s2-select s1-commit s2-commit
create_distributed_table
step s1-initialize: INSERT INTO constrained_table VALUES (0, 0), (1, 1), (2, 2), (3, 4);
step s1-add-constraint: ALTER TABLE constrained_table ADD CONSTRAINT check_constraint CHECK(int_data<30) NOT VALID;
step s1-begin: BEGIN;
step s2-begin: BEGIN;
step s1-validate: ALTER TABLE constrained_table VALIDATE CONSTRAINT check_constraint;
step s2-select: SELECT sum(int_data) FROM constrained_table;
sum
7
step s1-commit: COMMIT;
step s2-commit: COMMIT;
starting permutation: s1-initialize s1-add-constraint s1-begin s2-begin s2-insert s1-validate s1-commit s2-commit
create_distributed_table
step s1-initialize: INSERT INTO constrained_table VALUES (0, 0), (1, 1), (2, 2), (3, 4);
step s1-add-constraint: ALTER TABLE constrained_table ADD CONSTRAINT check_constraint CHECK(int_data<30) NOT VALID;
step s1-begin: BEGIN;
step s2-begin: BEGIN;
step s2-insert: INSERT INTO constrained_table VALUES(10, 10);
step s1-validate: ALTER TABLE constrained_table VALIDATE CONSTRAINT check_constraint;
step s1-commit: COMMIT;
step s2-commit: COMMIT;
starting permutation: s1-initialize s1-add-constraint s1-begin s2-begin s2-select s1-validate s1-commit s2-commit
create_distributed_table
step s1-initialize: INSERT INTO constrained_table VALUES (0, 0), (1, 1), (2, 2), (3, 4);
step s1-add-constraint: ALTER TABLE constrained_table ADD CONSTRAINT check_constraint CHECK(int_data<30) NOT VALID;
step s1-begin: BEGIN;
step s2-begin: BEGIN;
step s2-select: SELECT sum(int_data) FROM constrained_table;
sum
7
step s1-validate: ALTER TABLE constrained_table VALIDATE CONSTRAINT check_constraint;
step s1-commit: COMMIT;
step s2-commit: COMMIT;

1
src/test/regress/isolation_schedule
View File

@ -43,6 +43,7 @@ test: isolation_truncate_vs_all
test: isolation_drop_vs_all
test: isolation_ddl_vs_all
test: isolation_citus_dist_activity
test: isolation_validate_vs_insert
# MX tests
test: isolation_reference_on_mx

39
src/test/regress/specs/isolation_validate_vs_insert.spec Normal file
View File

@ -0,0 +1,39 @@
#
# How we organize this isolation test spec, is explained at README.md file in this directory.
#
# create distributed table to test behavior of VALIDATE in concurrent operations
setup
{
SET citus.shard_replication_factor TO 1;
CREATE TABLE constrained_table(id integer, int_data int);
SELECT create_distributed_table('constrained_table', 'id');
}
# drop distributed table
teardown
{
DROP TABLE IF EXISTS constrained_table CASCADE;
}
# session 1
session "s1"
step "s1-initialize" { INSERT INTO constrained_table VALUES (0, 0), (1, 1), (2, 2), (3, 4); }
step "s1-begin" { BEGIN; }
step "s1-add-constraint" { ALTER TABLE constrained_table ADD CONSTRAINT check_constraint CHECK(int_data<30) NOT VALID; }
step "s1-validate" { ALTER TABLE constrained_table VALIDATE CONSTRAINT check_constraint; }
step "s1-commit" { COMMIT; }
# session 2
session "s2"
step "s2-begin" { BEGIN; }
step "s2-insert" { INSERT INTO constrained_table VALUES(10, 10); }
step "s2-insert-invalid" { INSERT INTO constrained_table VALUES(100, 100); }
step "s2-select" { SELECT sum(int_data) FROM constrained_table; }
step "s2-commit" { COMMIT; }
# permutations - check read and write are not blocked during validate queries
permutation "s1-initialize" "s1-add-constraint" "s1-begin" "s2-begin" "s1-validate" "s2-insert" "s1-commit" "s2-commit"
permutation "s1-initialize" "s1-add-constraint" "s1-begin" "s2-begin" "s1-validate" "s2-select" "s1-commit" "s2-commit"
permutation "s1-initialize" "s1-add-constraint" "s1-begin" "s2-begin" "s2-insert" "s1-validate" "s1-commit" "s2-commit"
permutation "s1-initialize" "s1-add-constraint" "s1-begin" "s2-begin" "s2-select" "s1-validate" "s1-commit" "s2-commit"