Redirecting to Lamport's bakery algorithm