From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 03177BC32 for ; Thu, 17 Mar 2005 11:47:31 +0100 (CET) Received: from first.in-berlin.de (dialin-145-254-054-177.arcor-ip.net [145.254.54.177]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j2HAlTim026311 for ; Thu, 17 Mar 2005 11:47:30 +0100 Received: by first.in-berlin.de (Postfix, from userid 501) id D28DFBC5FC; Thu, 17 Mar 2005 11:47:27 +0100 (CET) Date: Thu, 17 Mar 2005 11:47:27 +0100 From: Oliver Bandel To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] OCaml troll on Slashdot Message-ID: <20050317104727.GA432@first.in-berlin.de> References: <20050316001819.GB347@first.in-berlin.de> <891bd33905031619484825e276@mail.gmail.com> <200503171016.18310.jon@ffconsultancy.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <200503171016.18310.jon@ffconsultancy.com> User-Agent: Mutt/1.5.6i X-Miltered: at nez-perce with ID 42396041.002 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; oliver:01 bandel:01 oliver:01 in-berlin:01 caml-list:01 ocaml:01 yaron:01 minsky:01 stack:01 ocaml:01 stack:01 iirc:01 misleading:01 48,:98 ...:98 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.1 required=5.0 tests=FORGED_RCVD_HELO autolearn=disabled version=3.0.2 X-Spam-Level: On Thu, Mar 17, 2005 at 10:16:17AM +0000, Jon Harrop wrote: > On Thursday 17 March 2005 03:48, Yaron Minsky wrote: > > On Wed, 16 Mar 2005 19:35:17 -0800 (PST), brogoff > > wrote: > > > Anyways, long lists do occur, and Stack_overflow at the customer site > > > sucketh bigtime. > > > > I completely agree. As someone who makes extensive use of OCaml in a > > business setting, the fact that the standard libraries throw > > exceptions on large data structures is a real pain. > > I believe the Stack_overflow exception is not necessarily thrown - the process > may simply die. IIRC, I found this on x86 Debian Linux when swap was turned > off. Then it is the OS what kills your process, not OCaml. If your process grows too much, the OS can/must kill it, so that other processes has enough room to live. If you have swap-space, the OS can use it. If not, there is no other possibility than killing the prcoess. So, use swpa space, or buy some more memeory for your computer. It's not hype to have swap-space because people often say "I have enough memory in RAM - I don't need a awap." But as you see this is a misleading assumption. If swap-space would be of no use, I'm shure the Linux-/Debian developers/maintainers had thrown it out of the kernel. When the OS kills your process, then OCaml has no chance to stop this... Ciao, Oliver