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 08751BB83 for ; Wed, 24 May 2006 17:51:44 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id k4OFphDs002999 for ; Wed, 24 May 2006 17:51:43 +0200 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id RAA26534 for ; Wed, 24 May 2006 17:51:42 +0200 (MET DST) Received: from ug-out-1314.google.com (ug-out-1314.google.com [66.249.92.173]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id k4OFpgtU002994 for ; Wed, 24 May 2006 17:51:42 +0200 Received: by ug-out-1314.google.com with SMTP id o2so1896839uge for ; Wed, 24 May 2006 08:51:42 -0700 (PDT) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:reply-to:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=KjGCFVZYa7Gtdy/tx/ajrKw0TY3X+hWCb/PVMpoabSPwE26mHE2Q1NrwnbKgt6NWOVbUt8870x1w6rbAVk4kP4vglIMOejBl/YCIrZqsENCrqLX76aXeyzHPd36KjFZkpJUykhBkUueuZU3xTnFU1EeNt0+OGn1RAF7fHH8I3Sk= Received: by 10.78.42.7 with SMTP id p7mr1810353hup; Wed, 24 May 2006 08:51:42 -0700 (PDT) Received: by 10.78.16.10 with HTTP; Wed, 24 May 2006 08:51:42 -0700 (PDT) Message-ID: <53c655920605240851y29992b7dva17e477c3d45d08a@mail.gmail.com> Date: Wed, 24 May 2006 17:51:42 +0200 From: "David Baelde" Reply-To: david.baelde@ens-lyon.org To: skaller Subject: Re: [Caml-list] Freezing Cc: Ocaml In-Reply-To: <1148353431.19894.19.camel@rosella.wigram> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <53c655920605221704r5ff97fdfj1fa953f6f858a8b1@mail.gmail.com> <1148353431.19894.19.camel@rosella.wigram> X-j-chkmail-Score: MSGID : 4474810E.002 on concorde : j-chkmail score : X : 0/20 1 X-Miltered: at concorde with ID 4474810F.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 4474810E.002 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; ocaml:01 cheers:01 caml-list:01 locks:03 locks:03 fork:03 probably:06 memory:08 leaving:08 i'm:08 sense:09 issuing:10 exec:11 issue:12 but:13 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.9 required=5.0 tests=RCVD_BY_IP, RCVD_IN_BL_SPAMCOP_NET autolearn=disabled version=3.0.3 Thanks for the answer. That is a simple moral, and I'm happy with it. Even if one could ask if it's really impossible that OCaml manages to deal in a nicer way with its internal locks, leaving to the user the task to manage his locks. It's probably not worth working that issue, since people should avoid doing that.. then why not issuing a warning ? I said I was happy with the moral. Moving to a fork()+exec() was easy and even made more sense. We didn't experience frozen downloads since then. We get memory corruption, but that's another story :p Cheers. -- David