Isn't retry logic necessary to acquire a Redis lock? I guess in production, the second case will not order even though a product already exists.