deadlock algos