add semaphore holding information in each process's process entry
finish deadlock detection