added deadlock checker