Amit Kapila <amit.kapila16@gmail.com> writes:
> On Wed, Feb 12, 2020 at 7:36 AM Masahiko Sawada
> <masahiko.sawada@2ndquadrant.com> wrote:
>> On Wed, 12 Feb 2020 at 00:43, Tom Lane <tgl@sss.pgh.pa.us> wrote:
>>> I would like to suggest that we do something similar to Robert Haas'
>>> excellent hack (daa7527af) for the !HAVE_SPINLOCK case in lmgr/spin.c,
>> My original proposal used LWLocks and hash tables for relation
>> extension but there was a discussion that using LWLocks is not good
>> because it's not interruptible[1].
> Hmm, but we use LWLocks for (a) WALWrite/Flush (see the usage of
> WALWriteLock), (b) writing the shared buffer contents (see
> io_in_progress lock and its usage in FlushBuffer) and might be for few
> other similar stuff. Many times those take more time than extending a
> block in relation especially when we combine the WAL write for
> multiple commits. So, if this is a problem for relation extension
> lock, then the same thing holds true there also.
Yeah. I would say a couple more things:
* I see no reason to think that a relation extension lock would ever
be held long enough for noninterruptibility to be a real issue. Our
expectations for query cancel response time are in the tens to
hundreds of msec anyway.
* There are other places where an LWLock can be held for a *long* time,
notably the CheckpointLock. If we do think this is an issue, we could
devise a way to not insist on noninterruptibility. The easiest fix
is just to do a matching RESUME_INTERRUPTS after getting the lock and
HOLD_INTERRUPTS again before releasing it; though maybe it'd be worth
offering some slightly cleaner way. Point here is that LWLockAcquire
only does that because it's useful to the majority of callers, not
because it's graven in stone that it must be like that.
In general, if we think there are issues with LWLock, it seems to me
we'd be better off to try to fix them, not to invent a whole new
single-purpose lock manager that we'll have to debug and maintain.
I do not see anything about this problem that suggests that that would
provide a major win. As Andres has noted, there are lots of other
aspects of it that are likely to be more useful to spend effort on.
regards, tom lane