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=1.4 required=5.0 tests=AWL,INFO_TLD,SPF_NEUTRAL autolearn=disabled version=3.1.3 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 1F551BC0A for ; Sat, 2 Dec 2006 11:04:16 +0100 (CET) Received: from wx-out-0506.google.com (wx-out-0506.google.com [66.249.82.239]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id kB2A4Fqv003596 for ; Sat, 2 Dec 2006 11:04:15 +0100 Received: by wx-out-0506.google.com with SMTP id i31so3005445wxd for ; Sat, 02 Dec 2006 02:04:14 -0800 (PST) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=hUextyZXhElKdTByk+ItXPDkPh5XfgLq9n9IymEEkt87KBMGFeS9AKVs0LX9SEKfjL2kdwX7jjjp9MdM0z1mAtS40LHNvnlFWCaQqd1MyJ1at7XAt0rr42i/UXMk9D1his5O9ZDsXj96ww/hYKshquVqPz3erj1Bd1uGPMZmbYg= Received: by 10.90.83.14 with SMTP id g14mr6056443agb.1165053854236; Sat, 02 Dec 2006 02:04:14 -0800 (PST) Received: by 10.90.114.12 with HTTP; Sat, 2 Dec 2006 02:04:14 -0800 (PST) Message-ID: <90823c940612020204y1f780793yf5d5bc5b1152d39f@mail.gmail.com> Date: Sat, 2 Dec 2006 13:04:14 +0300 From: "Dmitry Bely" To: "Philippe Wang" Subject: Re: [Caml-list] Can GC be BLOCKed? Cc: caml-list@inria.fr In-Reply-To: <4570BAA1.2090300@philippewang.info> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <1965df800611291633q4f615df5qaa43dc967ba87d56@mail.gmail.com> <1FB91514-18D1-4502-AF67-C1003EB8636B@mac.com> <1965df800611301607g330f5517saeba25d40c3321ca@mail.gmail.com> <20061201091932.GA29517@furbychan.cocan.org> <90823c940612010539vacb2ffasf4e90748ef1c0485@mail.gmail.com> <4570BAA1.2090300@philippewang.info> X-j-chkmail-Score: MSGID : 45714F9F.000 on concorde : j-chkmail score : X : 0/20 1 X-Miltered: at concorde with ID 45714F9F.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; ocaml:01 threads:01 ocaml:01 threads:01 wrote:01 caml-list:01 dmitry:01 dmitry:01 bely:01 bely:01 mutex:03 parallel:05 thread:05 thread:05 written:07 On 12/2/06, Philippe Wang wrote: > You can't try to use the thread system to do something like that. > > There is a global mutex with OCaml threads ! > So a program written in OCaml will not be faster by using threads... Sure, I know that. But C thread and OCaml thread can run in parallel. Why not to do gc in another thread when you are in C and there is no job for OCaml? - Dmitry Bely