From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Newsgroups: gmane.lisp.guile.devel Subject: Re: Mark procedures Date: Mon, 20 Jun 2016 14:15:41 +0200 Message-ID: <87bn2w5a4y.fsf@gnu.org> References: <87vb9ihy6x.fsf@igalia.com> <87bnb891t8.fsf@gnu.org> <87ziyspp5d.fsf@pobox.com> <87eg7sjgi7.fsf@pobox.com> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1466427717 23138 80.91.229.3 (20 Jun 2016 13:01:57 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 20 Jun 2016 13:01:57 +0000 (UTC) Cc: guile-devel@gnu.org To: Andy Wingo Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Mon Jun 20 15:01:55 2016 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1bEypJ-0005bY-QY for guile-devel@m.gmane.org; Mon, 20 Jun 2016 15:01:17 +0200 Original-Received: from localhost ([::1]:43336 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bEyDt-0006jv-Ir for guile-devel@m.gmane.org; Mon, 20 Jun 2016 08:22:37 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:43920) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bEy7J-00016k-HJ for guile-devel@gnu.org; Mon, 20 Jun 2016 08:15:50 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bEy7E-00082Z-D0 for guile-devel@gnu.org; Mon, 20 Jun 2016 08:15:48 -0400 Original-Received: from fencepost.gnu.org ([2001:4830:134:3::e]:45070) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bEy7E-00082U-2z; Mon, 20 Jun 2016 08:15:44 -0400 Original-Received: from pluto.bordeaux.inria.fr ([193.50.110.57]:40974 helo=pluto) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_128_CBC_SHA1:128) (Exim 4.82) (envelope-from ) id 1bEy7D-0008BP-Di; Mon, 20 Jun 2016 08:15:43 -0400 X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 3 Messidor an 224 de la =?utf-8?Q?R=C3=A9volution?= X-PGP-Key-ID: 0x090B11993D9AEBB5 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 X-OS: x86_64-unknown-linux-gnu In-Reply-To: <87eg7sjgi7.fsf@pobox.com> (Andy Wingo's message of "Mon, 20 Jun 2016 12:34:24 +0200") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux) X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2001:4830:134:3::e X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.21 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Original-Sender: "guile-devel" Xref: news.gmane.org gmane.lisp.guile.devel:18372 Archived-At: Andy Wingo skribis: > Picking up an old thread.... > > On Thu 05 Nov 2015 14:11, Andy Wingo writes: > >> (1) A bug related to SMOB finalization and marking that affects >> LilyPond >> >> For (1) it seems to me that we just have a bug. A SMOB mark function >> was called on an object after the finalizer. ****Note**** that having >> the finalizer called doesn't mean that the GC object was collected -- it >> just means it was collectable, perhaps in a clique of objects. >> Finalization being asynchronous with marking it's possible that a clique >> of objects was only half-finalized when a new mark procedure runs. The >> mark procedure saw an object on which free() was already called -- this >> is possible. >> >> We should fix Guile so to "null out" the SMOB typecode when the SMOB >> finalizer is called. If our mark procedure sees a SMOB that has already >> been finalized, it just returns. > > AFAIU the Lilypond / Guile 2.0 bug is still there. Has anyone tried > this strategy to fix it? I haven=E2=80=99t. :-/ Ludo=E2=80=99.