Re: Why overhead of SPI is so large? - Mailing list pgsql-hackers

From Robert Haas
Subject Re: Why overhead of SPI is so large?
Date
Msg-id CA+TgmoZHLABbMi7R9xXvvoetsPaRmMrr9mb2NgJH6zc0ubGTtw@mail.gmail.com
Whole thread Raw
In response to Re: Why overhead of SPI is so large?  (David Fetter <david@fetter.org>)
List pgsql-hackers
On Sat, Aug 24, 2019 at 12:01 PM David Fetter <david@fetter.org> wrote:
> No, it's lying to the RDBMS, so it's pilot error. The problem of
> determining from the function itself whether it is in fact immutable
> is, in general, equivalent to the Halting Problem, so no, we can't
> figure it out. We do need to trust our users not to lie to us, and we
> do not need to protect them from the consequences when they do.

Depends.  I don't mind if mislabeling a function leads to "wrong"
query results, but I don't think it's OK for it to, say, crash the
server.

-- 
Robert Haas
EnterpriseDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company



pgsql-hackers by date:

Previous
From: Asim R P
Date:
Subject: Re: Cleanup isolation specs from unused steps
Next
From: Andrew Dunstan
Date:
Subject: Re: "ago" times on buildfarm status page