space profiling
Stephen Weeks
MLton@sourcelight.com
Fri, 24 Aug 2001 11:58:42 -0700
> It makes the computation of the right bin just a little more complicated.
> It might also give "incorrect" results, where time profile ticks for
> blocks get shifted forward or backwards. Probably o.k. for space
> profiling, because there would be enough "buffer" space (i.e., setting
> everything up for the allocation and the tick) between the start of a
> block and the occurence of the tick, and likewise between the tick and the
> end of the block.
That's what I was thinking. 32 bit bins for time and 64 bit bins for space.
It's a minor change to mlprof (once we get Int64 added to MLton) to make it
handle both formats.