[racket-dev] blocked on a mzrt-sema that gets collected: okay?
I conjecture that if a place is blocked on a mzrt_sema semaphore and if that semaphore is then collected using a call to mzrt_sema_destroy(), then the waiting thread will simply wait forever. Is that correct? John smime.p7s Description: S/MIME cryptographic signature _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
Re: [racket-dev] blocked on a mzrt-sema that gets collected: okay?
At Tue, 4 Oct 2011 13:34:17 -0700, John Clements wrote: > I conjecture that if a place is blocked on a mzrt_sema semaphore and if that > semaphore is then collected using a call to mzrt_sema_destroy(), then the > waiting thread will simply wait forever. Is that correct? Not necessarily; it may crash. You're not allowed to destroy a semaphore that is in use. _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
Re: [racket-dev] blocked on a mzrt-sema that gets collected: okay?
On Oct 4, 2011, at 1:48 PM, Matthew Flatt wrote: > At Tue, 4 Oct 2011 13:34:17 -0700, John Clements wrote: >> I conjecture that if a place is blocked on a mzrt_sema semaphore and if that >> semaphore is then collected using a call to mzrt_sema_destroy(), then the >> waiting thread will simply wait forever. Is that correct? > > Not necessarily; it may crash. You're not allowed to destroy a > semaphore that is in use. Okay, thanks. John smime.p7s Description: S/MIME cryptographic signature _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev