mirror of https://github.com/postgres/postgres
Two of the isolation tests introduce by commit bc32a12e0d had a
problem under CATCACHE_FORCE_RELEASE, as evidenced by buildfarm member
prion. An injection point is hit ahead of what the test spec expects,
so a session goes to sleep and there's no one there to wait it up. Fix
in the simplest possible way, which is to conditionally wake the process
up if it's waiting. An alternative output file is necessary to cover
both cases.
This suggests a couple of possible improvements to the injection points
infrastructure: a conditional wakeup (doing nothing if no one is
sleeping, as opposed to throwing an error), as well as a way to attach
to a point in "deactivated" mode, activated later.
Author: Álvaro Herrera <alvherre@kurilemu.de>
Reviewed-by: Mihail Nikalayeu <mihailnikalayeu@gmail.com>
Discussion: https://postgr.es/m/202511261817.fyixgtt3hqdr@alvherre.pgsql
pull/255/head
parent
e396a18f32
commit
9e8fa05d34
@ -0,0 +1,116 @@ |
|||||||
|
Parsed test spec with 5 sessions |
||||||
|
|
||||||
|
starting permutation: s1_attach_invalidate_catalog_snapshot s4_wakeup_s1_setup s5_noop s3_start_create_index s1_start_upsert s4_wakeup_define_index_before_set_valid s2_start_upsert s5_wakeup_s1_from_invalidate_catalog_snapshot s4_wakeup_s2 s4_wakeup_s1 |
||||||
|
s1: NOTICE: notice triggered for injection point pre-invalidate-catalog-snapshot-end |
||||||
|
injection_points_attach |
||||||
|
----------------------- |
||||||
|
|
||||||
|
(1 row) |
||||||
|
|
||||||
|
injection_points_attach |
||||||
|
----------------------- |
||||||
|
|
||||||
|
(1 row) |
||||||
|
|
||||||
|
injection_points_attach |
||||||
|
----------------------- |
||||||
|
|
||||||
|
(1 row) |
||||||
|
|
||||||
|
s1: NOTICE: notice triggered for injection point pre-invalidate-catalog-snapshot-end |
||||||
|
s1: NOTICE: notice triggered for injection point pre-invalidate-catalog-snapshot-end |
||||||
|
step s1_attach_invalidate_catalog_snapshot: |
||||||
|
SELECT injection_points_attach('invalidate-catalog-snapshot-end', 'wait'); |
||||||
|
<waiting ...> |
||||||
|
step s4_wakeup_s1_setup: |
||||||
|
SELECT CASE WHEN |
||||||
|
(SELECT pid FROM pg_stat_activity |
||||||
|
WHERE wait_event_type = 'InjectionPoint' AND |
||||||
|
wait_event = 'invalidate-catalog-snapshot-end') IS NOT NULL |
||||||
|
THEN injection_points_wakeup('invalidate-catalog-snapshot-end') |
||||||
|
END; |
||||||
|
|
||||||
|
case |
||||||
|
---- |
||||||
|
|
||||||
|
(1 row) |
||||||
|
|
||||||
|
step s1_attach_invalidate_catalog_snapshot: <... completed> |
||||||
|
injection_points_attach |
||||||
|
----------------------- |
||||||
|
|
||||||
|
(1 row) |
||||||
|
|
||||||
|
step s5_noop: |
||||||
|
<waiting ...> |
||||||
|
step s3_start_create_index: |
||||||
|
CREATE UNIQUE INDEX CONCURRENTLY tbl_pkey_special_duplicate ON test.tbl(abs(i)) WHERE i < 10000; |
||||||
|
<waiting ...> |
||||||
|
s1: NOTICE: notice triggered for injection point pre-invalidate-catalog-snapshot-end |
||||||
|
step s1_start_upsert: |
||||||
|
INSERT INTO test.tbl VALUES(13,now()) ON CONFLICT (abs(i)) WHERE i < 100 DO UPDATE SET updated_at = now(); |
||||||
|
<waiting ...> |
||||||
|
step s5_noop: <... completed> |
||||||
|
step s4_wakeup_define_index_before_set_valid: |
||||||
|
SELECT injection_points_detach('define-index-before-set-valid'); |
||||||
|
SELECT injection_points_wakeup('define-index-before-set-valid'); |
||||||
|
|
||||||
|
injection_points_detach |
||||||
|
----------------------- |
||||||
|
|
||||||
|
(1 row) |
||||||
|
|
||||||
|
injection_points_wakeup |
||||||
|
----------------------- |
||||||
|
|
||||||
|
(1 row) |
||||||
|
|
||||||
|
step s2_start_upsert: |
||||||
|
INSERT INTO test.tbl VALUES(13,now()) ON CONFLICT (abs(i)) WHERE i < 100 DO UPDATE SET updated_at = now(); |
||||||
|
<waiting ...> |
||||||
|
step s5_wakeup_s1_from_invalidate_catalog_snapshot: |
||||||
|
SELECT injection_points_detach('invalidate-catalog-snapshot-end'); |
||||||
|
SELECT injection_points_wakeup('invalidate-catalog-snapshot-end'); |
||||||
|
|
||||||
|
injection_points_detach |
||||||
|
----------------------- |
||||||
|
|
||||||
|
(1 row) |
||||||
|
|
||||||
|
injection_points_wakeup |
||||||
|
----------------------- |
||||||
|
|
||||||
|
(1 row) |
||||||
|
|
||||||
|
step s4_wakeup_s2: |
||||||
|
SELECT injection_points_detach('exec-insert-before-insert-speculative'); |
||||||
|
SELECT injection_points_wakeup('exec-insert-before-insert-speculative'); |
||||||
|
|
||||||
|
injection_points_detach |
||||||
|
----------------------- |
||||||
|
|
||||||
|
(1 row) |
||||||
|
|
||||||
|
injection_points_wakeup |
||||||
|
----------------------- |
||||||
|
|
||||||
|
(1 row) |
||||||
|
|
||||||
|
step s4_wakeup_s1: |
||||||
|
SELECT injection_points_detach('check-exclusion-or-unique-constraint-no-conflict'); |
||||||
|
SELECT injection_points_wakeup('check-exclusion-or-unique-constraint-no-conflict'); |
||||||
|
|
||||||
|
injection_points_detach |
||||||
|
----------------------- |
||||||
|
|
||||||
|
(1 row) |
||||||
|
|
||||||
|
injection_points_wakeup |
||||||
|
----------------------- |
||||||
|
|
||||||
|
(1 row) |
||||||
|
|
||||||
|
s1: NOTICE: notice triggered for injection point pre-invalidate-catalog-snapshot-end |
||||||
|
step s1_start_upsert: <... completed> |
||||||
|
step s2_start_upsert: <... completed> |
||||||
|
step s3_start_create_index: <... completed> |
||||||
@ -0,0 +1,116 @@ |
|||||||
|
Parsed test spec with 5 sessions |
||||||
|
|
||||||
|
starting permutation: s1_attach_invalidate_catalog_snapshot s4_wakeup_s1_setup s5_noop s3_start_create_index s1_start_upsert s4_wakeup_define_index_before_set_valid s2_start_upsert s5_wakeup_s1_from_invalidate_catalog_snapshot s4_wakeup_s2 s4_wakeup_s1 |
||||||
|
s1: NOTICE: notice triggered for injection point pre-invalidate-catalog-snapshot-end |
||||||
|
injection_points_attach |
||||||
|
----------------------- |
||||||
|
|
||||||
|
(1 row) |
||||||
|
|
||||||
|
injection_points_attach |
||||||
|
----------------------- |
||||||
|
|
||||||
|
(1 row) |
||||||
|
|
||||||
|
injection_points_attach |
||||||
|
----------------------- |
||||||
|
|
||||||
|
(1 row) |
||||||
|
|
||||||
|
s1: NOTICE: notice triggered for injection point pre-invalidate-catalog-snapshot-end |
||||||
|
s1: NOTICE: notice triggered for injection point pre-invalidate-catalog-snapshot-end |
||||||
|
step s1_attach_invalidate_catalog_snapshot: |
||||||
|
SELECT injection_points_attach('invalidate-catalog-snapshot-end', 'wait'); |
||||||
|
<waiting ...> |
||||||
|
step s4_wakeup_s1_setup: |
||||||
|
SELECT CASE WHEN |
||||||
|
(SELECT pid FROM pg_stat_activity |
||||||
|
WHERE wait_event_type = 'InjectionPoint' AND |
||||||
|
wait_event = 'invalidate-catalog-snapshot-end') IS NOT NULL |
||||||
|
THEN injection_points_wakeup('invalidate-catalog-snapshot-end') |
||||||
|
END; |
||||||
|
|
||||||
|
case |
||||||
|
---- |
||||||
|
|
||||||
|
(1 row) |
||||||
|
|
||||||
|
step s1_attach_invalidate_catalog_snapshot: <... completed> |
||||||
|
injection_points_attach |
||||||
|
----------------------- |
||||||
|
|
||||||
|
(1 row) |
||||||
|
|
||||||
|
step s5_noop: |
||||||
|
<waiting ...> |
||||||
|
step s3_start_create_index: |
||||||
|
CREATE UNIQUE INDEX CONCURRENTLY tbl_pkey_duplicate ON test.tbl(i); |
||||||
|
<waiting ...> |
||||||
|
s1: NOTICE: notice triggered for injection point pre-invalidate-catalog-snapshot-end |
||||||
|
step s1_start_upsert: |
||||||
|
INSERT INTO test.tbl VALUES (13,now()) ON CONFLICT (i) DO UPDATE SET updated_at = now(); |
||||||
|
<waiting ...> |
||||||
|
step s5_noop: <... completed> |
||||||
|
step s4_wakeup_define_index_before_set_valid: |
||||||
|
SELECT injection_points_detach('define-index-before-set-valid'); |
||||||
|
SELECT injection_points_wakeup('define-index-before-set-valid'); |
||||||
|
|
||||||
|
injection_points_detach |
||||||
|
----------------------- |
||||||
|
|
||||||
|
(1 row) |
||||||
|
|
||||||
|
injection_points_wakeup |
||||||
|
----------------------- |
||||||
|
|
||||||
|
(1 row) |
||||||
|
|
||||||
|
step s2_start_upsert: |
||||||
|
INSERT INTO test.tbl VALUES (13,now()) ON CONFLICT (i) DO UPDATE SET updated_at = now(); |
||||||
|
<waiting ...> |
||||||
|
step s5_wakeup_s1_from_invalidate_catalog_snapshot: |
||||||
|
SELECT injection_points_detach('invalidate-catalog-snapshot-end'); |
||||||
|
SELECT injection_points_wakeup('invalidate-catalog-snapshot-end'); |
||||||
|
|
||||||
|
injection_points_detach |
||||||
|
----------------------- |
||||||
|
|
||||||
|
(1 row) |
||||||
|
|
||||||
|
injection_points_wakeup |
||||||
|
----------------------- |
||||||
|
|
||||||
|
(1 row) |
||||||
|
|
||||||
|
step s4_wakeup_s2: |
||||||
|
SELECT injection_points_detach('exec-insert-before-insert-speculative'); |
||||||
|
SELECT injection_points_wakeup('exec-insert-before-insert-speculative'); |
||||||
|
|
||||||
|
injection_points_detach |
||||||
|
----------------------- |
||||||
|
|
||||||
|
(1 row) |
||||||
|
|
||||||
|
injection_points_wakeup |
||||||
|
----------------------- |
||||||
|
|
||||||
|
(1 row) |
||||||
|
|
||||||
|
step s4_wakeup_s1: |
||||||
|
SELECT injection_points_detach('check-exclusion-or-unique-constraint-no-conflict'); |
||||||
|
SELECT injection_points_wakeup('check-exclusion-or-unique-constraint-no-conflict'); |
||||||
|
|
||||||
|
injection_points_detach |
||||||
|
----------------------- |
||||||
|
|
||||||
|
(1 row) |
||||||
|
|
||||||
|
injection_points_wakeup |
||||||
|
----------------------- |
||||||
|
|
||||||
|
(1 row) |
||||||
|
|
||||||
|
s1: NOTICE: notice triggered for injection point pre-invalidate-catalog-snapshot-end |
||||||
|
step s1_start_upsert: <... completed> |
||||||
|
step s2_start_upsert: <... completed> |
||||||
|
step s3_start_create_index: <... completed> |
||||||
Loading…
Reference in new issue