An efficient deadlock avoidance technique