From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id CC981BB83 for ; Mon, 17 Jul 2006 10:15:02 +0200 (CEST) Received: from [172.18.214.133] (82-208.206-83.static-ip.oleane.fr [83.206.208.82]) (authenticated bits=0) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id k6H8F2JG019927 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=NO) for ; Mon, 17 Jul 2006 10:15:02 +0200 Mime-Version: 1.0 (Apple Message framework v750) In-Reply-To: <44B711FC.7000001@uni-koblenz.de> References: <44B711FC.7000001@uni-koblenz.de> Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed Message-Id: Content-Transfer-Encoding: 7bit From: Damien Doligez Subject: Re: [Caml-list] Limiting Memory Usage Date: Mon, 17 Jul 2006 10:15:14 +0200 To: caml-list X-Mailer: Apple Mail (2.750) X-Miltered: at concorde with ID 44BB4706.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; damien:01 damien:01 terminating:01 2006:98 heap:01 resp:01 wrote:01 doligez:01 doligez:01 terminates:01 caml-list:01 exceptions:01 cleanup:01 alexander:03 fuchs:04 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 On 2006-07-14, at 05:39, Alexander Fuchs wrote: > Still, when the memory limit is reached the program just terminates > with > "Fatal error: out of memory." resp "Out of memory". I couldn't figure > out if it is possible to catch any of those errors/exceptions, and do > some cleanup before terminating the program. There is currently no way to catch these errors, because the heap is in an inconsistent state when they are triggered. This might change at some point in the future, but don't hold your breath. -- Damien