#17650: alarm broken on cygwin
-------------------------------------+-------------------------------------
Reporter: gouezel | Owner:
Type: defect | Status: needs_info
Priority: major | Milestone: sage-6.5
Component: porting: Cygwin | Resolution:
Keywords: ppl, cygwin | Merged in:
Authors: Sebastien Gouezel | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/gouezel/alarm_broken_on_cygwin | 1a8ecd257246a869941d6407eda677a489e019fa
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by gouezel):
Excellent question. There is essentially no documentation on this ppl
watchdog that I could find. It seems to be a classical watchdog mechanism,
i.e., it detects if some computation loops forever, and in this case it
interrupts it automatically and resets things to a nicer state. In
particular, it should not play any role in non-buggy situations.
It is not necessary to PPL (since it is disabled on some platforms, those
which don't have `setitimer`), and I do not see how it could be relevant
to sage. So, my impression is that it is safe to disable it (note that the
patch only disables it on cygwin, so it will not break anything on
officially supported platforms). On cygwin, with the patch, `sage -t all`
does not show any ppl-related failure. By the way, without the patch,
`sage -t all` hangs forever and eats all available memory, since some
tests rely on `alarm` to be interrupted! So, in my opinion, the patch
gives a definitive improvement on cygwin.
--
Ticket URL: <http://trac.sagemath.org/ticket/17650#comment:9>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
