Re: Incorrect visibility test function assigned to snapshot - Mailing list pgsql-hackers

From Antonin Houska
Subject Re: Incorrect visibility test function assigned to snapshot
Date
Msg-id 28218.1527687932@localhost
Whole thread Raw
In response to Re: Incorrect visibility test function assigned to snapshot  (Alvaro Herrera <alvherre@2ndquadrant.com>)
Responses Re: Incorrect visibility test function assigned to snapshot  (Andres Freund <andres@anarazel.de>)
List pgsql-hackers
Alvaro Herrera <alvherre@2ndquadrant.com> wrote:

> On 2018-May-30, Antonin Houska wrote:
>
> > In the header comment, SnapBuildInitialSnapshot() claims to set
> > snapshot->satisfies to the HeapTupleSatisfiesMVCC test function, and indeed it
> > converts the "xid" array to match its semantics (i.e. the xid items eventually
> > represent running transactions as opposed to the committed ones). However the
> > test function remains HeapTupleSatisfiesHistoricMVCC as set by
> > SnapBuildBuildSnapshot().
>
> Interesting.  While this sounds like an oversight that should have
> horrible consequences, it's seems not to because the current callers
> don't seem to care about the ->satisfies function.  Are you able to come
> up with some scenario in which it causes an actual problem?

Right, the current callers in the core do not seem to use that function. I hit
the issue when doing and testing some changes in an extension (pg_squeeze).

--
Antonin Houska
Cybertec Schönig & Schönig GmbH
Gröhrmühlgasse 26, A-2700 Wiener Neustadt
Web: https://www.cybertec-postgresql.com


pgsql-hackers by date:

Previous
From: Ashutosh Bapat
Date:
Subject: Re: Microoptimization of Bitmapset usage in postgres_fdw
Next
From: Andres Freund
Date:
Subject: Re: Incorrect visibility test function assigned to snapshot