predicate-rum-2.spec

# Test for page level predicate locking in rum
#
# Test to check reduced false positives
#
# Queries are written in such a way that an index scan(from one transaction) and an index insert(from another transaction) will try to access different parts(sub-tree) of the index.

setup
{
CREATETABLErum_tbl (idserial, tsvtsvector);

CREATETABLEtext_table (id1serial, ttext[]);

INSERTINTOtext_table(t) SELECTarray[chr(i) ||chr(j)] FROMgenerate_series(65,90) i,
generate_series(65,90) j ; 

--Weneedtousepseudorandomtogeneratevaluesfortesttable
--Inthiscaseweuselinearcongruentialgeneratorbecauserandom() 
--functionmaygeneratedifferentoutputswithdifferentsystems
DO $$
DECLARE
cinteger:=17;
ainteger:=261;
minteger:=6760;
Xiinteger:=228;
BEGIN
FORiin1..338LOOP
INSERTINTOrum_tbl(tsv) VALUES ('');
FORjin1..10LOOP
UPDATErum_tblSETtsv=tsv|| (SELECTto_tsvector(t[1]) FROMtext_tableWHEREid1=Xi%676+1) WHEREid=i;
Xi= (a*Xi+c) %m;
ENDLOOP;
ENDLOOP;
END;
 $$;

CREATEINDEXrum_tbl_idxONrum_tblUSINGrum (tsvrum_tsvector_ops);
}

teardown
{
DROPTABLEtext_table;
DROPTABLErum_tbl;
}

session"s1"
setup { 
BEGINISOLATIONLEVELSERIALIZABLE;
setenable_seqscan=off;
 }
step"rxy1" { SELECTid, tsvFROMrum_tblWHEREtsv @@ 'hx'; }
step"wx1" { INSERTINTOrum_tbl(tsv) values('ab'); }
step"c1" { COMMIT; }

session"s2"
setup { 
BEGINISOLATIONLEVELSERIALIZABLE;
setenable_seqscan=off;
 }

step"rxy2" { SELECTid, tsvFROMrum_tblWHEREtsv @@ 'qh'; }
step"wy2" { INSERTINTOrum_tbl(tsv) values('xz'); }
step"c2" { COMMIT; }