Time of Check to Time of Use (TOCTOU)

The pattern: if (balance >= amount) debit() can fail under concurrency because the check and the subsequent debit are separate operations rather than one atomic check-and-act operation. It splits a s