I'm curious, how do you track the upstream svn changes using darcs? I
find that git interoperates with svn very well, so I'm using git to
manage my local copy of cil.

On Tue, May 26, 2009 at 1:02 PM, Gabriel Kerneis <kern...@pps.jussieu.fr> wrote:
> Hi,
>
> I've been suffering performance issues with CIL recently. 30% of the
> time was spent in garbage collection.
>
> [Not sure if this figure is significant since I still spend 30% of my
> time garbage-collecting, but it's a shorter time now ;-) ]
>
> The issue basically boils down to a lot of partial evaluations, pushing
> the GC under heavy-load. I'm currently patching cil.ml extensively
> (well, the visitor part at least) and reduced the number of allocated
> words by half on my benchmarks.
>
> [By the way, ocamlutil/stats.ml is broken on 64bit architectures, the
> figures returned by printM in Stats.print should by doubled. I'll send a
> patch for this one too.]
>
> I still have an awful lot of major collections but I think I'm on the
> good way since there are far less allocations.
>
> I'll provide a unified patch on this list soon but curious people could
> look at the latest patches (using darcs) here:
>
> darcs get http://www.pps.jussieu.fr/~kerneis/software/repos/cil/patched
>
> More information on the general issue and work-arounds here:
>    http://ocaml.janestreet.com/?q=node/30
>
> Regards,
> --
> Gabriel Kerneis
>
> ------------------------------------------------------------------------------
> Register Now for Creativity and Technology (CaT), June 3rd, NYC. CaT
> is a gathering of tech-side developers & brand creativity professionals. Meet
> the minds behind Google Creative Lab, Visual Complexity, Processing, &
> iPhoneDevCamp as they present alongside digital heavyweights like Barbarian
> Group, R/GA, & Big Spaceship. http://p.sf.net/sfu/creativitycat-com
> _______________________________________________
> CIL-users mailing list
> CIL-users@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/cil-users
>

------------------------------------------------------------------------------
Register Now for Creativity and Technology (CaT), June 3rd, NYC. CaT 
is a gathering of tech-side developers & brand creativity professionals. Meet
the minds behind Google Creative Lab, Visual Complexity, Processing, & 
iPhoneDevCamp as they present alongside digital heavyweights like Barbarian 
Group, R/GA, & Big Spaceship. http://p.sf.net/sfu/creativitycat-com 
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users

Reply via email to