Test additional speculative conflict scenarios.
authorAndres Freund <andres@anarazel.de>
Wed, 12 Feb 2020 00:32:11 +0000 (16:32 -0800)
committerAndres Freund <andres@anarazel.de>
Wed, 12 Feb 2020 00:32:11 +0000 (16:32 -0800)
commit43e08419708a938236e76cd50de2db512e1c3a0c
treef48c7063a204edc919979cdbe1ad3a76049b743d
parentbe6221e9be234109aa261ea767c85f5e8cda90e8
Test additional speculative conflict scenarios.

Previously, the speculative insert tests did not cover the case when a
tuple t is inserted into a table with a unique index on a column but
before it can insert into the index, a concurrent transaction has
inserted a conflicting value into the index and the insertion of tuple t
must be aborted.

The basic permutation is one session successfully inserts into the table
and an associated unique index while a concurrent session successfully
inserts into the table but discovers a conflict before inserting into
the index and must abort the insertion.

Several variants on this include:
- swap which session is successful
- first session insert transaction does not commit, so second session
must wait on a transaction lock
- first session insert does not "complete", so second session must wait
on a speculative insertion lock

Also, refactor the existing TOAST table upsert test to be in the same
spec and reuse the steps.

Author: Melanie Plageman, Ashwin Agrawal, Andres Freund
Reviewed-by: Andres Freund, Taylor Vesely
Discussion: https://postgr.es/m/CAAKRu_ZRmxy_OEryfY3G8Zp01ouhgw59_-_Cm8n7LzRH5BAvng@mail.gmail.com
src/test/isolation/expected/insert-conflict-specconflict.out
src/test/isolation/expected/insert-conflict-toast.out [deleted file]
src/test/isolation/isolation_schedule
src/test/isolation/specs/insert-conflict-specconflict.spec
src/test/isolation/specs/insert-conflict-toast.spec [deleted file]