At Fri, 3 May 2013 12:17:46 -0400,
Eli Barzilay wrote:
> 
> A few minutes ago, Vincent St-Amour wrote:
> > At Fri, 3 May 2013 11:56:02 -0400, Eli Barzilay wrote:
> > >     (define (delay/thread thunk)
> > >       (let ()
> > >         (define p (make-promise/thread #f))
> > >         (pset! p (make-running-thread (thread (λ() ...same...))))
> > >         p))
> > 
> > I think that introduces another race condition.
> > 
> > If the thread is forced before the `pset!', then `force' would
> > return #f (line 107 of racket/promise.rkt), since the value inside
> > the `promise/thread' is not a thread.
> 
> But this can't happen because `delay/thread' won't return with the
> broken promise until after the `pset!' fixed it.
> 
> (Even code in the input thunk will not be able to try to force itself
> without having itself accessible as a value.)

Makes sense. I'll give it a try.

Vincent

_________________________
  Racket Developers list:
  http://lists.racket-lang.org/dev

Reply via email to