From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 90418BC6B for ; Tue, 10 Jul 2007 05:34:37 +0200 (CEST) Received: from ipmail03.adl2.internode.on.net (ipmail03.adl2.internode.on.net [203.16.214.135]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6A3YZhb015879 for ; Tue, 10 Jul 2007 05:34:36 +0200 X-IronPort-AV: E=Sophos;i="4.16,520,1175437800"; d="scan'208";a="113945455" Received: from ppp121-44-3-31.lns4.syd7.internode.on.net (HELO [192.168.1.201]) ([121.44.3.31]) by ipmail03.adl2.internode.on.net with ESMTP; 10 Jul 2007 13:04:31 +0930 Subject: Re: [Caml-list] large parametrized polymorphic variant type combinations take forever to compile From: skaller To: Sam Steingold Cc: caml-list@inria.fr In-Reply-To: <4692991E.8040205@gnu.org> References: <4666E11F.6000308@podval.org> <4692991E.8040205@gnu.org> Content-Type: text/plain Date: Tue, 10 Jul 2007 13:34:29 +1000 Message-Id: <1184038469.10248.70.camel@rosella.wigram> Mime-Version: 1.0 X-Mailer: Evolution 2.10.1 Content-Transfer-Encoding: 7bit X-Miltered: at discorde with ID 4692FE4B.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; parametrized:01 cmo:01 ocamlc:01 1.3:98 paging:98 sourceforge:01 polymorphic:01 wrote:01 compile:01 caml-list:01 variant:02 compiling:02 slower:02 opt:05 message-----:05 On Mon, 2007-07-09 at 16:22 -0400, Sam Steingold wrote: > -----BEGIN PGP SIGNED MESSAGE----- > compiling f.ml takes forever. literally. it has been running for 5+ > hours now and there is no sign of hope (all it has produces so far is an > empty f.cmo): > 27820 sds 25 0 1343m 1.3g 1576 R 98 37.2 306:01.80 ocamlc.opt 1G ram used on 1G box? Is it thrashing the disk? Disk is 1000 times slower than RAM .. if you get into random paging, just reboot your box or get more RAM: the time taken is no longer relevant. This happened to me: Mlton builds on my 2G box in 15 minutes. On my 1G box it takes for ever .. I think the disk would pass its MTBF before the job would finish :) -- John Skaller Felix, successor to C++: http://felix.sf.net