Provide the code for the contains()method missing from the fine-grained algorithm. Explain why your implementation is correct. Is the optimistic list implementation still correct if we switch the...

Provide the code for the contains()method missing from the fine-grained algorithm. Explain why your implementation is correct.

Is the optimistic list implementation still correct if we switch the order in which add ()locks the pred and curr nodes?