GNU logs - #24321, boring messages

Message sent to bug-guile@HIDDEN:

Subject: bug#24321: Guardian fails to protect procedure properties
Resent-From: Robin Templeton <robin@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guile@HIDDEN
Resent-Date: Sat, 27 Aug 2016 19:33:02 +0000
Resent-Message-ID: <handler.24321.B.147232636832171 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: 24321 <at> debbugs.gnu.org
From: Robin Templeton <robin@HIDDEN>
Date: Sat, 27 Aug 2016 15:32:20 -0400
Lines: 24
Message-ID: <87shtqt3cr.fsf@HIDDEN>
Mime-Version: 1.0
Content-Type: text/plain
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux)
Cancel-Lock: sha1:3pupTgNUfyrPnDWyn5YGh7u1PRE=
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>

The following expression produces possibly erroneous results in Guile
2.1.3.104-8f2f8 (with Debian's libgc1c2 version 1:7.4.2-8):

(let ((guardian (make-guardian))
      (foo (eval '(lambda () #f) (interaction-environment))))
  (set-procedure-property! foo 'wibbly 'wobbly)
  (guardian foo)
  (format #t "~S~%" (procedure-properties foo))
  (set! foo #f)
  (gc)
  (do ((foo (guardian) (guardian)))
      ((not foo))
    (format #t "~S~%" (procedure-properties foo))))

First it prints "((wibbly . wobbly))" as expected, but after the
procedure is retrieved from the guardian the list of properties is
empty. The properties are stored in a weak hash table, but shouldn't
they be protected from GC while the procedure is in the guardian?

-- 
Inteligenta persono lernas la lingvon Esperanton rapide kaj facile.
Esperanto estas moderna, kultura lingvo por la mondo. Simpla, fleksebla,
belsona, Esperanto estas la praktika solvo de la problemo de universala
interkompreno. Lernu la interlingvon Esperanton!

Message sent:

Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-Mailer: MIME-tools 5.505 (Entity 5.505)
Content-Type: text/plain; charset=utf-8
X-Loop: help-debbugs@HIDDEN
From: help-debbugs@HIDDEN (GNU bug Tracking System)
To: Robin Templeton <robin@HIDDEN>
Subject: bug#24321: Acknowledgement (Guardian fails to protect procedure
 properties)
Message-ID: <handler.24321.B.147232636832171.ack <at> debbugs.gnu.org>
References: <87shtqt3cr.fsf@HIDDEN>
X-Gnu-PR-Message: ack 24321
X-Gnu-PR-Package: guile
Reply-To: 24321 <at> debbugs.gnu.org
Date: Sat, 27 Aug 2016 19:33:02 +0000

Thank you for filing a new bug report with debbugs.gnu.org.

This is an automatically generated reply to let you know your message
has been received.

Your message is being forwarded to the package maintainers and other
interested parties for their attention; they will reply in due course.

Your message has been sent to the package maintainer(s):
 bug-guile@HIDDEN

If you wish to submit further information on this problem, please
send it to 24321 <at> debbugs.gnu.org.

Please do not send mail to help-debbugs@HIDDEN unless you wish
to report a problem with the Bug-tracking system.

--=20
24321: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D24321
GNU Bug Tracking System
Contact help-debbugs@HIDDEN with problems

Message sent to bug-guile@HIDDEN:

Subject: bug#24321: Guardian fails to protect procedure properties
Resent-From: Andy Wingo <wingo@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guile@HIDDEN
Resent-Date: Fri, 02 Sep 2016 08:12:01 +0000
Resent-Message-ID: <handler.24321.B24321.147280386926821 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: Robin Templeton <robin@HIDDEN>
Cc: 24321 <at> debbugs.gnu.org
DomainKey-Signature: a=rsa-sha1; c=nofws; d=pobox.com; h=from:to:cc
 :subject:references:date:in-reply-to:message-id:mime-version
 :content-type; q=dns; s=sasl; b=FvSfie/jQDDPInwPDyqNFoflIjmjZzyo
 dJONOY/8TVzueKaIrLQG9g8RWPIdoTs0MmgaerL+5B1CWc7aKU2uZXs3+fAsrT5q
 cUQFDJGa+tgcnZeKJ5JR9KDUOxdW8agtBmhJXqSa2bRgkAqc2BmHqjjQZH/kVMlg
 ZnfColBvoXg=
From: Andy Wingo <wingo@HIDDEN>
References: <87shtqt3cr.fsf@HIDDEN>
Date: Fri, 02 Sep 2016 10:10:53 +0200
In-Reply-To: <87shtqt3cr.fsf@HIDDEN> (Robin Templeton's message
 of "Sat, 27 Aug 2016 15:32:20 -0400")
Message-ID: <87oa46iuwi.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>

On Sat 27 Aug 2016 21:32, Robin Templeton <robin@HIDDEN> writes:

> The following expression produces possibly erroneous results in Guile
> 2.1.3.104-8f2f8 (with Debian's libgc1c2 version 1:7.4.2-8):
>
> (let ((guardian (make-guardian))
>       (foo (eval '(lambda () #f) (interaction-environment))))
>   (set-procedure-property! foo 'wibbly 'wobbly)
>   (guardian foo)
>   (format #t "~S~%" (procedure-properties foo))
>   (set! foo #f)
>   (gc)
>   (do ((foo (guardian) (guardian)))
>       ((not foo))
>     (format #t "~S~%" (procedure-properties foo))))
>
> First it prints "((wibbly . wobbly))" as expected, but after the
> procedure is retrieved from the guardian the list of properties is
> empty. The properties are stored in a weak hash table, but shouldn't
> they be protected from GC while the procedure is in the guardian?

Related to https://debbugs.gnu.org/cgi/bugreport.cgi?bug=10836.

Andy

Last modified: Mon, 25 Nov 2019 12:00:02 UTC

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997 nCipher Corporation Ltd, 1994-97 Ian Jackson.