Concurrency
Withdrawal vs. Withdrawal
What went wrong?
- The withdrawal is implemented as a read followed by a write.
- Each process followed these steps.
- The interleaving of actions is incorrect.
How to correct the interleaving?
- The actions comprising the withdrawal should be indivisible.
|