public inbox for systemtap@sourceware.org
 help / color / mirror / Atom feed
* [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).