|< < 24 > >|

Concurrency

Transfer vs. Audit

How to correct the interleaving?

• The transfer is implemented as two updates.

• The scan should not have been able to see the state between those updates.

• The updates comprising the transfer should be indivisible.

|< < 24 > >|