On Fri, Jan 19, 2018 at 6:22 AM, Robert Haas <[email protected]> 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
