Обсуждение: PATCH: pg_restore parallel-execution-deadlock issue

Поиск
Список
Период
Сортировка

PATCH: pg_restore parallel-execution-deadlock issue

От
Armin Schöffmann
Дата:
worthy hackers,
I propose the below patches to parallels.c and pg_backup_utils.c fixing deadlocks in pg_restore (windows only) if
runningmore than 2 parallel jobs. 
This problem was reported by me earlier this year.
http://www.postgresql.org/message-id/20160307161619.25731.78653@wrigleys.postgresql.org

- Winsock's "recv(...)" called in piperead() is a blocking read by default, therefor, signalizing termEvent as used in
ShutdownWorkersHard()is not enough to make worker-threads go away. 
We need a preceding shutdown(pipeWrite, SD_BOTH), first, to abort blocking IO in this case.
Otherwise, the main-thread will wait forever, if more than one additional worker is active (e.g. option -j3) and a
prematureEOF occurs in the input-file. 

Findings in pg_backup_utils.c/ parallels.c, which could impact other tools, too:

- threads created with _beginthreadex need to be exited by either a "return exitcode"  or "_endthreadex(exitcode)". It
mightbe obsolete in fire-and-forget-scenarios, but it matters in other cases. 
As of current, pg_backup_utils uses EndThread to retire additional worker-threads., which are spawned by _beginthreadex
inparallel.c. The corresponding call for ExitThread would be CreateThread, 
nevertheless, _beginthreadex is the correct choice here, as we do call-out into CRT and need to retain the
thread-handlefor after-death synchronization with the main-thread. 
The thread-handle needs to be closed explicitly.

If this is not the correct place to discuss patches, I'd be glad if somebody can notify the tool's maintainer, to take
alook into it. 

best regards,
Armin Schöffmann.


--
Aegaeon technologies GmbH
phone: +49.941.8107344
fax:   +49.941.8107356

Legal disclaimer:
http://aegaeon.de/disclaimer/email_all_int.txt


parallel.c

