<< Previous exercise (3.43)
| Index |
Next exercise (3.45) >>
Exchange requires both accounts to be idle before we start exchanging (i.e. exchanging a with b while a is still exchanging with c is not allowed)
For transfer, there is no such requirement. Louis is wrong.
In the exchange problem, state of one account depends on the state of another account (they are coupled). There is no such coupling in the transfer problem.