1 files changed, 48 insertions, 0 deletions
diff --git a/src/test/isolation/specs/multiple-row-versions.spec b/src/test/isolation/specs/multiple-row-versions.spec
new file mode 100644
index 0000000000..8cfe3a44dc
--- /dev/null
+++ b/src/test/isolation/specs/multiple-row-versions.spec
@@ -0,0 +1,48 @@
+# Multiple Row Versions test
+#
+# This test is designed to ensure that predicate locks taken on one version
+# of a row are detected as conflicts when a later version of the row is
+# updated or deleted by a transaction concurrent to the reader.
+#
+# Due to long permutation setup time, we are only testing one specific
+# permutation, which should get a serialization error.
+
+setup
+{
+ CREATE TABLE t (id int NOT NULL, txt text) WITH (fillfactor=50);
+ INSERT INTO t (id)
+   SELECT x FROM (SELECT * FROM generate_series(1, 1000000)) a(x);
+ ALTER TABLE t ADD PRIMARY KEY (id);
+}
+
+teardown
+{
+ DROP TABLE t;
+}
+
+session "s1"
+setup		{ BEGIN ISOLATION LEVEL SERIALIZABLE; }
+step "rx1"	{ SELECT * FROM t WHERE id = 1000000; }
+# delay until after T3 commits
+step "wz1"	{ UPDATE t SET txt = 'a' WHERE id = 1; }
+step "c1"	{ COMMIT; }
+
+session "s2"
+setup		{ BEGIN ISOLATION LEVEL SERIALIZABLE; }
+step "wx2"	{ UPDATE t SET txt = 'b' WHERE id = 1000000; }
+step "c2"	{ COMMIT; }
+
+session "s3"
+setup		{ BEGIN ISOLATION LEVEL SERIALIZABLE; }
+step "wx3"	{ UPDATE t SET txt = 'c' WHERE id = 1000000; }
+step "ry3"	{ SELECT * FROM t WHERE id = 500000; }
+# delay until after T4 commits
+step "c3"	{ COMMIT; }
+
+session "s4"
+setup		{ BEGIN ISOLATION LEVEL SERIALIZABLE; }
+step "wy4"	{ UPDATE t SET txt = 'd' WHERE id = 500000; }
+step "rz4"	{ SELECT * FROM t WHERE id = 1; }
+step "c4"	{ COMMIT; }
+
+permutation "rx1" "wx2" "c2" "wx3" "ry3" "wy4" "rz4" "c4" "c3" "wz1" "c1"