On Fri, Jan 19, 2018 at 6:22 AM, Robert Haas <robertmh...@gmail.com> wrote: >> (3) >> erm, maybe it's a problem that errors occurring in workers while the >> leader is waiting at a barrier won't unblock the leader (we don't >> detach from barriers on abort/exit) -- I'll look into this. > > I think if there's an ERROR, the general parallelism machinery is > going to arrange to kill every worker, so nothing matters in that case > unless barrier waits ignore interrupts, which I'm pretty sure they > don't. (Also: if they do, I'll hit the ceiling; that would be awful.)
(After talking this through with Robert off-list). Right, the CHECK_FOR_INTERRUPTS() in ConditionVariableSleep() handles errors from parallel workers. There is no problem here. -- Thomas Munro http://www.enterprisedb.com
