Re: SIGINT handling

[Chet Ramey]

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    chet@case.edu    http://cnswww.cns.cwru.edu/~chet/