[armedbear-devel] [Updated4] Patch for ABCL against BORDEAUX-THREADS HEAD
ville.voutilainen at gmail.com
Fri Mar 18 15:30:03 UTC 2011
On 18 March 2011 16:46, Mark Evenson <evenson at panix.com> wrote:
>>> THREADS:SYNCHRONIZED-ON is now the first form executed by
>>> BT:CONDITION-WAIT so the window here is considerably narrowed.
> The current implementation is about as bare as one can get:
> (defun condition-wait (condition lock)
> (threads:synchronized-on condition
> (release-lock lock)
> (threads:object-wait condition))
> (acquire-lock lock))
> I think all implementations of CONDITION-WAIT would have such a window
> as the environment gets setup to make the control transfer.
> Maybe one could turn the CONDITION-WAIT into a macro?
Where's the race window? condition-wait is always called with the lock held.
More information about the armedbear-devel