<div dir="auto">I actually think it's mksh... Using -s 9 also makes the flake go away. So my guess is that we're actually waiting for the sleep in the child to finish, whereas bash isn't? </div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Jul 25, 2019, 19:30 Rob Landley <<a href="mailto:rob@landley.net">rob@landley.net</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On 7/25/19 5:31 PM, enh via Toybox wrote:<br>
> And when I say "fix", I mean "hack around in the worst possible way".<br>
> <br>
> Android+mksh is often slow enough that we can do the pgrep before the<br>
> killed process has actually exited. (I'm seeing roughly 100% failure<br>
> rate on cloud x86 emulators, and about 75% on a real Pixel 2.)<br>
<br>
Nah, that's not bad, that's just "force a schedule". If the process's parent<br>
hasn't scheduled yet to receive the SIGCHLD then it'll still be a zombie, that's<br>
understandable if your scheduler gives the new process scheduling priority<br>
because shortest job first is likely. The tiny sleep _should_ be there.<br>
<br>
Rob<br>
</blockquote></div>