98/918084c3ca6eb3cceab5d9efcd90e042b6c600

   1 Return-Path: <aslatter@gmail.com>\r
   2 X-Original-To: notmuch@notmuchmail.org\r
   3 Delivered-To: notmuch@notmuchmail.org\r
   4 Received: from localhost (localhost [127.0.0.1])\r
   5         by olra.theworths.org (Postfix) with ESMTP id 1A74D429E25\r
   6         for <notmuch@notmuchmail.org>; Sun, 28 Aug 2011 21:04:14 -0700 (PDT)\r
   7 X-Virus-Scanned: Debian amavisd-new at olra.theworths.org\r
   8 X-Spam-Flag: NO\r
   9 X-Spam-Score: -0.799\r
  10 X-Spam-Level: \r
  11 X-Spam-Status: No, score=-0.799 tagged_above=-999 required=5\r
  12         tests=[DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1,\r
  13         FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_LOW=-0.7] autolearn=disabled\r
  14 Received: from olra.theworths.org ([127.0.0.1])\r
  15         by localhost (olra.theworths.org [127.0.0.1]) (amavisd-new, port 10024)\r
  16         with ESMTP id xxwxwXrmxxXZ for <notmuch@notmuchmail.org>;\r
  17         Sun, 28 Aug 2011 21:04:12 -0700 (PDT)\r
  18 Received: from mail-qy0-f181.google.com (mail-qy0-f181.google.com\r
  19         [209.85.216.181]) (using TLSv1 with cipher RC4-SHA (128/128 bits))\r
  20         (No client certificate requested)\r
  21         by olra.theworths.org (Postfix) with ESMTPS id AEFEB431FB6\r
  22         for <notmuch@notmuchmail.org>; Sun, 28 Aug 2011 21:04:12 -0700 (PDT)\r
  23 Received: by qyk34 with SMTP id 34so3867042qyk.5\r
  24         for <notmuch@notmuchmail.org>; Sun, 28 Aug 2011 21:04:12 -0700 (PDT)\r
  25 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma;\r
  26         h=mime-version:in-reply-to:references:from:date:message-id:subject:to\r
  27         :cc:content-type;\r
  28         bh=MDp8oNnuCrSD8+yYwEVY/K0fKZwx50jgr+xBgjj5wrE=;\r
  29         b=fMxQij//sf1ugjO1XnIB3q5Y2E6FBaSSacaovAh6DJ7aI+7Mpxp7gLo2Lf8qmSI9gv\r
  30         y+agagFjYRUaI76bWkgvSf6sYYSlVPjzE4Kl9CuF0CBpA4zYr8XEbVbiockZRd0MNjOj\r
  31         NaOwJgDVWQnQMj2mDfCe9qA22Mc3E/8wveYeo=\r
  32 Received: by 10.229.40.137 with SMTP id k9mr5172752qce.100.1314590652094; Sun,\r
  33         28 Aug 2011 21:04:12 -0700 (PDT)\r
  34 MIME-Version: 1.0\r
  35 Received: by 10.229.45.195 with HTTP; Sun, 28 Aug 2011 21:03:52 -0700 (PDT)\r
  36 In-Reply-To: <87ty907ub0.fsf@gmail.com>\r
  37 References: <8739h1pbaq.fsf@gmail.com> <87pqjprzu2.fsf@gmail.com>\r
  38         <CAKjSnQGPRu7nWbLiuLX4niUyRNNbziNwBsX1s3+WyYx+9aTpcw@mail.gmail.com>\r
  39         <87ty907ub0.fsf@gmail.com>\r
  40 From: Antoine Latter <aslatter@gmail.com>\r
  41 Date: Sun, 28 Aug 2011 23:03:52 -0500\r
  42 Message-ID:\r
  43  <CAKjSnQEMxdCD+2jXefoMPS=iyqd8wHFY6GovRQ_rOJXwtSW4dg@mail.gmail.com>\r
  44 Subject: Re: Bug in GC's ordering of ForeignPtr finalization?\r
  45 To: Ben Gamari <bgamari.foss@gmail.com>\r
  46 Content-Type: text/plain; charset=UTF-8\r
  47 X-Mailman-Approved-At: Thu, 08 Sep 2011 14:21:55 -0700\r
  48 Cc: Bart Massey <bart@cs.pdx.edu>, glasgow-haskell-users@haskell.org,\r
  49         notmuch@notmuchmail.org, haskell-cafe@haskell.org\r
  50 X-BeenThere: notmuch@notmuchmail.org\r
  51 X-Mailman-Version: 2.1.13\r
  52 Precedence: list\r
  53 List-Id: "Use and development of the notmuch mail system."\r
  54         <notmuch.notmuchmail.org>\r
  55 List-Unsubscribe: <http://notmuchmail.org/mailman/options/notmuch>,\r
  56         <mailto:notmuch-request@notmuchmail.org?subject=unsubscribe>\r
  57 List-Archive: <http://notmuchmail.org/pipermail/notmuch>\r
  58 List-Post: <mailto:notmuch@notmuchmail.org>\r
  59 List-Help: <mailto:notmuch-request@notmuchmail.org?subject=help>\r
  60 List-Subscribe: <http://notmuchmail.org/mailman/listinfo/notmuch>,\r
  61         <mailto:notmuch-request@notmuchmail.org?subject=subscribe>\r
  62 X-List-Received-Date: Mon, 29 Aug 2011 04:04:14 -0000\r
  63 \r
  64 On Sun, Aug 28, 2011 at 10:47 PM, Ben Gamari <bgamari.foss@gmail.com> wrote:\r
  65 > On Sun, 28 Aug 2011 22:26:05 -0500, Antoine Latter <aslatter@gmail.com> wrote:\r
  66 >> One problem you might be running in to is that the optimization passes\r
  67 >> can notice that a function isn't using all of its arguments, and then\r
  68 >> it won't pass them. These even applies if the arguments are bound\r
  69 >> together in a record type.\r
  70 >>\r
  71 > In this case I wouldn't be able to reproduce the problem with\r
  72 > optimization disabled, no? Unfortunately, this is not the case; the\r
  73 > problem persists even with -O0.\r
  74 >\r
  75 \r
  76 Perhaps? I don't know the details about how the GC decides when\r
  77 something is reachable. The scenario I described (which sounds similar\r
  78 to yours?) is only safe in Haskell when using functions like\r
  79 touchForeignPtr.\r
  80 \r
  81 Antoine\r