[m-rev.] for review: make the deep profiler work again

[Ralph Becket]

Zoltan Somogyi, Wednesday, 20 November 2002:
> 
> Index: NEWS
> ===================================================================
> RCS file: /home/mercury1/repository/mercury/NEWS,v
> retrieving revision 1.279
> diff -u -b -r1.279 NEWS
> --- NEWS	4 Nov 2002 02:14:24 -0000	1.279
> +++ NEWS	20 Nov 2002 05:37:06 -0000
> @@ -32,6 +32,12 @@
>  * Declarative debugging.
>  * Support for transparent retries across I/O.
>  
> +A new profiler, which we call the Mercury deep profiler or mdprof:
> +* Supports both time and memory profiling.
> +* Gathers information about individual call sites as well as procedures.
> +* Eliminates the assumption that all calls to a procedure have equal cost.
> +* Allows users to explore the gathered data interactive with a web browser.

s/interactive with/interactively via/

> +  The new profiler records, for each of its measurements, not just the current
> +  predicate/function and its caller, but the entire chain of ancestors. This
> +  "deep context" is what gives the profiler its name. Actually, to keep
> +  overheads down, we don't walk the stack at every measurement; we just
> +  associate the current context with each measurement, and update the current
> +  context when it changes. Given this fact, it costs very little extra to
> +  record measurements on every aspect of performance (counts of calls, exits,
> +  fails and redos, counts of memory cells and memory words allocated, and time
> +  spent). We thus have only one deep profiling grade component, .profdeep,
> +  whereas the old profiler has several, each which gathers a given subset
> +  of these measurements.

I'd rephrase that last sentence as

	We thus have only one deep profiling grade component, .profdeep,
	as opposed to the old profiler which had different grade
	components for different measurement subsets.

- Ralph
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------