On 25/09/2009 14:25, Jason Dagit wrote:


On Fri, Sep 25, 2009 at 4:34 AM, Simon Marlow <marlo...@gmail.com
<mailto:marlo...@gmail.com>> wrote:

    On 24/09/2009 04:57, Jason Dagit wrote:

        I ran this more with normal builds and just the GC statistics.
          Here is
        what we see:
        unmodified darcs:
        469 MB total memory in use (3 MB lost due to fragmentation)
        Total time   26.51s  ( 29.76s elapsed)
        Productivity  85.6% of total user, 76.2% of total elapsed

        469 MB total memory in use (3 MB lost due to fragmentation)
        Total time   26.59s  ( 32.47s elapsed)
        Productivity  85.6% of total user, 70.1% of total elapsed

        469 MB total memory in use (3 MB lost due to fragmentation)
        Total time   26.54s  ( 29.95s elapsed)
        Productivity  85.5% of total user, 75.8% of total elapsed

        With my patch applied:
        554 MB total memory in use (4 MB lost due to fragmentation)
        Total time   23.30s  ( 31.56s elapsed)
        Productivity  83.1% of total user, 61.3% of total elapsed

        554 MB total memory in use (4 MB lost due to fragmentation)
        Total time   22.85s  ( 26.33s elapsed)
        Productivity  82.9% of total user, 71.9% of total elapsed

        554 MB total memory in use (4 MB lost due to fragmentation)
        Total time   22.88s  ( 26.38s elapsed)
        Productivity  82.8% of total user, 71.8% of total elapsed

        Now that the profiler is disabled the productivity with my
        changes is
        less, the run-time is maybe improved by 2-3 seconds, and the memory
        usage has increased by almost 100 megs.  I can only assume that the
        profiling is interfering with my results a fair bit.


    The profile graphs in your previous message showed a residency of
    around ~30M before your patch, and ~6M after your patch.  Which
    seems like a worthwhile saving.  I presume those graphs were from a
    different test case?  If not, then something very strange is going
    on.  If they are from a different test case, then do the numbers
    stand up when using the non-profiled darcs?


Thanks for trying to help me understand the profiling.

My test case has not changed at all.  The only thing I've been changing
is the darcs source code.

Do you have suggestions on determining which strange thing may be happening?

Well, if the heap profile is showing a ~30M residency and yet the runtime is using 500MB, there's about 400MB unaccounted for.

Ah - so one problem is that the contents of ByteStrings are not accounted for in the heap profile, for unpleasant technical reasons to do with the way they're stored. Unfortunately it's not easy to fix, because the GC doesn't retain information about which ByteStrings are live, only that the 4KB block in which they live is still alive.

The underlying problem in your example may be fragmentation, due to the way that ByteStrings are pinned and hence hold on to the whole 4KB block in which they were allocated until they die. Duncan has been thinking about how to improve the situation, but I'm not sure of the current status - Duncan?

Cheers,
        Simon
_______________________________________________
darcs-users mailing list
darcs-users@darcs.net
http://lists.osuosl.org/mailman/listinfo/darcs-users

Reply via email to