MIME-Version: 1.0
References: <CAOYmi+=g+MMoOpWkk2weXWKJcKH0eKey8gKHHdH0dF4Tiawrhw@mail.gmail.com>
 <CA+TgmobwaT=PXPDDrgDup+jA8KHBbkxigtziD-zNzAKKkQYVgQ@mail.gmail.com>
 <CAOYmi+mOmEW=amDRQMfw6-Fb3ZmDEQFaJzwk8Bc8W8DzaP85XQ@mail.gmail.com>
 <CA+TgmoaX2AMW4cdFM3OngBJxmxpkdmzF33R7-CWhvRLfucbFMg@mail.gmail.com>
 <CAOYmi+njnRGcomnxTY6vsEW3wWigc0ruB0EyWFpb+PVVE8sWpw@mail.gmail.com>
 <CAOYmi+k4AyWCQHK=XVF99KVDuFkqxcADao61OWGLxu0nRYMONQ@mail.gmail.com>
 <CA+TgmoZ0x3ym_oueXRWzbM_=6ucKoPZVGj3rRMLBDC_FnetXDw@mail.gmail.com>
 <CAP53Pkycc=7N2bLzVT3x+qE1JamvRZWev5tFjdLJ1+-AV3Di+Q@mail.gmail.com>
 <CAP53PkxK=oeGySmq7AgN6pp8V0BEcuHY+d9xC640PxOT4QTUyQ@mail.gmail.com>
 <CA+Tgmob4PtUX=EVbhuQW8-zsmLzhyCnVwaLG71Gio=djK3Fu+g@mail.gmail.com> <aWA94p2KkBmZCpyz@paquier.xyz>
In-Reply-To: <aWA94p2KkBmZCpyz@paquier.xyz>
From: Robert Haas <robertmhaas@gmail.com>
Date: Mon, 12 Jan 2026 09:50:03 -0500
Message-ID: <CA+Tgmoa+t6Sc1=_RP+=v68mXq1twPB8fSiqtd4hHZY8ZVd_eYA@mail.gmail.com>
Subject: Re: pg_plan_advice
To: Michael Paquier <michael@paquier.xyz>
Cc: Lukas Fittl <lukas@fittl.com>, Jacob Champion <jacob.champion@enterprisedb.com>, 
	Dian Fay <di@nmfay.com>, Matheus Alcantara <matheusssilv97@gmail.com>, 
	Jakub Wartak <jakub.wartak@enterprisedb.com>, 
	PostgreSQL Hackers <pgsql-hackers@lists.postgresql.org>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Archived-At: <https://www.postgresql.org/message-id/CA%2BTgmoa%2Bt6Sc1%3D_RP%2B%3Dv68mXq1twPB8fSiqtd4hHZY8ZVd_eYA%40mail.gmail.com>
Precedence: bulk

On Thu, Jan 8, 2026 at 6:29=E2=80=AFPM Michael Paquier <michael@paquier.xyz=
> wrote:
> So you are telling me that I can commit code that deletes code.  Count
> me in.  The project has some merge requests that I've been holding on
> a bit due to what's happening here and because I did not really look
> at the internals that have changed.  It's great to see that you have
> begun an investigation, Lukas.

:-)

> I suspect that this is going to be an incremental integration process,
> and it smells to me that it is going to require more than one major
> release before being able to remove the whole set of hacks that
> pg_hint_plan has been using, particularly with the GUCs, the costing
> and the forced update of the backend routines which is a ugly
> historical hack.  Saying that, I would need to look at the plan
> outputs to be sure, perhaps we would be OK even with slight changes.
> These happen every year, because the plans tested are complex enough
> that some of the sub-paths are changed, but the hints still work
> properly.  This year for v19 we have at least the changes in the
> expression names.

I think it's quite possible that you could do a full rip and replace
with some study of what needs to be added on top of 0004. The core
idea of 0004 is that it adds a field called pgs_mask in several of
places, which allows you to set a bitmask to control which operations
the planner will consider to be enabled. You can set this via some
existing hooks, and it also adds a  a new hook (joinrel_setup_hook)
which is called near the start of add_paths_to_joinrel(). So, you can
set pgs_mask in PlannerGlobal to control planning for the entire
operation, RelOptInfo to control it for a particular rel, or
JoinPathExtraData to set it for a particular joinrel and a particular
choice of outer and inner rel. I am pretty well convinced that this is
a good model: instead of duplicating a bunch of planner code, as
pg_hint_plan currently does, just have a way to tell the existing
planner code what you want it to do.

Now, one fly in the ointment is that pgs_mask is just a mask -- that
is, it gives us space to store 64 related Booleans, but nothing else.
So if we want to store an integer, like a number of parallel workers,
we need a separate field for that. But if that integer can reasonably
be set at the same levels that are possible for pgs_mask, it's really
easy: just look at the places where 0004 adds a pgs_mask field, and
add an integer field as well. There is obviously some limit to the
number of fields we can reasonably add to PlannerGlobal, RelOptInfo,
and JoinPathExtraData, but if it starts to become too much, we could
bundle some or all of them up in a struct. The patch has already
figured out how to get the mask to propagate down to the places where
low-level planning decisions are being made, so it seems worth trying
to piggy-back on that for anything else that we need.

Now, maybe that won't work out for some reason. But on the other hand,
maybe it will work out. I think it's possible that for the price of a
quite small patch adding another field or a couple of fields on top of
pgs_mask and in the same places, you could get rid of a lot more code.

--=20
Robert Haas
EDB: http://www.enterprisedb.com