| Ti | Tj |
| read(C) | C:=C+1 |
| write(C) | read(A) |
| A:=A*2 | write(A) |
| read(A) | A:=A+1 |
| write(A) | read(B) |
| B:=B+1 | write(B) |
| Ti | Tj |
| Lock-X(C) read (C) C:=C+1 write(C) - - - - - - - - - - - Lock-X(B) read(B) B:=B+1 write(B) unlock(A) | - - - - - Lock-X( A) unlock(C) read(A) A:=A*2 write(A) unlock(A) Lock-X(A) read(A) A:=A+1 write(A) - - - - unlock (B) |