Refused Before It Ran: Designing a Budget Check That Concurrency Cannot Beat

A budget check that reads settled spend and compares it to a limit has a race condition at its heart. Request A checks: 90 spent of 100, pass. Request B checks at the same moment: 90 of 100, pass. Bot