If we drop condition L2 from the linear ability definition, is the
resulting property the same as sequential consistency? Explain.
Consider the following rather unusual implementation of a method m: In every history, the ith time a thread callsm, the call returns after 2isteps. Is this method wait-free?
Already registered? Login
Not Account? Sign up
Enter your email address to reset your password
Back to Login? Click here