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