Atomicity

You might say

When two users buy the last item at once, there cannot be two successful orders; checking and deducting stock must act as one whole operation.

The property that related operations either all take effect or none of them doesWhen two people buy the last item at the same time, checking and deducting inventory must be an indivisible whole so one succeeds and the other fails. Atomicity covers only the defined operation scope; it does not make every distributed step across systems roll back together.

Atomic

How can the final item stay correct under concurrent requests?

Inventory decrement1 item left

Request Areads 1

Request Balso reads 1

final stockmay be decremented twice

EvidenceBoth requests observe the same old value

Separated read and write expose an intermediate state.

How the case moves from failure to a verifiable result

Problem and key mechanism: When two requests read the last item separately from deducting it, both may believe they can succeed; make the check and deduction one indivisible action so only the request that still meets the condition decrements stock and the other fails as a whole.

How to observe the improvement: The other request should fail completely with an out-of-stock response, without producing a second successful order. Then verify that remaining inventory, the successful order count, and the failure feedback all agree.

Claiming a support ticket also needs atomicity: When two agents claim the same ticket, checking that it is unassigned and assigning the owner must be one atomic operation. Only one agent succeeds; the other is told it was already claimed.

You can say this to an AI Agent

Inspect the purchase flow: when inventory is 1, simulate two concurrent requests and make the inventory check and deduction one indivisible database operation. Verify that exactly one order succeeds, inventory becomes 0, and the other request receives out-of-stock; do not treat a disabled frontend button as concurrency protection.

Recommended tool

Web fine-tuning tool · Selector Pro

Select page elements for precise AI edits

Click a button, text, or card, note the change, then copy its exact location to AI.

Open Selector Pro website

There is only 1 item in stock, and two requests both read 1. Which change keeps the result correct?

A. Disable the button on both users' pages and wait for one request to finishB. Combine the inventory condition check and deduction into one indivisible database operationC. Let both requests read inventory first, then have each write inventory minus one