Using timeout to detect deadlock