@@ -350,7 +350,8 @@ static void
 ShutdownWorkersHard(ParallelState *pstate)
 {
-#ifndef WIN32
+
     int            i;

+#ifndef WIN32
     signal(SIGPIPE, SIG_IGN);

@@ -367,4 +368,7 @@ ShutdownWorkersHard(ParallelState *pstate)
     /* The workers monitor this event via checkAborting(). */
     SetEvent(termEvent);
+
+    for (i = 0; i < pstate->numWorkers; i++)
+        shutdown(pstate->parallelSlot[i].pipeWrite, SD_BOTH);
 #endif

@@ -408,5 +412,8 @@ WaitForTerminatingWorkers(ParallelState *pstate)
         for (j = 0; j < pstate->numWorkers; j++)
             if (pstate->parallelSlot[j].hThread == hThread)
+            {
                 slot = &(pstate->parallelSlot[j]);
+                CloseHandle(hThread);
+            }

         free(lpHandles);



pg_backup_utils.c

@@ -120,5 +120,5 @@ exit_nicely(int code)
 #ifdef WIN32
     if (parallel_init_done && GetCurrentThreadId() != mainThreadId)
-        ExitThread(code);
+        _endthreadex(code);
 #endif






Вложения

Re: PATCH: pg_restore parallel-execution-deadlock issue

От
Michael Paquier
Дата:
On Tue, Apr 5, 2016 at 9:28 AM, Armin Schöffmann
<armin.schoeffmann@aegaeon.de> wrote:
> I propose the below patches to parallels.c and pg_backup_utils.c fixing deadlocks in pg_restore (windows only) if
runningmore than 2 parallel jobs. 
> This problem was reported by me earlier this year.
> http://www.postgresql.org/message-id/20160307161619.25731.78653@wrigleys.postgresql.org

Yes, I recall that... It is one of the things that I have bookmarked
on my box and that I wanted to look at at some point.. Well now's the
time.

> - Winsock's "recv(...)" called in piperead() is a blocking read by default, therefor, signalizing termEvent as used
inShutdownWorkersHard() is not enough to make worker-threads go away. 
> We need a preceding shutdown(pipeWrite, SD_BOTH), first, to abort blocking IO in this case.
> Otherwise, the main-thread will wait forever, if more than one additional worker is active (e.g. option -j3) and a
prematureEOF occurs in the input-file. 

    /* The workers monitor this event via checkAborting(). */
    SetEvent(termEvent);
+
+   /* Disable send and receive on the given socket */
+   for (i = 0; i < pstate->numWorkers; i++)
+       shutdown(pstate->parallelSlot[i].pipeWrite, SD_BOTH);
 #endif
Looking at this code, it is indeed tricky. We cannot just close the
sockets because of the blocking call emulated in WIN32's piperead
added in parallel.c, and it is necessary to be in line with the
termination event. This really meritates a comment in the code. I
added one in the patch attached.

> Findings in pg_backup_utils.c/ parallels.c, which could impact other tools, too:
> - threads created with _beginthreadex need to be exited by either a "return exitcode"  or "_endthreadex(exitcode)".
Itmight be obsolete in fire-and-forget-scenarios, but it matters in other cases. 
> As of current, pg_backup_utils uses EndThread to retire additional worker-threads., which are spawned by
_beginthreadexin parallel.c. The corresponding call for ExitThread would be CreateThread, 
> nevertheless, _beginthreadex is the correct choice here, as we do call-out into CRT and need to retain the
thread-handlefor after-death synchronization with the main-thread. 
> The thread-handle needs to be closed explicitly.

This is as well explained here:
https://msdn.microsoft.com/en-us/library/kdzttdcb.aspx
"endthread and _endthreadex reclaim allocated thread resources and
then call ExitThread."

 #ifdef WIN32
    if (parallel_init_done && GetCurrentThreadId() != mainThreadId)
-       ExitThread(code);
+       _endthreadex(code);
 #endif
This is indeed the right thing to do per the docs if _beginthreadex
has been called to initialize it.

        for (j = 0; j < pstate->numWorkers; j++)
+       {
            if (pstate->parallelSlot[j].hThread == hThread)
+           {
                slot = &(pstate->parallelSlot[j]);
+               CloseHandle(hThread);
+           }
+       }
OK for closing the handle here. You are missing a cast to HANDLE here
actually or this code generates a warning.

> If this is not the correct place to discuss patches, I'd be glad if somebody can notify the tool's maintainer, to
takea look into it. 

Here or -bugs are correct places to discuss such issues. People doing
from time to time work with Windows hang up on the two lists.
--
Michael

Вложения

Re: PATCH: pg_restore parallel-execution-deadlock issue

От
Michael Paquier
Дата:
On Fri, Apr 8, 2016 at 2:24 AM, Michael Paquier
<michael.paquier@gmail.com> wrote:
> On Tue, Apr 5, 2016 at 9:28 AM, Armin Schöffmann
> <armin.schoeffmann@aegaeon.de> wrote:
>> If this is not the correct place to discuss patches, I'd be glad if somebody can notify the tool's maintainer, to
takea look into it. 
>
> Here or -bugs are correct places to discuss such issues. People doing
> from time to time work with Windows hang up on the two lists.

ea274b2 has changed the way disconnection is done is is now closing
both the read and write pipes. So you may want to retry if things get
better with the next round of minor releases.
--
Michael



Re: PATCH: pg_restore parallel-execution-deadlock issue

От
Tom Lane
Дата:
Michael Paquier <michael.paquier@gmail.com> writes:
> ea274b2 has changed the way disconnection is done is is now closing
> both the read and write pipes. So you may want to retry if things get
> better with the next round of minor releases.

Hadn't paid attention to this thread before ...

It looks like there are still a few things we need to deal with before
considering Armin's submission resolved:

1. Armin proposes using "shutdown(pipeWrite, SD_BOTH)" where the code
committed this morning (df8d2d8c4) has "closesocket(pipeWrite)".
I'd prefer to leave it that way since it's the same as for the Unix case,
and Kyotaro-san says it works for him.  Is there a reason we'd need
shutdown() instead?

2. Armin proposes that WaitForTerminatingWorkers needs to do CloseHandle()
on the various thread handles.  That sounds plausible but I don't know
enough Windows programming to know if it really matters.

3. Should we replace ExitThread() with _endthreadex()?  Again, it
seems plausible but I'm not the person to ask.
        regards, tom lane



Re: PATCH: pg_restore parallel-execution-deadlock issue

От
Amit Kapila
Дата:
On Fri, May 27, 2016 at 3:05 AM, Tom Lane <tgl@sss.pgh.pa.us> wrote:
>
> Michael Paquier <michael.paquier@gmail.com> writes:
> > ea274b2 has changed the way disconnection is done is is now closing
> > both the read and write pipes. So you may want to retry if things get
> > better with the next round of minor releases.
>
> Hadn't paid attention to this thread before ...
>
> It looks like there are still a few things we need to deal with before
> considering Armin's submission resolved:
>
> 1. Armin proposes using "shutdown(pipeWrite, SD_BOTH)" where the code
> committed this morning (df8d2d8c4) has "closesocket(pipeWrite)".
> I'd prefer to leave it that way since it's the same as for the Unix case,
> and Kyotaro-san says it works for him.  Is there a reason we'd need
> shutdown() instead?
>
> 2. Armin proposes that WaitForTerminatingWorkers needs to do CloseHandle()
> on the various thread handles.  That sounds plausible but I don't know
> enough Windows programming to know if it really matters.
>
> 3. Should we replace ExitThread() with _endthreadex()?  Again, it
> seems plausible but I'm not the person to ask.
>

I think point (2) and (3) are related because using _endthreadex won't close the thread handle explicitly [1].
Refer line "_endthread automatically closes the thread handle, whereas _endthreadex does not."

With Regards,
Amit Kapila.
EnterpriseDB: http://www.enterprisedb.com

Re: PATCH: pg_restore parallel-execution-deadlock issue

От
Michael Paquier
Дата:
On Fri, May 27, 2016 at 4:07 PM, Amit Kapila <amit.kapila16@gmail.com> wrote:
> On Fri, May 27, 2016 at 3:05 AM, Tom Lane <tgl@sss.pgh.pa.us> wrote:
>>
>> Michael Paquier <michael.paquier@gmail.com> writes:
>> > ea274b2 has changed the way disconnection is done is is now closing
>> > both the read and write pipes. So you may want to retry if things get
>> > better with the next round of minor releases.
>>
>> Hadn't paid attention to this thread before ...
>>
>> 1. Armin proposes using "shutdown(pipeWrite, SD_BOTH)" where the code
>> committed this morning (df8d2d8c4) has "closesocket(pipeWrite)".
>> I'd prefer to leave it that way since it's the same as for the Unix case,
>> and Kyotaro-san says it works for him.  Is there a reason we'd need
>> shutdown() instead?

Hm, OK.

>> 2. Armin proposes that WaitForTerminatingWorkers needs to do CloseHandle()
>> on the various thread handles.  That sounds plausible but I don't know
>> enough Windows programming to know if it really matters.
>>
>> 3. Should we replace ExitThread() with _endthreadex()?  Again, it
>> seems plausible but I'm not the person to ask.
>>
>
> I think point (2) and (3) are related because using _endthreadex won't close
> the thread handle explicitly [1].

Yep.

> [1] - https://msdn.microsoft.com/en-us/library/kdzttdcb.aspx
> Refer line "_endthread automatically closes the thread handle, whereas
> _endthreadex does not."

And the rest of the sentence:
Therefore, when you use _beginthread and _endthread, do not explicitly
close the thread handle by calling the Win32 CloseHandle API. This
behavior differs from the Win32 ExitThread API.

Personally I understand that as well as for the first part: when using
_beginthreadex and _endthreadex, be sure to call CloseHandle() to
explicitely close the thread handle.

And based on the second part if we use ExitThread after beginning a
thread with _beginthreadex we would get unreliable behavior. I guess
you don't need a patch? Because by looking again at this thread and
the windows docs what we have now is unpredictable.
-- 
Michael



Re: PATCH: pg_restore parallel-execution-deadlock issue

От
Tom Lane
Дата:
Michael Paquier <michael.paquier@gmail.com> writes:
> On Fri, May 27, 2016 at 4:07 PM, Amit Kapila <amit.kapila16@gmail.com> wrote:
>> On Fri, May 27, 2016 at 3:05 AM, Tom Lane <tgl@sss.pgh.pa.us> wrote:
>>> 2. Armin proposes that WaitForTerminatingWorkers needs to do CloseHandle()
>>> on the various thread handles.  That sounds plausible but I don't know
>>> enough Windows programming to know if it really matters.
>>> 
>>> 3. Should we replace ExitThread() with _endthreadex()?  Again, it
>>> seems plausible but I'm not the person to ask.

>> I think point (2) and (3) are related because using _endthreadex won't close
>> the thread handle explicitly [1].

> Yep.

OK, I pushed something based on that.  It's untested by me but the
buildfarm should tell us if I broke anything too badly.

I believe we've now dealt with all the issues originally raised by
Armin, so I've marked this patch committed in the CF app.
        regards, tom lane