space profiling

Stephen Weeks MLton@sourcelight.com
Mon, 27 Aug 2001 16:56:08 -0700


> One  problem  (perhaps not a big deal) with statically allocating the bins is
> that you have to know the number of allocation points. 

No problem.  I think it is easy for Matthew to recognize frontier increments.

> If the bins are statically allocated, then the code at an allocation point is
> going to look like:
> 
>     save flags some where
>     addl    <allocation size>, <low 32 bits of counter>
>     adcl    $0, <high 32 bits of counter>
>     restore flags from some where

Yuck, but it makes sense.

> Ok, I agree, the fixed bins is a win.

Excellent.

> Did you agree or disagree that for timing the bins should still be 96 bits on
> output?   I  think  they should just so that the code in mlprof doesn't worry
> about more than one kind of bin.  Going to the sparse variety  will  probably
> save more space than this will cost us.

I agree.  One format for both time and space, sparse, 96 bit.