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