rename to deadlock dining philosophers