Deadlock: The Four Necessary Conditions