Louis Dionne: A system for resource deadlock prevention