From: | Kyotaro HORIGUCHI <horiguchi(dot)kyotaro(at)lab(dot)ntt(dot)co(dot)jp> |
---|---|
To: | masao(dot)fujii(at)gmail(dot)com |
Cc: | michael(dot)paquier(at)gmail(dot)com, tgl(at)sss(dot)pgh(dot)pa(dot)us, pgsql-hackers(at)postgresql(dot)org |
Subject: | Re: Cannot shutdown subscriber after DROP SUBSCRIPTION |
Date: | 2017-02-03 01:56:35 |
Message-ID: | 20170203.105635.240968059.horiguchi.kyotaro@lab.ntt.co.jp |
Views: | Raw Message | Whole Thread | Download mbox | Resend email |
Thread: | |
Lists: | pgsql-hackers |
At Fri, 3 Feb 2017 01:02:47 +0900, Fujii Masao <masao(dot)fujii(at)gmail(dot)com> wrote in <CAHGQGwHqQVHmQ7wM=eLNnp1_oy-GVSSAcaJXWjE4nc2twSqXRg(at)mail(dot)gmail(dot)com>
> On Thu, Feb 2, 2017 at 2:36 PM, Michael Paquier
> <michael(dot)paquier(at)gmail(dot)com> wrote:
> > On Thu, Feb 2, 2017 at 2:13 PM, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:
> >> Kyotaro HORIGUCHI <horiguchi(dot)kyotaro(at)lab(dot)ntt(dot)co(dot)jp> writes:
> >>> Then, the reason for the TRY-CATCH cluase is that I found that
> >>> some functions called from there can throw exceptions.
> >>
> >> Yes, but all LWLocks should be released by normal error recovery.
> >> It should not be necessary for this code to clean that up by hand.
> >> If it were necessary, there would be TRY-CATCH around every single
> >> LWLockAcquire in the backend, and we'd have an unreadable and
> >> unmaintainable system. Please don't add a TRY-CATCH unless it's
> >> *necessary* -- and you haven't explained why this one is.
>
> Yes.
Thank you for the suggestion. I minunderstood that.
> > Putting hands into the code and at the problem, I can see that
> > dropping a subscription on a node makes it unresponsive in case of a
> > stop. And that's just because calls to LWLockRelease are missing as in
> > the patch attached. A try/catch problem should not be necessary.
>
> Thanks for the patch!
>
> With the patch, LogicalRepLauncherLock is released at the end of
> DropSubscription(). But ISTM that the lock should be released just after
> logicalrep_worker_stop() and there is no need to protect the removal of
> replication slot with the lock.
That's true. logicalrep_worker_stop returns after confirmig that
worker->proc is cleard, so no false relaunch cannot be caused.
After all, logicalrep_worker_stop is surrounded by
LWLockAcquire/Relase pair. So it can be moved into the funciton
and make the lock secrion to be more narrower.
> /*
> * If we found worker but it does not have proc set it is starting up,
> * wait for it to finish and then kill it.
> */
> while (worker && !worker->proc)
> {
>
> ISTM that the above loop in logicalrep_worker_stop() is not necessary
> because LogicalRepLauncherLock ensures that the above condition is
> always false. Thought? Am I missing something?
The lock exists only to keep the launcher from starting a
worker. Creating a subscription and starting a worker for the
slot run independently.
> If the above condition is true, which means that there is the worker slot
> having the "subid" of the worker to kill, but its "proc" has not been set yet.
Yes. The situation happens after launcher sets subid and before
ApplyWorkerMain attaches the slot. The lock doesn't protect the
section. If someone can drop a subscription just after its
creation, it happens.
> Without LogicalRepLauncherLock, this situation can happen after "subid"
> is set by the launcher and before "proc" is set by the worker. But
> LogicalRepLauncherLock protects those operations, so logicalrep_worker_stop()
> called while holding the lock should always think the above condition is false.
regards,
--
Kyotaro Horiguchi
NTT Open Source Software Center
Attachment | Content-Type | Size |
---|---|---|
0001-Refactor-the-lock-section-for-subscription-worker-te.patch | text/x-patch | 1.6 KB |
From | Date | Subject | |
---|---|---|---|
Next Message | Corey Huinker | 2017-02-03 02:06:16 | Re: \if, \elseif, \else, \endif (was Re: PSQL commands: \quit_if, \quit_unless) |
Previous Message | Amit Langote | 2017-02-03 01:51:18 | Re: Constraint exclusion failed to prune partition in case of partition expression involves function call |