* [Bug translator/16300] New: suppress statement-counting protections in loop-free non-recursive probe handlers
@ 2013-12-06 21:07 fche at redhat dot com
2013-12-06 22:27 ` [Bug translator/16300] " jistone at redhat dot com
2014-06-02 17:41 ` ajakop at redhat dot com
0 siblings, 2 replies; 3+ messages in thread
From: fche at redhat dot com @ 2013-12-06 21:07 UTC (permalink / raw)
To: systemtap
https://sourceware.org/bugzilla/show_bug.cgi?id=16300
Bug ID: 16300
Summary: suppress statement-counting protections in loop-free
non-recursive probe handlers
Product: systemtap
Version: unspecified
Status: NEW
Severity: normal
Priority: P2
Component: translator
Assignee: systemtap at sourceware dot org
Reporter: fche at redhat dot com
Since we have full view of the probe handler's logic & control flow,
we can know that handlers containing only straight-through code and
conditionals cannot trigger an indefinite loop, thus don't need
statement-counting type protection.
This might extended to some loops too, if we pessimistically estimate
small number-of-iterations, such as foreach-limit ones, or loops over
fixed integer ranges, or over small arrays.
--
You are receiving this mail because:
You are the assignee for the bug.
^ permalink raw reply [flat|nested] 3+ messages in thread* [Bug translator/16300] suppress statement-counting protections in loop-free non-recursive probe handlers 2013-12-06 21:07 [Bug translator/16300] New: suppress statement-counting protections in loop-free non-recursive probe handlers fche at redhat dot com @ 2013-12-06 22:27 ` jistone at redhat dot com 2014-06-02 17:41 ` ajakop at redhat dot com 1 sibling, 0 replies; 3+ messages in thread From: jistone at redhat dot com @ 2013-12-06 22:27 UTC (permalink / raw) To: systemtap https://sourceware.org/bugzilla/show_bug.cgi?id=16300 Josh Stone <jistone at redhat dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |jistone at redhat dot com --- Comment #1 from Josh Stone <jistone at redhat dot com> --- (In reply to Frank Ch. Eigler from comment #0) > This might extended to some loops too, if we pessimistically estimate > small number-of-iterations, such as foreach-limit ones, or loops over > fixed integer ranges, or over small arrays. Beware nested multiplication of loops too, whether directly nested or even indirectly via function calls. They couldn't be made infinite this way, if we keep recursion protection, but still could be unreasonably huge. -- You are receiving this mail because: You are the assignee for the bug. ^ permalink raw reply [flat|nested] 3+ messages in thread
* [Bug translator/16300] suppress statement-counting protections in loop-free non-recursive probe handlers 2013-12-06 21:07 [Bug translator/16300] New: suppress statement-counting protections in loop-free non-recursive probe handlers fche at redhat dot com 2013-12-06 22:27 ` [Bug translator/16300] " jistone at redhat dot com @ 2014-06-02 17:41 ` ajakop at redhat dot com 1 sibling, 0 replies; 3+ messages in thread From: ajakop at redhat dot com @ 2014-06-02 17:41 UTC (permalink / raw) To: systemtap https://sourceware.org/bugzilla/show_bug.cgi?id=16300 ajakop at redhat dot com changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |ajakop at redhat dot com Assignee|systemtap at sourceware dot org |ajakop at redhat dot com -- You are receiving this mail because: You are the assignee for the bug. ^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2014-06-02 17:41 UTC | newest] Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2013-12-06 21:07 [Bug translator/16300] New: suppress statement-counting protections in loop-free non-recursive probe handlers fche at redhat dot com 2013-12-06 22:27 ` [Bug translator/16300] " jistone at redhat dot com 2014-06-02 17:41 ` ajakop at redhat dot com
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).