Is the one-shot write-snapshot object presented in Section 9.6 an atomic object? If it is atomic, you have to associate a linearization point with each operation invocation, such that no two...

Is the one-shot write-snapshot object presented in Section 9.6 an atomic object?

If it is atomic, you have to associate a linearization point with each operation invocation, such

that no two invocations have the same linerarization point, and, for any two operations op1 and

op2, if op1 terminates before op2 starts, the linearization point of op1 appears before the one of

op2. If it is not atomic, you have to show that there are executions of the one-shot write-snapshot

object for which it is impossible to build a linearization (atomicity line) as just described.

Solution in [230].