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