Message135028
> > Killed by the user, or by an automatic device (such as the Linux OOM
> > killer), or crashed.
>
> Crashed would be bad - it would indicate a bug in the
> ProcessPoolExecutor code.
I meant a crash in Python itself, or any third-party extension module.
> >> If the user kills a child then maybe all we want to do is raise an
> >> exception rather than deadlock as a convenience.
> >
> > That's what the patch does, roughly.
>
> Right. But instead of trying to recover, it might be better to fail
> very loudly i.e.
> - fail every non-finished future
> - kill every child process in the ProcessPoolExecutor
> - set the ProcessPoolExecutor as shutdown so no new work can be
> scheduled
Yes, I think that's better (see my message about the internal state of
queues). |
|
Date |
User |
Action |
Args |
2011-05-03 11:34:31 | pitrou | set | recipients:
+ pitrou, bquinlan, vstinner, jnoller, hongqn, asksol, vlasovskikh, gdb, Albert.Strasheim, aljungberg, gkcn |
2011-05-03 11:34:30 | pitrou | link | issue9205 messages |
2011-05-03 11:34:30 | pitrou | create | |
|