deadlock testing