5 ms·

They say that the `deposit` call is placed in `other`s mailbox. As long as the mailbox is preserved between restarts, then there is no danger of the money disap

by syrrim 6y ago

They say that the `deposit` call is placed in `other`s mailbox. As long as the mailbox is preserved between restarts, then there is no danger of the money disappearing. The money will temporarily be unavailable - that is, in neither account's balance. But the money is still somewhere, in the mailbox.

gpderetta 6y ago
A crash between updating balance and putting the message in the mailbox can still result in an inconsistent state.
- astrange 6y ago
  A crash would destroy both balance and the mailbox, since they're in memory in the same process, so it's OK. The code that updates persistent storage isn't shown.
  - gpderetta 6y ago
    right, somehow I was thinking of persistent memory.