[m-dev.] logging proposal

[Julien Fischer]

On Sun, 19 Mar 2006, Mark Brown wrote:

> On 18-Mar-2006, Ian MacLarty <maclarty at cs.mu.OZ.AU> wrote:
> > On 3/18/06, Julien Fischer <juliensf at cs.mu.oz.au> wrote:
> > > What I was getting at here, is that `debug' may not be a general enough name
> > > because you may want to generate logging traces for purposes other than
> > > debugging.
> > >
> >
> > What about 'trace' goals?
>
> I think `trace' is exactly the right name.  Particularly if the behaviour
> is determined by the trace level (possibly a new trace level) and the
> presence of the `--trace-optimized' option.

I like 'trace'.

> > > > 2.  Should debug goals be allowed to be enabled in non debugging grades?
> > > >     If not then you couldn't use debug goals to profile your app in hlc
> > > >     grade for example.
> > >
> > > I would argue that they should (particularly in light of the fact that
> > > the debugger doesn't work in the hlc grades).
> > >
>
> Is that really a problem?  To what extent are you expecting this feature
> to replace the functionality of mdb and/or the profilers?

I wasn't expecting it to replace the profilers as such.  This sort of facility
would be quite useful for ad-hoc profiling of the sort that the profilers
don't perform.  For example, when working on the termination analysers I often
been interested in collecting information about how many procedures can be
proved to terminate and *why* they can be proved to terminate (I admit it's
possible to extract most of that information from normal profiles, but it
isn't as straightforward as just writing a customised piece of code to gather
just that information.)

Julien.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------