SafeState
Proof

Live Consistency Lab

The two guarantees that make Aurora DSQL the right database for safety-critical decisions — run them yourself, against the live cluster.

No stale-safe read, across regions

Issue a recall on Region A’s endpoint, then read it back from Region B’s endpoint — immediately.

us-east-1
writes
SAFE
epoch 0
us-east-2
reads
SAFE
epoch 0

Optimistic concurrency, on the guard row

Two transactions write the same model’s safety guard at once. DSQL lets one commit and rejects the other — the conflict our retry wrapper handles.

Transaction Awaiting
Transaction Bwaiting