On Wed, May 22, 2013 at 06:49:04PM +0200, Daniel Vetter wrote:
- _slow functions can check whether all acquire locks have been
released and whether the caller is indeed blocking on the contending lock. Not doing so could either result in needless spinning instead of blocking (when blocking on the wrong lock) or in deadlocks (when not dropping all acquired).
We could add ww_mutex_assert_context_empty() or somesuch so that paranoid people have a means of expressing themselves :-)