[Bordeaux-threads-devel] Clarifying some behavior in the documentation

[Vladimir Sedach]

Hello,

I've encountered two cases that affect behavior of code but aren't
clarified in the documentation:

1. At least one implementation (SBCL) requires that the lock on which
condition-wait is called is to be held by the thread that calls
condition-notify on the corresponding CV. This should be mentioned in
the documentation as a requirement.

2. It is undefined what happens when release-lock is called inside a
with-lock-held on the same lock. SBCL and Clozure appear to handle
this "properly," although I think the documented behavior should be
the same as with regular release-lock ("It is an error to call this
unless the lock has previously been acquired (and not released) by the
same thread," that is, it should be an error to call release-lock
inside a with-lock-held).

Thank you,
Vladimir