Consider the linearization points of the enq ()and deq()methods of the lock-free queue (Figs.10.11and 10.12).
1.Can we choose the point at which the returned value is read from a node as the linearization point of a successful deq ()? Explain.
2.Can we choose the linearization point of the enq ()method to be the point at which the tail field is updated, possibly by other threads? Explain.
Already registered? Login
Not Account? Sign up
Enter your email address to reset your password
Back to Login? Click here