This is really the only place you allude to 

> A lock can be acquired multiple times by its owning process; for each completed lock request there must be a corresponding unlock request before the lock is actually released.

It may be a good idea to make that more prominent.