> Total time (wall clock)
> orig: 5 hours +
> no-reread: 6 minutes
> Peak RES (as measured by top)
> orig: 940MB
> no-reread: 950MB
Am I reading this correctly? This unoptimisation makes Darcs 50 times
faster on large records while not using significantly more memory?
This looks like some serious problem with gzReadPatchFileLazily. I'm
tempted to apply the workaround unless someone can explain this behaviour.
Juliusz
_______________________________________________
darcs-devel mailing list
[email protected]
http://www.abridgegame.org/cgi-bin/mailman/listinfo/darcs-devel
