pathman: isolation tests (not finished)

zilder · zilder · commit 9472ae0f53da · 2016-02-15T23:59:00.000+03:00
diff --git a/contrib/pg_pathman/Makefile b/contrib/pg_pathman/Makefile
@@ -9,7 +9,7 @@ DATA_built = $(EXTENSION)--$(EXTVERSION).sql
 PGFILEDESC = "pg_pathman - partitioning tool"
 
 REGRESS = pg_pathman
-EXTRA_CLEAN = $(EXTENSION)--$(EXTVERSION).sql
+EXTRA_CLEAN = $(EXTENSION)--$(EXTVERSION).sql ./isolation_output
 
 ifdef USE_PGXS
 PG_CONFIG = pg_config
@@ -25,3 +25,12 @@ endif
 $(EXTENSION)--$(EXTVERSION).sql: init.sql hash.sql range.sql
 	cat $^ > $@
 check: EXTRA_REGRESS_OPTS=--temp-config=$(top_srcdir)/$(subdir)/conf.add
+
+ISOLATIONCHECKS=insert_trigger
+
+isolationcheck:
+	$(MKDIR_P) isolation_output
+	$(pg_isolation_regress_check) \
+	    --temp-config=$(top_srcdir)/$(subdir)/conf.add \
+	    --outputdir=./isolation_output \
+	    $(ISOLATIONCHECKS)
diff --git a/contrib/pg_pathman/specs/insert_trigger.spec b/contrib/pg_pathman/specs/insert_trigger.spec
@@ -0,0 +1,22 @@
+setup
+{
+	--SELECT '>>> SETUP <<<';
+	CREATE EXTENSION pg_pathman;
+	CREATE TABLE range_rel(id serial primary key);
+	SELECT create_range_partitions('range_rel', 'id', 1, 100, 1);
+}
+
+teardown
+{
+	--SELECT '>>> TEARDOWN <<<';
+	--SELECT drop_range_partitions('range_rel');
+	DROP TABLE range_rel CASCADE;
+	DROP EXTENSION pg_pathman;
+}
+
+session "s1"
+step "s1i" { INSERT INTO range_rel SELECT generate_series(1, 150); }
+step "s1d" { SELECT * FROM pg_inherits WHERE inhparent = 'range_rel'::regclass::oid; }
+
+session "s2"
+step "s2i" { INSERT INTO range_rel SELECT generate_series(151, 300); }
