MIME-Version: 1.0
References: <c161b5e7e1888eb9c9eb182a7d9dcf89@oss.nttdata.com>
 <61b4add9a01f21011789b6ee04085751@oss.nttdata.com> <CACJufxGjtoFxLhXy9JOrfYsXnFyCAMrdu2DTyLPx5Js3qY3J-A@mail.gmail.com>
 <3d5fd6d955944b5e8e4b8d1917f14885@oss.nttdata.com> <67fac921c935d7b9db51609a7599520f@oss.nttdata.com>
 <CA+TgmobH+Uto9MCD+vWc71bVbOnd7d8zeYjRT8nXaeLe5hsNJQ@mail.gmail.com>
 <20240215185911.v4o6fo444md6a3w7@awork3.anarazel.de> <CA+TgmoZ2Hsb39zzofasjOHXnjsNfJy84YjFF=-KNOO7FsvAi9Q@mail.gmail.com>
 <CAAaqYe-gMkdL=M4v47=H0F3+-zi2qL9zFqAv3QsizkRjFiQR0w@mail.gmail.com>
 <CA+TgmoYkztFSryutQMNv9DnQ__NDwGE8XhhgnbdCG8e_o4T7yQ@mail.gmail.com>
 <hzicr3kidnmwbcqwmwortldzq4fijrfca7c3prncoepgt6rpwf@uydrxvi7qhpk> <CA+Tgmoa6QniTueRJ1rKcp_-TpVc0c8FZxOtu4ehDop+R=pEcpA@mail.gmail.com>
In-Reply-To: <CA+Tgmoa6QniTueRJ1rKcp_-TpVc0c8FZxOtu4ehDop+R=pEcpA@mail.gmail.com>
From: James Coleman <jtc331@gmail.com>
Date: Sat, 24 Feb 2024 08:56:41 -0500
Message-ID: <CAAaqYe9sS+FXZBugNEEjb89XLny8KGpfhrVHdsOug2yOeC3now@mail.gmail.com>
Subject: Re: RFC: Logging plan of the running query
To: Robert Haas <robertmhaas@gmail.com>
Cc: Julien Rouhaud <rjuju123@gmail.com>, Andres Freund <andres@anarazel.de>, 
	torikoshia <torikoshia@oss.nttdata.com>, pgsql-hackers@lists.postgresql.org, 
	=?UTF-8?Q?=C3=89tienne_BERSAC?= <etienne.bersac@dalibo.com>, 
	ashutosh.bapat.oss@gmail.com, rafaelthca@gmail.com, 
	jian.universality@gmail.com
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Archived-At: <https://www.postgresql.org/message-id/CAAaqYe9sS%2BFXZBugNEEjb89XLny8KGpfhrVHdsOug2yOeC3now%40mail.gmail.com>
Precedence: bulk

On Fri, Feb 23, 2024 at 10:23=E2=80=AFAM Robert Haas <robertmhaas@gmail.com=
> wrote:
>
> On Fri, Feb 23, 2024 at 7:50=E2=80=AFPM Julien Rouhaud <rjuju123@gmail.co=
m> wrote:
> > On Fri, Feb 23, 2024 at 10:22:32AM +0530, Robert Haas wrote:
> > > On Thu, Feb 22, 2024 at 6:25=E2=80=AFAM James Coleman <jtc331@gmail.c=
om> wrote:
> > > > This is potentially a bit of a wild idea, but I wonder if having so=
me
> > > > kind of argument to CHECK_FOR_INTERRUPTS() signifying we're in
> > > > "normal" as opposed to "critical" (using that word differently than
> > > > the existing critical sections) would be worth it.
> > >
> > > It's worth considering, but the definition of "normal" vs. "critical"
> > > might be hard to pin down. Or, we might end up with a definition that
> > > is specific to this particular case and not generalizable to others.
> >
> > But it doesn't have to be all or nothing right?  I mean each call could=
 say
> > what the situation is like in their context, like
> > CHECK_FOR_INTERRUPTS(GUARANTEE_NO_HEAVYWEIGHT_LOCK | GUARANTEE_WHATEVER=
), and
> > slowly tag calls as needed, similarly to how we add already CFI based o=
n users
> > report.
>
> Absolutely. My gut feeling is that it's going to be simpler to pick a
> small number of places that are safe and sufficient for this
> particular feature and add an extra call there, similar to how we do
> vacuum_delay_point(). The reason I think that's likely to be better is
> that it will likely require changing only a relatively small number of
> places. If we instead start annotating CFIs, well, we've got hundreds
> of those. That's a lot more to change, and it also inconveniences
> third-party extension authors and people doing back-patching. I'm not
> here to say it can't work; I just think it's likely not the easiest
> path.

Yes, I suspect it's not the easiest path. I have a small hunch it
might end up paying more dividends in the future: there isn't just one
of these things that is regularly a thorny discussion for the same
reasons each time (basically "no way to trigger this safely from
another backend interrupting another one at an arbitrary point"), and
if we were able to generalize a solution we may have multiple wins (a
very obvious one in my mind is the inability of auto explain to run an
explain at the precise time it's most useful: when statement timeout
fires).

But it's also possible there are simply ways that get us more than
this scenario also, so I might be wrong; it's merely a hunch.

Regards,
James Coleman