On 2014-02-02 15:16:45 -0500, Tom Lane wrote:
> Andres Freund <and...@2ndquadrant.com> writes:
> > On February 2, 2014 5:52:22 PM CET, Tom Lane <t...@sss.pgh.pa.us> wrote:
> >> More to the point, changing the Assert so it doesn't fire
> >> doesn't do one damn thing to ameliorate the fact that cache reload
> >> during transaction abort is wrong and unsafe.
>
> > And, as upthread, I still don't think that's correct. I don't have
> > sources available right now, but IIRC we already have aborted out of the
> > transaction. Released locks, the xid and everything.
>
> Nope ... the case exhibited in the example is dying in AtEOSubXact_Inval,
> which is in the very midst of subxact abort.
True. But we've done LWLockReleaseAll(), TransactionIdAbortTree(),
XidCacheRemoveRunningXids() and
ResourceOwnerRelease(RESOURCE_RELEASE_BEFORE_LOCKS), which is why we are
currently able to build correct entries, even though we are in an
aborted transaction.
> I've been thinking about this for the past little while, and I believe
> that it's probably okay to have RelationClearRelation leave the relcache
> entry un-rebuilt, but with rd_isvalid = false so it will be rebuilt when
> next opened. The rationale is explained in the comments in the attached
> patch. I've checked that this fixes Noah's test case and still passes
> the existing regression tests.
Hm, a bit scary, but I don't see an immediate problem.
The following comment now is violated for nailed relations
* We assume that at the time we are called, we have at least
AccessShareLock
* on the target index. (Note: in the calls from RelationClearRelation,
* this is legitimate because we know the rel has positive refcount.)
but that should be easy to fix.
I wonder though, if we couldn't just stop doing the
RelationReloadIndexInfo() for nailed indexes. The corresponding comment
says:
* If it's a nailed index, then we need to re-read the pg_class row to
see
* if its relfilenode changed. We do that immediately if we're inside a
* valid transaction. Otherwise just mark the entry as possibly
invalid,
* and it'll be fixed when next opened.
*/
but any relfilenode change should have already been handled by
RelationInitPhysicalAddr()?
Do you plan to backpatch this? If so, even to 8.4?
Greetings,
Andres Freund
--
Andres Freund http://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Training & Services
--
Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org)
To make changes to your subscription:
http://www.postgresql.org/mailpref/pgsql-hackers
