Re: Worst case execution time problem



Hans-Bernhard Bröker wrote:
David T. Ashley wrote:

.... snip ...

Hans, ... in general the problem is undecideable, but for most
specific practical examples in embedded work you can just examine
all the branch paths and loops and find a maximum.

There's a fiercely dangerous dragon hiding behind that little word
"just". There will often be way more branch paths and loops to
examine than expected, turning this innocent looking "just" into
one heck of a lot of work.

However, if you keep functions short and understandable (meaning
simple) it often is fairly easy to characterize them for max
execution time, possibly in terms of their parameters. Then this
can be used, in turn, for the calling functions. This process will
expose the 'undecideable' routines and will often suggest
modifications to make such routines decideable. The use of global
variables can easily defeat this effort.

--
Merry Christmas, Happy Hanukah, Happy New Year
Joyeux Noel, Bonne Annee.
Chuck F (cbfalconer at maineline dot net)
<http://cbfalconer.home.att.net>


.



Relevant Pages

  • Re: Worst case execution time problem
    ... specific practical examples in embedded work you can just examine ... There will often be way more branch paths and loops to ... So I prefer to avoid globals. ...
    (comp.arch.embedded)
  • Re: Worst case execution time problem
    ... specific practical examples in embedded work you can just examine ... There will often be way more branch paths and loops to ... variables can easily defeat this effort. ...
    (comp.arch.embedded)
  • Re: Worst case execution time problem
    ... specific practical examples in embedded work you can just examine ... There will often be way more branch paths and loops to ... Globals aren't evil becuase they're global. ...
    (comp.arch.embedded)
  • Re: Worst case execution time problem
    ... He asked why he found what he did, in literature. ... practical examples in embedded work you can just examine all the branch paths and loops and find a maximum. ... There will often be way more branch paths and loops to examine than expected, turning this innocent looking "just" into one heck of a lot of work. ...
    (comp.arch.embedded)
  • Re: Worst case execution time problem
    ... practical examples in embedded work you can just examine all the branch ... There will often be way more branch paths and loops to examine ... Doing full statement coverage and measuring end-to-end is not usually ...
    (comp.arch.embedded)