Archives of the Caml mailing list > Message from Jacques Garrigue

Browse thread

compiling large file hogs RAM and takes a long time.

Sam Steingold
- Sam Steingold
- skaller
  - Sam Steingold
- Sam Steingold
  - Jacques Garrigue
    - skaller
    - Jacques Garrigue
      - Sam Steingold
        
        Jon Harrop
        
        Sam Steingold

Date:	-- (:)
From:	Jacques Garrigue <garrigue@m...>
Subject:	Re: [Caml-list] compiling large file hogs RAM and takes a long time.

> > Any chance there is some quadratic code in polymorphic variant type
> > processing?!
> 
> There is, and this is a known problem:
>   http://caml.inria.fr/mantis/view.php?id=4053
> 
> I'm sorry, but I don't see any easy way out.
> At least on the basic time complexity.
> However, the space complexity could be improved, if I find what is
> gobbling memory so fast.

I found the reason, and this is now fixed in CVS 3.10.
I can now compile a pattern matching with 3000 cases in 10s and just
10MB, which is better than 40s and 250MB before :-)

This doesn't change the quadratic time complexity, but as other
mentioned, constants do matter.

Jacques Garrigue