Dotaz: Synchronizace, transakce a isolation level

[MCCloak]

Ahoj,

pracuji na PHP projektu, jedna se o aukci, kde udaje o prubehu aukce uchovavam v databazi (mysql). Pri kazdem pozadavku (nacteni stranky ci ajax) se provade update aukce, tj nacteni, uprava a opetovne nahrani zpet do db. Z tohoto duvodu jsem potreboval nejak synchronizovat jednotlive pozadavky, aby mi jeden necetl z databaze stav aukce v dobe, kdy jiny proces s aukci pracuje. Vyresil jsem to tak, ze na zacatku kazdeho pozadavku zacnu transakci, a provedu SELECT * FROM aukce FOR UPDATE, cimz zajistim, ze pripadny druhy pozadavek bude cekat na skonceni prvniho. Myslite ze je to dobre reseni? Pripadne existuje nejake lepsi, elegantnejsi?

V teto souvislosti jsem se zacal zajimat o transakce a isolation level, a narazil jsem na jednu podivnou vec: Mam dve ruzne connecty do db, A a B. Isolation level je repeatable read. Dale mam tabulku account s jednim sloupcem balance, ktera ma jeden radek s hodnotou balance = 1000;

A: START TRANSACTION;

B: START TRANSACTION;

A: SELECT balance FROM account; - vrati 1000

A: UPDATE account SET balance = 500;

A: COMMIT;

B: SELECT balance FROM account; - vrati 1000, podle predpokladu

Repeatable read tedy funguje dle ocekavani, transakce B nevidi zmeny, ktere provedla transakce A. Ovsem zahadou mi je druhy priklad (stejna tabulka i nastaveni, balance=1000):

A: START TRANSACTION;

B: START TRANSACTION;

A: SELECT balance FROM account FOR UPDATE; - vrati 1000

B: SELECT balance FROM account FOR UPDATE; - ceka na dokonceni transakce A

A: UPDATE account SET balance = 1500;

A: COMMIT;

B: - v tuto chvili vrati 1500. Otazka zni, jaktoze nyni transakce B vidi zmeny provedene transakci A? To porusi isolation level, nebo ho docasne nastavi na READ COMMITTED?

Trochu jsem experimentoval a prisel jsem jeste na podivnejsi vec. Mam opet tabulku account, a k ni mi nyni pribyde tabulka pokus(id int), ktera je prozatim prazdna: A: START TRANSACTION;

B: START TRANSACTION;

A: SELECT balance FROM account FOR UPDATE; - vrati 1000

B: SELECT balance FROM account FOR UPDATE; - cekam na dokonceni A

A: UPDATE account SET balance = 1500;

A: INSERT INTO pokus SET id = 100;

A: COMMIT;

B: - vrati 1500

B: SELECT * FROM pokus; - vrati 1 radek s hodnotou 100 - coz je dle meho zase poruseni isolation levelu, ale tak rekl jsem si, ze tedy ten SELECT FOR UPDATE asi opravdu docasne meni isolation na read committed. Rozhodl jsem se to otestovat

Opet tabulka account a prazdna tabulka pokus: A: START TRANSACTION;

B: START TRANSACTION;

A: SELECT balance FROM account FOR UPDATE; - vrati 1000

B: SELECT * FROM pokus; - vrati nulovy pocet radku

B: SELECT balance FROM account FOR UPDATE; - cekam na dokonceni A

A: UPDATE account SET balance = 1500;

A: INSERT INTO pokus SET id = 100;

A: COMMIT;

B: - vrati 1500

B: SELECT * FROM pokus; - vrati nulovy pocet radku - tady najednou izolace zahadne funguje.

Dokazal by mi to tedy nekdo prosim objasnit? Jsem z toho uz docela jelen :(

Odpovědi

[Radim Kolář]

Pro spravnou funkci to musi byt innodb tabulky, autocomit off a isolation level SERIALIZABLE u obou transakci. Pokud to i presto nefunguje, pouzit pgsql.

[Ivan]

> Otazka zni, jaktoze nyni transakce B vidi zmeny provedene transakci A

google phantom read.

 

jinak bych rek, ze "select * from table for update" je blbost,  opravdu to takhle potrebujes? Uvedomujes si, ze cim vice budes mit dat v DB tim dele to bude travat? Nestaci zamknout jen nejakou podmnozinu radek?