Greg Stark <gsstark@mit.edu> writes:
> So vacuum doesn't really know what tuples are actually visible to the
> snapshots actually taken by a transaction? It's making the conservative
> estimate that a snapshot could have been taken as early as the start of the
> transaction even if no snapshot was taken until later?
Not quite, because what it looks at is the snapshot xmin, which each
backend publishes in the PGPROC array. A backend that has started a
transaction but hasn't yet set its snapshot can be recognized.
IIRC the problem comes up indirectly, because such a backend affects
the xmins that are computed by *other* transactions. What VACUUM is
actually using as the cutoff is the least xmin that it can see anywhere
in PGPROC --- and everyone else's xmin will be no higher than the XID
of the laggard, even if the laggard hasn't yet set its own xmin.
Thinking about this, it seems like xmin might not be quite the right
metric for this purpose. It might be worth thinking about whether we
could do better with a little more info in PGPROC.
regards, tom lane