n The programmer is given the ability to define atomic
regions of arbitrary size.
Start_Transaction;
Flow[i] = Flow[i] – X;
Flow[j] = Flow[j] + X;
End_Transaction;
n With hardware support, different transactions can be
executed concurrently when there are no memory
conflicts.