Redirecting to Lock-free and wait-free algorithms