Re: What if process crashes while holding a locked semaphore?