| 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(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) |