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.7 required=5.0 tests=AWL 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 CE7A2BC0A for ; Sat, 2 Dec 2006 13:15:07 +0100 (CET) Received: from 42.mail-out.ovh.net (42.mail-out.ovh.net [213.251.189.42]) by discorde.inria.fr (8.13.6/8.13.6) with SMTP id kB2CF71n019651 for ; Sat, 2 Dec 2006 13:15:07 +0100 Received: (qmail 1839 invoked by uid 503); 2 Dec 2006 12:15:08 -0000 Received: from gw2.ovh.net (HELO mail140.ha.ovh.net) (213.251.189.202) by 42.mail-out.ovh.net with SMTP; 2 Dec 2006 12:15:08 -0000 Received: from b0.ovh.net (HELO queue-out) (213.186.33.50) by b0.ovh.net with SMTP; 2 Dec 2006 12:14:55 -0000 Received: from vil93-4-82-227-140-227.fbx.proxad.net (HELO ?192.168.1.2?) (lists%philippewang.info@82.227.140.227) by ns0.ovh.net with SMTP; 2 Dec 2006 12:14:53 -0000 Message-ID: <45716E43.7050703@philippewang.info> Date: Sat, 02 Dec 2006 13:14:59 +0100 From: Philippe Wang User-Agent: Thunderbird 1.5.0.8 (Macintosh/20061025) MIME-Version: 1.0 To: Dmitry Bely Cc: caml-list@inria.fr Subject: Re: [Caml-list] Can GC be BLOCKed? 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> <90823c940612020204y1f780793yf5d5bc5b1152d39f@mail.gmail.com> In-Reply-To: <90823c940612020204y1f780793yf5d5bc5b1152d39f@mail.gmail.com> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-Ovh-Remote: 82.227.140.227 (vil93-4-82-227-140-227.fbx.proxad.net) X-Ovh-Local: 213.186.33.20 (ns0.ovh.net) X-Miltered: at discorde with ID 45716E4B.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; ocaml:01 ocaml:01 caml-list:01 dmitry:01 bely:01 objects:02 mutex:03 parallel:05 parallel:05 thread:05 thread:05 ecrit:06 compute:09 philippe:11 philippe:11 Dmitry Bely a écrit : > 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? Be careful with that... The global mutex does exist because when the GC occurs, some objects can be <> ! (then their addresses change) So it's dangerous to compute in parallel... -- Philippe Wang