pgsql: injection_points: Store runtime conditions in private area

From: Michael Paquier <michael(at)paquier(dot)xyz>
To: pgsql-committers(at)lists(dot)postgresql(dot)org
Subject: pgsql: injection_points: Store runtime conditions in private area
Date: 2024-05-12 10:45:23
Message-ID: E1s66hm-000d2b-Au@gemulon.postgresql.org
Views: Raw Message | Whole Thread | Download mbox | Resend email
Thread:
Lists: pgsql-committers

injection_points: Store runtime conditions in private area

This commit fixes a race condition between injection point run and
detach, where a point detached by a backend and concurrently running in
a second backend could cause the second backend to do an incorrect
condition check. This issue happens because the second backend
retrieves the callback information in a first step in the shmem hash
table for injection points, and the condition in a second step within
the callback. If the point is detached between these two steps, the
condition would be removed, causing the point to run while it should
not. Storing the condition in the new private_data area introduced in
33181b48fd0e ensures that the condition retrieved is consistent with its
callback.

This commit leads to a lot of simplifications in the module
injection_points, as there is no need to handle the runtime conditions
inside it anymore. Runtime conditions have no more a maximum number.

Per discussion with Noah Misch.

Reviewed-by: Noah Misch
Discussion: https://postgr.es/m/20240509031553.47@rfd.leadboat.com

Branch
------
master

Details
-------
https://git.postgresql.org/pg/commitdiff/267d41dc4f4184525353db4069709cfb3df02ceb

Modified Files
--------------
.../modules/injection_points/injection_points.c | 173 +++++++--------------
src/tools/pgindent/typedefs.list | 1 +
2 files changed, 61 insertions(+), 113 deletions(-)

Browse pgsql-committers by date

  From Date Subject
Next Message Thomas Munro 2024-05-12 19:59:19 pgsql: Skip citext_utf8 test on Windows.
Previous Message Michael Paquier 2024-05-12 09:57:12 pgsql: Introduce private data area for injection points