Števec zaloge naj bo na enem atomarnem mestu in ga atomarno zmanjšujte — Redis DECR (ali Lua skripta), ki vrne preostalo vrednost. Če je rezultat < 0, je ta zahteva izgubila; podatkovna baza nikoli ni vrata sočasnosti (concurrency gate). Vse ostalo je o tem, kako poceni odvreči preostalih 999.000 zahtev.
1M clients ─▶ CDN/edge (waiting room, drop bots) ─▶ LB
│
Stateless API pods
│
Redis: DECR stock (Lua: check+dec+record)
│hit>=0 │miss<0
▼ ▼
enqueue order ─▶ DB reject "sold out"
DECR stock:sale123 je atomaren — dve zahtevi ne moreta obe prebrati "1 preostal". Lua skripta to naredi v enem krožnem obhodu (round trip): preveri preostanek, zmanjša in zabeleži SADD winners:{sale} {user}, tako da en uporabnik ne more zmagati dvakrat. Lua teče eno-nitno v Redisu, zato je celoten check-and-set en atomaren korak.>= 0) so potisnjeni v vrsto; delavec asinhrono zapiše naročilo v Postgres. DB nikoli ne vidi milijona sočasnih zapisov — le ~1000 zapisov zmagovalcev.Izpraševalec želi videti, da natančno poimenujete tekmovalno stanje (race condition): SELECT stock nato UPDATE v dveh stavkih omogoča, da obe zahtevi prebereta 1000 in obe prodata — klasičen oversell. "Dobro" je "uporabi transakcijo / SELECT ... FOR UPDATE"; "odlično" je spoznanje, da row locki serializirajo milijon zahtev na eno vročo vrstico in sesujejo throughput, zato premaknete tekmovanje na eno-nitno atomarno operacijo v Redisu in shranite le zmagovalce. Past je zaupanje preverjanjem na ravni aplikacije (if (stock > 0)) brez atomarnosti.
FOR UPDATE: Redis obvlada 100k+ operacij/s na enem vročem ključu; Postgres row lock serializira in se stopi pod flash prodajo. DB rezervirajte za trajne zapise naročil.Knjižnica IT vprašanj za razgovore s podrobnimi odgovori — od začetnika do izkušenega.
Doniraj