[racket-dev] blocked on a mzrt-sema that gets collected: okay?

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Tue Oct 4 16:48:33 EDT 2011

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.

Posted on the dev mailing list.