[erlang-bugs] Supervisor terminate_child race

[Bryan Fink]

On Tue, Apr 30, 2013 at 9:03 AM, Siri Hansen <erlangsiri@REDACTED> wrote:
> Hi Bryan!

Hi, Siri. This has been a fun one to track down.

> Thanks for reporting this. As far as I can understand, it must be the zero
> timeout that is the problem. I assume that the EXIT signal arrives too late.
> Can you confirm that?

That does seem to be exactly it, yes.

> You are very welcome to contribute with a patch for this :)

I've spent some time fiddling with a couple of hacks, but they have
not yet been clever enough. ;) It seems that there is no guarantee
about when the EXIT signal will arrive. It might even come some amount
of time after the DOWN message.

Does this sound right to you, or is there something I might be overlooking?

-Bryan