On 9/19/15 5:31 PM, Stephane Chazelas wrote:
> In case it was caused by some Debian patch, I recompiled the
> code of 4.3.42 from gnu.org and the one from the devel branch on
> the git repository (commit bash-20150911 snapshot) and still:
>
> $ ./bash -c 'sh -c "trap exit INT; sleep 10; :"; echo hi'
> ^Chi
> $ ./bash -c 'sh -c "trap exit INT; sleep 10; :"; echo hi'
> ^Chi
> $ ./bash -c 'sh -c "trap exit INT; sleep 10; :"; echo hi'
> ^C
> $ ./bash -c 'sh -c "trap exit INT; sleep 10; :"; echo hi'
> ^Chi
>
> Sometimes (and the frequency of occurrences is erratic,
> generally roughly 80% of "hi"s but at times, I don't see a "hi"
> in a while), the "hi" doesn't show up. Note that I press ^C well
> after sleep has started.
It would be nice to see a system call trace for this so we can check
what's going on with the timing.
Can you reproduce this on anything other than Debian? I'm wondering
whether it's a Linux-4 kernel phenomenon. Plus I don't have any
Debian machines laying around.
Chet
--
``The lyf so short, the craft so long to lerne.'' - Chaucer
``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, ITS, CWRU c...@case.edu http://cnswww.cns.cwru.edu/~chet/
