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=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 discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 66D5FBC0A for ; Thu, 30 Nov 2006 01:33:55 +0100 (CET) Received: from ug-out-1314.google.com (ug-out-1314.google.com [66.249.92.172]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id kAU0XtfI018547 for ; Thu, 30 Nov 2006 01:33:55 +0100 Received: by ug-out-1314.google.com with SMTP id q2so1963198uge for ; Wed, 29 Nov 2006 16:33:55 -0800 (PST) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:to:subject:mime-version:content-type:content-transfer-encoding:content-disposition; b=cjKUBpR0s1mci+Duwqt4mLSe1AYjZfJLkLs+zKg4a6TYWOiE44zBlQuhqbCwx45L36z+XbUTiQIrv4JfyOumbITB4L/yiqX9dg88cLZjN9d/Q9Zf5iPojE21pHvkSJXdN2LrQ39e3Pvi6aZBVxbKgb4bKhIY5xthK3DzvhKdTzs= Received: by 10.78.139.1 with SMTP id m1mr2881332hud.1164846834643; Wed, 29 Nov 2006 16:33:54 -0800 (PST) Received: by 10.78.14.7 with HTTP; Wed, 29 Nov 2006 16:33:54 -0800 (PST) Message-ID: <1965df800611291633q4f615df5qaa43dc967ba87d56@mail.gmail.com> Date: Wed, 29 Nov 2006 16:33:54 -0800 From: "Neal Wang" To: caml-list@yquem.inria.fr Subject: Can GC be BLOCKed? MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline X-Spam: no; 0.00; function:08 function:08 called:15 thanks:17 there:18 interrupted:20 wang:20 wang:20 cannot:21 which:21 when:22 U5:76 com:75 way:25 the:27 Hi all, I have a function which cannot be interrupted by GC? Is there a way to BLOCK GC when the function is called. Thanks Neal