Redesign interrupt/cancel API for regex engine.
authorThomas Munro <tmunro@postgresql.org>
Sat, 8 Apr 2023 09:57:46 +0000 (21:57 +1200)
committerThomas Munro <tmunro@postgresql.org>
Sat, 8 Apr 2023 10:10:39 +0000 (22:10 +1200)
commitdb4f21e4a34b1d5a3f7123e28e77f575d1a971ea
tree16cd41226f81b111ed78c0ac9f0c917e8e54125f
parent6db75edb2ecbc9f6912f90b671b01ab4ac3a01b0
Redesign interrupt/cancel API for regex engine.

Previously, a PostgreSQL-specific callback checked by the regex engine
had a way to trigger a special error code REG_CANCEL if it detected that
the next call to CHECK_FOR_INTERRUPTS() would certainly throw via
ereport().

A later proposed bugfix aims to move some complex logic out of signal
handlers, so that it won't run until the next CHECK_FOR_INTERRUPTS(),
which makes the above design impossible unless we split
CHECK_FOR_INTERRUPTS() into two phases, one to run logic and another to
ereport().  We may develop such a system in the future, but for the
regex code it is no longer necessary.

An earlier commit moved regex memory management over to our
MemoryContext system.  Given that the purpose of the two-phase interrupt
checking was to free memory before throwing, something we don't need to
worry about anymore, it seems simpler to inject CHECK_FOR_INTERRUPTS()
directly into cancelation points, and just let it throw.

Since the plan is to keep PostgreSQL-specific concerns separate from the
main regex engine code (with a view to bein able to stay in sync with
other projects), do this with a new macro INTERRUPT(), customizable in
regcustom.h and defaulting to nothing.

Reviewed-by: Tom Lane <tgl@sss.pgh.pa.us>
Discussion: https://postgr.es/m/CA%2BhUKGK3PGKwcKqzoosamn36YW-fsuTdOPPF1i_rtEO%3DnEYKSg%40mail.gmail.com
13 files changed:
src/backend/regex/regc_locale.c
src/backend/regex/regc_nfa.c
src/backend/regex/regcomp.c
src/backend/regex/rege_dfa.c
src/backend/regex/regexec.c
src/backend/utils/adt/jsonpath_gram.y
src/backend/utils/adt/regexp.c
src/backend/utils/adt/varlena.c
src/include/regex/regcustom.h
src/include/regex/regerrs.h
src/include/regex/regex.h
src/include/regex/regguts.h
src/test/modules/test_regex/test_regex.c