more run functionality
initial deadlock detection