[racket-dev] FrTime propagation bug

From: Marijn (hkBst at gentoo.org)
Date: Thu Jan 12 03:49:29 EST 2012

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

On 11-01-12 21:26, Gregory Cooper wrote:
> Hi Marijn,
> 
> FrTime propagates changes asynchronously.  When send-event returns,
> there's no guarantee that the event has finished propagating
> through the system. And in general, (value-now b) is not
> well-defined, since asynchronous processing makes it difficult to
> define what "now" means; programs should only call this if they can
> tolerate stale values.

Hi Gregory, so just to make sure I understand the implications of
this: there is no way to do something like the following:


#lang racket

(require frtime)

(define a (event-receiver))
(define b (event-receiver))

(define a+b (... ??? (merge-e a b)))

(send-event a 3)
(send-event b 5)

(... ??? make sure everything is consistent again)

(... ??? get the value 8 out of a+b)


Marijn
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.18 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iEYEARECAAYFAk8OnpkACgkQp/VmCx0OL2z8tACffv+uhmEAttZ7YhZ4UStbQR6p
bFIAn3KOoI5uxWU+5hbWHxxJLgih8l7M
=0Y03
-----END PGP SIGNATURE-----


Posted on the dev mailing list.