Message-ID: <379a1e13-c775-4fb5-a444-b41308996cc4@ya.ru>
Date: Thu, 10 Apr 2025 08:33:02 +0300
MIME-Version: 1.0
User-Agent: Mozilla Thunderbird
Subject: Re: Interesting case of IMMUTABLE significantly hurting performance
To: Tom Lane <tgl@sss.pgh.pa.us>
Cc: "pgsql-generallists.postgresql.org" <pgsql-general@lists.postgresql.org>
References: <662101e2-5ca5-4bf5-9307-2519efde8690@ya.ru>
 <8687df7d49bc4b28b41c7cf4e9ad1e15d383b2fa.camel@cybertec.at>
 <CAKFQuwY51Us6LeBxtdL7MbHpJkxYpWtMOHJAhUoXXN2p5f1JfQ@mail.gmail.com>
 <373227.1744236488@sss.pgh.pa.us>
Content-Language: en-US
From: Olleg Samoylov <splarv@ya.ru>
In-Reply-To: <373227.1744236488@sss.pgh.pa.us>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Archived-At: <https://www.postgresql.org/message-id/379a1e13-c775-4fb5-a444-b41308996cc4%40ya.ru>
Precedence: bulk


On 10.04.2025 01:08, Tom Lane wrote:
> Yeah.  The assumption is that you had a reason for marking the
> function IMMUTABLE and you want the planner to treat it that way
> even if it isn't really.  (There are valid use-cases for that, for
> instance if you want calls to the function to be constant-folded.)
> 			regards, tom lane

Well, to_char(bigint, text) indeed not immutable, because in some 
pattern it uses get information from locale. For instance,'SLDG' 
patterns. But in case of

CREATE OR REPLACE FUNCTION formatted_num_immutable(p_summa bigint)
  RETURNS text
  LANGUAGE sql
  IMMUTABLE STRICT
RETURN ltrim(to_char(p_summa, '999 999 999 999 999 999 999 999'));

to_char do not use locale information in this pattern. So it is correct 
conclude that to_char is immutable with this pattern and 
formatted_num_immutable too. I did not lie to the planner.

So this is looked "strange", immutable function marked as immutable 
function can not be inlined, but exactly the same function marked as 
volatile do.
-- 
Olleg