Copy test goes into an endless loop.

Author: rzharkov

src/test/isolation/specs/snapfs_copy.spec

@@ -0,0 +1,96 @@
+# Making and updating table before and after the snapshot.
+
+teardown {
+ select pg_switch_to_snapshot( 0 );
+ select pg_remove_snapshot( ( select recent_snapshot from pg_control_snapshot() ) );
+ DROP TABLE IF EXISTS t1 CASCADE;
+}
+
+session "s1"
+step "s1_cr" {
+	create table t1 as
+  select generate_series as id, trim( to_char( generate_series, '000' ) ) as "name"
+  from generate_series( 1, 10 );
+	create index t1_id_idx on t1 ( id );
+}
+step "s1_sel" {
+	copy ( select * from t1 order by id ) to STDOUT;
+}
+step "s1_upd" {
+	update t1 set name = name || '_upd_sess1' where id % 4 = 0;
+}
+step "s1_del" {
+	delete from t1 where id % 4 = 1;
+}
+step "s1_ins" {
+	insert into t1
+	select generate_series as id, trim( to_char( generate_series, '000' ) ) || '_new' as "name"
+  from generate_series( 11, 20 );
+}
+step "s1_dr" {
+	drop table t1;
+}
+step "s1_sb_0" {
+	select pg_set_backend_snapshot( 0 );
+}
+step "s1_sb_1" {
+	select pg_set_backend_snapshot( ( select recent_snapshot - 2 from pg_control_snapshot() ) );
+}
+step "s1_sb_2" {
+	select pg_set_backend_snapshot( ( select recent_snapshot - 1 from pg_control_snapshot() ) );
+}
+step "s1_sb_3" {
+	select pg_set_backend_snapshot( ( select recent_snapshot from pg_control_snapshot() ) );
+}
+
+session "s2"
+step "s2_sel" {
+	copy ( select * from t1 order by id ) to STDOUT;
+}
+step "s2_upd" {
+	update t1 set name = name || '_upd_sess2' where id % 4 = 2;
+}
+step "s2_sb_0" {
+	select pg_set_backend_snapshot( 0 );
+}
+step "s2_sb_1" {
+	select pg_set_backend_snapshot( ( select recent_snapshot - 2 from pg_control_snapshot() ) );
+}
+step "s2_sb_2" {
+	select pg_set_backend_snapshot( ( select recent_snapshot - 1 from pg_control_snapshot() ) );
+}
+step "s2_sb_3" {
+	select pg_set_backend_snapshot( ( select recent_snapshot from pg_control_snapshot() ) );
+}
+
+session "s3"
+step "s3_mk_sn" {
+	select 1 from pg_make_snapshot();
+}
+step "s3_sw_0" {
+	select pg_switch_to_snapshot( 0 );
+}
+step "s3_sw_1" {
+	select pg_switch_to_snapshot( ( select recent_snapshot - 2 from pg_control_snapshot() ) );
+}
+step "s3_sw_2" {
+	select pg_switch_to_snapshot( ( select recent_snapshot - 1 from pg_control_snapshot() ) );
+}
+step "s3_sw_3" {
+	select pg_switch_to_snapshot( ( select recent_snapshot from pg_control_snapshot() ) );
+}
+step "s3_rc_sn" {
+  select pg_recover_to_snapshot( ( select recent_snapshot from pg_control_snapshot() ) );
+}
+step "s3_rc_sn_1" {
+  select pg_recover_to_snapshot( ( select recent_snapshot - 2 from pg_control_snapshot() ) );
+}
+step "s3_rc_sn_2" {
+  select pg_recover_to_snapshot( ( select recent_snapshot - 1 from pg_control_snapshot() ) );
+}
+
+permutation "s3_mk_sn" "s1_cr" "s1_upd" "s2_upd" "s3_mk_sn" "s1_del" "s3_mk_sn" "s1_dr" "s3_sw_1" "s1_sel" "s2_sel" "s3_sw_2" "s1_sel" "s2_sel" "s3_sw_3" "s1_sel" "s2_sel" "s3_sw_0" "s1_sel" "s2_sel"
+permutation "s3_mk_sn" "s1_cr" "s1_upd" "s2_upd" "s3_mk_sn" "s1_del" "s3_mk_sn" "s1_dr" "s1_sb_1" "s1_sel" "s2_sel" "s1_sb_2" "s1_sel" "s2_sel" "s1_sb_3" "s1_sel" "s2_sel" "s1_sb_0" "s1_sel" "s2_sel"
+permutation "s3_mk_sn" "s1_cr" "s1_upd" "s2_upd" "s3_mk_sn" "s1_del" "s3_mk_sn" "s1_dr" "s2_sb_1" "s1_sel" "s2_sel" "s2_sb_2" "s1_sel" "s2_sel" "s2_sb_3" "s1_sel" "s2_sel" "s2_sb_0" "s1_sel" "s2_sel"
+permutation "s3_mk_sn" "s1_cr" "s1_upd" "s2_upd" "s3_mk_sn" "s1_del" "s3_mk_sn" "s1_dr" "s3_rc_sn" "s1_sel" "s2_sel" "s3_rc_sn" "s1_sel" "s2_sel" "s3_rc_sn" "s1_sel" "s2_sel" "s3_mk_sn"
+permutation "s3_mk_sn" "s1_cr" "s1_upd" "s2_upd" "s3_mk_sn" "s1_del" "s3_mk_sn" "s1_dr" "s3_rc_sn_2" "s1_sel" "s2_sel" "s3_mk_sn"