The paranoia is admirable, but, if you've acquired the condition variable's lock, no exception will be raised by calling notify()