[darcs-devel] [issue2405] patch index creation consumes too much memory

[Guillaume Hoffmann]

New submission from Guillaume Hoffmann <guillaumh at gmail.com>:

I obtained the following by running `darcs optimize enable-patch-index`
on a local mirror of http://darcs.net .

With darcs built with optimizations (ie normally):

https://dl.dropboxusercontent.com/u/6239815/patchindex_creation_optimized.pdf

Without optimizations (the command terminates with a stack overflow,
which made me discover the problem):

https://dl.dropboxusercontent.com/u/6239815/patchindex_creation_not_optimized.pdf

To generate these files, compile darcs with profiling enabled, then
delete _darcs/patch_index , then run `darcs optimize enable-patch-index
 +RTS -xt -hy`, then `hp2ps -c darcs.hp && ps2pdf darcs.ps && evince
darcs.pdf` .

It would be nice to see where the main memory consumption comes from,
and reduce it.

----------
assignedto: alex.aegf
messages: 17636
milestone: 2.10.0 HEAD
nosy: alex.aegf, gh
status: unknown
title: patch index creation consumes too much memory
topic: PatchIndex, Performance

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/issue2405>
__________________________________