Re: Question about BarrierAttach spinlock

From: Thomas Munro <thomas(dot)munro(at)gmail(dot)com>
To: Mark Dilger <hornschnorter(at)gmail(dot)com>
Cc: Pg Hackers <pgsql-hackers(at)postgresql(dot)org>
Subject: Re: Question about BarrierAttach spinlock
Date: 2019-05-23 22:43:27
Message-ID: CA+hUKGKgRSJF4sRxERTtiqZqayk31HX+ttgZ=JtOPr-GDFz4uw@mail.gmail.com
Views: Raw Message | Whole Thread | Download mbox | Resend email
Thread:
Lists: pgsql-hackers

On Fri, May 24, 2019 at 4:10 AM Mark Dilger <hornschnorter(at)gmail(dot)com> wrote:
> In src/backend/storage/ipc/barrier.c, BarrierAttach
> goes to the bother of storing the phase before
> releasing the spinlock, and then returns the phase.
>
> In nodeHash.c, ExecHashTableCreate ignores the
> phase returned by BarrierAttach, and then immediately
> calls BarrierPhase to get the phase that it just ignored.
> I don't know that there is anything wrong with this, but
> if the phase can be retrieved after the spinlock is
> released, why hold the spinlock extra long in
> BarrierAttach?
>
> Just asking....

Well spotted. I think you're right, and we could release the spinlock
a nanosecond earlier. It must be safe to move that assignment, for
the reason explained in the comment of BarrierPhase(): after we
release the spinlock, we are attached, and the phase cannot advance
without us. I will contemplate moving that for v13 on principle.

As for why ExecHashTableCreate() calls BarrierAttach(build_barrier)
and then immediately calls BarrierPhase(build_barrier), I suppose I
could remove the BarrierAttach() line and change the BarrierPhase()
call to BarrierAttach(), though I think that'd be slightly harder to
follow. I suppose I could introduce a variable phase.

--
Thomas Munro
https://enterprisedb.com

In response to

Responses

Browse pgsql-hackers by date

  From Date Subject
Next Message Peter Geoghegan 2019-05-23 22:43:40 Re: Top-N sorts in EXPLAIN, row count estimates, and parallelism
Previous Message Andres Freund 2019-05-23 22:36:54 Re: Top-N sorts in EXPLAIN, row count estimates, and parallelism