| 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. |
|
![[logo]](/logo.png){kind=logo}