|
|
|
|
|
|
|
|
|
|
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.
|
|
|
|