jack: We can assume pthread_mutex_[un]lock() will always succeed.