From: Tom Lane <tgl@sss.pgh.pa.us>
To: Jeff Davis <pgsql@j-davis.com>
cc: Nathan Bossart <nathandbossart@gmail.com>, Joe Conway <mail@joeconway.com>,
        Andrew Dunstan <andrew@dunslane.net>, Davin Shearer <davin@apache.org>,
        PostgreSQL-development <pgsql-hackers@postgresql.org>
Subject: Re: micro-optimizing json.c
In-reply-to: <8d5cce64d7413eff04c5595a0a80d2b5a809e2fe.camel@j-davis.com>
References: <20231207231251.GB3359478@nathanxps13> <8d5cce64d7413eff04c5595a0a80d2b5a809e2fe.camel@j-davis.com>
Comments: In-reply-to Jeff Davis <pgsql@j-davis.com>
	message dated "Thu, 07 Dec 2023 15:43:47 -0800"
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-ID: <1340018.1701996030.1@sss.pgh.pa.us>
Date: Thu, 07 Dec 2023 19:40:30 -0500
Message-ID: <1340019.1701996030@sss.pgh.pa.us>
Archived-At: <https://www.postgresql.org/message-id/1340019.1701996030%40sss.pgh.pa.us>
Precedence: bulk

Jeff Davis <pgsql@j-davis.com> writes:
> Nice improvement. The use of (len = ...) in a conditional is slightly
> out of the ordinary, but it makes the conditionals a bit simpler and
> you have a comment, so it's fine with me.

Yeah.  It's a little not per project style, but I don't see a nice
way to do it differently, granting that we don't want to put the
strlen() ahead of the !key_scalar test.  More straightforward
coding would end up with two else-path calls of escape_json,
which doesn't seem all that much more straightforward.

> I wonder, if there were an efficient cast from numeric to text, then
> perhaps you could avoid the strlen() entirely?

Hmm ... I think that might not be the way to think about it.  What
I'm wondering is why we need a test as expensive as IsValidJsonNumber
in the first place, given that we know this is a numeric data type's
output.  ISTM we only need to reject "Inf"/"-Inf" and "NaN", which
surely does not require a full parse.  Skip over a sign, check for
"I"/"N", and you're done.

... and for that matter, why does quoting of Inf/NaN require
that we apply something as expensive as escape_json?  Several other
paths in this switch have no hesitation about assuming that they
can just plaster double quotes around what was emitted.  How is
that safe for timestamps but not Inf/NaN?

> In any case, +1 to your simple change.

If we end up not using IsValidJsonNumber then this strlen hackery
would become irrelevant, so maybe that idea should be looked at first.

			regards, tom lane