From: Marius Vollmer <mvo@zagadka.de>
Subject: The order of objects returned from a guardian
Date: Wed, 27 Jul 2005 02:33:58 +0300 [thread overview]
Message-ID: <873bq1gn15.fsf@zagadka.de> (raw)
Hi,
Guile's guardians currently make the guarantee that "it is impossible
for a guardian to return a 'contained' object before its 'containing'
object."
I am considering removing this guarantee since it makes it impossible
for guardians to deal with cycles among guarded objects, and because
it is not part of the semantics of guardians as proposed in the paper
by Dybvig et al[1].
So, do you rely on this ordering guarantee?
If you do, you would need to take care of the ordering yourself, which
is quite easy by keeping objects alive in a global data structure
until they are no longer needed.
[1] ftp://ftp.cs.indiana.edu/pub/scheme-repository/doc/pubs/guardians.ps.gz
--
GPG: D5D4E405 - 2F9B BCCC 8527 692A 04E3 331E FAF8 226A D5D4 E405
_______________________________________________
Guile-user mailing list
Guile-user@gnu.org
http://lists.gnu.org/mailman/listinfo/guile-user
next reply other threads:[~2005-07-26 23:33 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2005-07-26 23:33 Marius Vollmer [this message]
2005-07-27 0:42 ` 64bit guile: one bug found, one improvement suggested Roland Orre
2005-07-28 22:37 ` The order of objects returned from a guardian Neil Jerram
2005-07-31 19:31 ` Marius Vollmer
2005-07-31 21:25 ` Marius Vollmer
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
List information: https://www.gnu.org/software/guile/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=873bq1gn15.fsf@zagadka.de \
--to=mvo@zagadka.de \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).