An A2Casobject represents two locations for values that can be read individually and be modified by a2cas(). If both locations have the corresponding expected value se 0 ande1, then a call toa2cas(e0,e1,v)will write v to exactly one of the two locations, chosen non deterministically. What is the consensus number of thea2cas ()object? Prove your claim.
Already registered? Login
Not Account? Sign up
Enter your email address to reset your password
Back to Login? Click here