wiki:WarnPoints

Version 1 (modified by jd, 8 years ago) (diff)

--

Warn points

Warn points allow for automatizing certain profiling tasks. With them, you can just let a program run, but stop automatically once the number of calls to a certain predicate (or the number of times a more complex control flow tree constellation has arisen) exceeds a predefined threshold. For example, you can define a number of calls to a certain predicate that you wouldn't expect your program to exceed, and if it does, this is indicatory of a problem. Moreover, the point at which execution is automatically halted because the threshold has been exceeded may indicate the part of execution where things go wrong, for example through infinite recursion.

The warn point system has been integrated with Kahina's BreakpointSystem. This allows to combine arbitrary tree patterns with thresholds, although in typical cases a one-node tree pattern will do. A warn point is a breakpoint paired with a threshold and a counter. The counter starts at 0 and is incremented every time there is a match. Unlike a breakpoint match, a warn point match has no visible effect until the counter hits the threshold. Then, the counter is reset to 0 and Kahina shows the usual breakpoint match behavior: if Kahina is in auto-complete or leap mode, it goes into stop mode, thereby pausing execution of the program. Additionally, a dialog opens indicating which warn point has matched.

Warn points are defined through the warn point editor. This editor is like the other breakpoint editors, except that it has an additional input field for specifiying the threshold.

TRALE example

Let's say your grammar contains the predicate tree_append/3 and you want to be warned if it is called 1000 times. You can define a warn point as follows:

  1. Click Warn points (call tree) in the Breakpoints menu. (Since we are only defining a one-node tree pattern, it does not matter if we choose the call or step tree.)
  2. Click New.
  3. In the Node constraint area, select step label and contains and enter tree_append/3.
  4. Enter a catchy Name for the warn point, such as 1000x tree_append/3.
  5. In the Warn after field, enter the threshold 1000.
  6. Click Apply and quit in the Profile window.

Now start the parse by clicking the leap (fast forward) button. After 1000 calls to tree_append/3, leaping stops and the following window appears:

Attachments (4)

Download all attachments as: .zip