Quelle  intra-grant-inplace.spec  Sprache: unbekannt

# GRANT's lock is the catalog tuple xmax.  GRANT doesn't acquire a heavyweight
# lock on the object undergoing an ACL change.  Inplace updates, such as
# relhasindex=true, need special code to cope.

setup
{
 CREATE TABLE intra_grant_inplace (c int);
}

teardown
{
 DROP TABLE IF EXISTS intra_grant_inplace;
}

# heap_update()
session s1
setup { SET deadlock_timeout = '100s'; }
step b1 { BEGIN; }
step grant1 {
 GRANT SELECT ON intra_grant_inplace TO PUBLIC;
}
step drop1 {
 DELETE FROM pg_class WHERE relname = 'intra_grant_inplace';
}
step c1 { COMMIT; }

# inplace update
session s2
setup { SET deadlock_timeout = '10ms'; }
step read2 {
 SELECT relhasindex FROM pg_class
 WHERE oid = 'intra_grant_inplace'::regclass;
}
step b2  { BEGIN; }
step addk2 { ALTER TABLE intra_grant_inplace ADD PRIMARY KEY (c); }
step sfnku2 {
 SELECT relhasindex FROM pg_class
 WHERE oid = 'intra_grant_inplace'::regclass FOR NO KEY UPDATE;
}
step c2  { COMMIT; }

# rowmarks
session s3
step b3  { BEGIN ISOLATION LEVEL READ COMMITTED; }
step sfnku3 {
 SELECT relhasindex FROM pg_class
 WHERE oid = 'intra_grant_inplace'::regclass FOR NO KEY UPDATE;
}
step sfu3 {
 SELECT relhasindex FROM pg_class
 WHERE oid = 'intra_grant_inplace'::regclass FOR UPDATE;
}
step r3 { ROLLBACK; }

# Additional heap_update()
session s4
# swallow error message to keep any OID value out of expected output
step revoke4 {
 DO $$
 BEGIN
  REVOKE SELECT ON intra_grant_inplace FROM PUBLIC;
 EXCEPTION WHEN others THEN
  RAISE WARNING 'got: %', regexp_replace(sqlerrm, '[0-9]+', 'REDACTED');
 END
 $$;
}

# Additional rowmarks
session s5
setup { BEGIN; }
step keyshr5 {
 SELECT relhasindex FROM pg_class
 WHERE oid = 'intra_grant_inplace'::regclass FOR KEY SHARE;
}
teardown { ROLLBACK; }


permutation
 b1
 grant1
 read2
 addk2(c1) # inplace waits
 c1
 read2

# inplace thru KEY SHARE
permutation
 keyshr5
 addk2

# inplace wait NO KEY UPDATE w/ KEY SHARE
permutation
 keyshr5
 b3
 sfnku3
 addk2(r3)
 r3

# reproduce bug in DoesMultiXactIdConflict() call
permutation
 b3
 sfnku3
 keyshr5
 addk2(r3)
 r3

# same-xact rowmark
permutation
 b2
 sfnku2
 addk2
 c2

# same-xact rowmark in multixact
permutation
 keyshr5
 b2
 sfnku2
 addk2
 c2

permutation
 b3
 sfu3
 b1
 grant1(r3) # acquire LockTuple(), await sfu3 xmax
 read2
 addk2(c1) # block in LockTuple() behind grant1
 r3   # unblock grant1; addk2 now awaits grant1 xmax
 c1
 read2

permutation
 b2
 sfnku2
 b1
 grant1(addk2) # acquire LockTuple(), await sfnku2 xmax
 addk2(*)  # block in LockTuple() behind grant1 = deadlock
 c2
 c1
 read2

# SearchSysCacheLocked1() calling LockRelease()
permutation
 b1
 grant1
 b3
 sfu3(c1) # acquire LockTuple(), await grant1 xmax
 revoke4(r3) # block in LockTuple() behind sfu3
 c1
 r3   # revoke4 unlocks old tuple and finds new

# SearchSysCacheLocked1() finding a tuple, then no tuple
permutation
 b1
 drop1
 b3
 sfu3(c1)  # acquire LockTuple(), await drop1 xmax
 revoke4(sfu3) # block in LockTuple() behind sfu3
 c1    # sfu3 locks none; revoke4 unlocks old and finds none
 r3