Hi Pavel, Eugene, here is a testcase that demonstrates the problem. The code
that sets up sigalrm in main() is the same as the program I have been debugging
except that I’ve reduced the interval in this testcase. In the original, as
per the comment, the interval is .8 seconds.
When I run this
+Eugene, who wrote the signal-skipping code
Cool, I'm glad we got to the bottom of this.
At this point, I *think* we should be able to reproduce the issue
ourselves, but a self-contained reproducer would definitely make it easier
for us and would be appreciated, particularly as there are still a
