Python i Django: Race conditions

0:00W tej lekcji porozmawiamy sobie o skąd pisze.

0:04Wyobraźmy sobie sytuację w której mamy.

0:071 pieniądz i z mistycznego punktu widzenia.

0:1110 osób chce go wziąć. Walić ją.

0:16Czegoś takiego byłoby w pierwszym kroku

0:17sprawdzenie czy mamy dostępny pieniądz a w drugim kroku pobranie pieniądza.

0:23I teraz wyobraźmy sobie że 10 osób jednocześnie wchodzi do kroku za

0:29sprawdzeniem czy pieniądz istnieje pieniądz istnieje.

0:33I wyobraźmy sobie że równolegle

0:36wszyscy przechodzą do następnego kroku czyli w tym samym momencie.

0:4110 osób pobiera ten sam pieniądz.

0:44Bardzo podobny przykład zaprezentuje Wam w

0:47tym kodzie mamy model account który jedyne co posiada to stan konta.

0:54Ma opisaną również metodę która będzie z tego konta coś wyciągnęła.

1:01Przygotowałem również wyjątek.

1:05Który dziedziczy po eks.

1:08Nie robi nic nadzwyczajnego poza tym że poprawi nam czytelność w momencie jeżeli

1:14wartość którą chcemy wypłacić jest większa niż.

1:19Aktualny stan naszego konta wtedy zostanie zgłoszony wyjątek.

1:24Jeżeli jest inaczej to wtedy podejmujemy

1:26tę wartość od salda zapisujemy i tak w ramach pokazania wam co się stało.

1:33Dodajmy że Plichta żebyśmy wiedzieli że pieniądze się naprawdę wypłaciły.

1:39Dodałem również prosty widok w którym na metodzie post zabieramy walił.

1:47Z danych które przesłano użytkownik pobieramy.

1:51To bardzo uprości sytuację i mam tylko jedno konto pobieramy obiekt tego

1:59konta i próbujemy tę kwotę którą podał użytkownik wypłacić.

2:05Sprawdzimy w panelu administratora.

2:07Mam tutaj konto na którym jest zero dolarów więc postawimy 2 dolary.

2:14Przejdźmy do MNI.

2:15Mamy adres mamy walił spróbujmy wypłacić

2:20wypisuje się stan który został do wypłacenia czyli podejrzewamy.

2:25Skąd balans.

2:28Wszystko działa jak jeszcze kwitnie raz mamy zero klikamy jeszcze raz dostajemy.

2:33Błąd 400 brak środków na koncie.

2:36Mam tutaj również prostą realizację parametru wejściowego i właśnie mamy

2:40obsłużonych ten wyjątek z pieniędzmi które nam nie wystarczają na wypłatę.

2:47Czyli teoretycznie wszystko działa idealnie ale pokażę wam jak oszukać.

2:53Postawimy ponownie stan konta na dwa dolary.

2:59I uruchomimy terminal.

3:04Chciałam żebyście widzieli w rogach.

3:07Systemu co się dzieje i pokażę wam skrypt skrypt nazwałem Rob The Bank.

3:14I za pomocą biblioteki Request będzie on

3:19wysyłał Request równolegle pod nasz adres drogę z parametrem Value 1 ci będzie

3:26wypłacał po jednym dolarze jednocześnie z kilku questów.

3:33Będzie to można powiedzieć trochę atak na naszą stronę.

3:38I spróbujmy uruchomić ten skrypt.

3:45Przypominam mamy tylko 2 dolary czyli

3:47powinniśmy dwa razy zobaczyć informacje o wypłaconych środkach i

3:53trzy razy w przypadku pięciu questów które tu wyślemy ponieważ

3:58tutaj 5 questów powiedzmy trzykrotnie zobaczyć błąd 400.

4:07Dostaliśmy 5 razy setkę zaś za w nogi wypłacono nam wypłacone 2 3 4 5.

4:14A okazało się że płaciliśmy 5 dolarów.

4:18Zajrzymy jeszcze do naszego panelu co się

4:20stało z tym kątem to powinno być minus powinien być.

4:25Okazało się że.

4:27Zareagowali tylko na zmiany jednego dolara i czemu tak się stało.

4:34Dlaczego zamiast minusa mamy raptem zdjęte tylko jednego dolara.

4:41W metodzie drą jednocześnie wyszło kilku

4:44użytkowników jednocześnie wszyscy sprawdzili czy

4:49stan jest wystarczający żeby pobrać tego jednego dolara.

4:52Okazało się że jest.

4:53I wtedy wszyscy przeszli do tego fragmentu.

4:56Wtedy wartość która została przypisana do

4:58stanu konta była po prostu niewłaściwa już straciliśmy integralność danych.

5:04I zostało to zapisane zostało w limitowane.

5:07I powiem Wam szczerze że ten problem jest niemal wszędzie.

5:11Popatrzcie sobie na sklepy z

5:15ubraniami na zwykłe sklepy na pizzerii gdzie są do użytku kody rabatowe.

5:20Dajmy na to na sto procent zamówienia.

5:22Jeżeli programista nie zadbał żeby

5:24zabezpieczyć akurat ten fragment kodu ten który jest wrażliwy to będziemy w stanie

5:30na jednym kodzie rabatowe zakupić wiele razy dany produkt.

5:36Pokażę wam teraz jak to zabezpieczyć.

5:39Ogólnie rozwiązaniem tego problemu jest jakaś informacja dla naszej strony że w

5:46tym momencie ktoś sprawdza to konto żebyśmy w tym momencie zablokowali.

5:51I jeżeli.

5:54W tym momencie kiedy mamy porównanie

5:58stanu konta byśmy zweryfikować że ktoś już jest w tym miejscu byliśmy bylibyśmy w

6:03stanie poczekać do momentu aż ten ktoś z tego miejsca

6:09się przeniesie gdzieś indziej czyli coś na zasadzie takiego lokalu i zrobimy.

6:16Na razie sposobem bazą do nowym jest taka metoda Select for update.

6:21Tylko pamiętajcie że ona jest dostępna na

6:25niektórych bazach danych nie jest dostępne na rajdzie.

6:29Dlatego my oferujemy teraz grę.

6:33Aby zabezpieczyć metodę drą.

6:35Trochę ją zmienimy.

6:37Zamiast zwykłej metody użyjemy klasy metod.

6:41W związku z tym musimy pierwszy parametr

6:42zamienić na klasę i dodamy jeszcze przekażemy eKonto III

6:47żebyśmy wiedzieli które konto będziemy modyfikować.

6:53W tym momencie całą metodę musimy.

6:57Włożyć w kontekst menedżer.

7:00Transakcji.

7:05Za chwilę wytłumaczę jaka jest tego przyczyna.

7:12I to jest najważniejsze.

7:14Musimy w tym momencie włączyć lokal na konkretne konto.

7:19Robimy to za pomocą.

7:21Metody Select for update.

7:24I pobieramy jeszcze it out it.

7:29W tym momencie dopóki jesteśmy w tej transakcji jeżeli wejdzie następna osoba

7:34to ona będzie musiała poczekać aż zostanie zwolniona.

7:38Blokada dla tego konta.

7:44Sobie jeszcze ramy ekonomii i po zmieniamy

7:47selfie ponieważ nam się to nieco zmieniło na.

7:53Dobrze musimy jeszcze zmienić wywołanie

7:56widoku ponieważ nie jest to już w druku na metodzie tylko tej klasy metod.

8:05Myślę że możemy wyświetlić stan konta po staremu.

8:09Natomiast.

8:15Odrą zrobił w ten sposób jak chart hoduje to idę.

8:19Ale nie jest to raczej w Dover rozwiązanie na produkcję.

8:25Sprawdzimy czy to pomogło ustalimy ponownie dwa dolary.

8:32Sprawdź może na nim są znicze.

8:34Wszystko zapisałem poprawnie i są mi po staremu.

8:39Teraz ponownie ustawić stan i.

8:46Zobaczmy trochę.

8:48Słynna logika.

8:53Działa zobaczymy jeszcze potwierdzamy

8:57że wypłacono tylko dwa razy potwierdzamy sobie stan konta mamy zero i jest OK.

9:04Jesteśmy uratowani nie będzie niewłaściwych wyników.

9:11Ten problem bardzo często też się pojawia jeśli macie biletowe dane wejścia na jakiś

9:15spektakl wydarzenie koncert cokolwiek i jest dostępnych 100 biletów które

9:19rozchodzą się w minutę wtedy bardzo dużo użytkowników.

9:24Jeżeli wyślemy głos w tym samym momencie jeżeli macie mocny serwer to jesteście w

9:28stanie sprzedać więcej biletów niż jest miejsc.

9:36Dobrze to jest metoda zabezpieczenia tego na poziomie bazy danych.

9:40Jeżeli korzystamy z Kesha a konkretniej z

9:43średnica Regis oferuje też własny look który jest bardzo wygodny

9:48i wtedy możemy zabezpieczyć stronę nawet jeżeli korzystamy z deski glajta.

9:54Musimy zamienić transakcję na tłumik na coś.

10:00Lok.

10:02Popieramy Crash z gangu.

10:04Koszykarz wam pokaże jak wygląda import.

10:09I.

10:11W parametr nie podajemy

10:13jaki chcemy jak chcemy nazwać klucz który będzie tym naszym blokiem.

10:18W tym przypadku może.

10:21Damy po prostu account podkreślił I could it.

10:27Nie potrzebujemy już Select for update starcie sam Get.

10:34Obszar.

10:40Stawiam dolary.

10:43Uruchomi 1:0 po staremu.

10:52I uruchom skrypt.

10:57To co prawda nie jest po kolei tak jak

10:58wcześniej tak ładnie ale ponownie widzimy że dostaliśmy dwa razy 2 setkę czyli dwa

11:04razy zostały wypłacone pieniądze i trzy razy pojawia się 4 setka.

11:10Osobiście uważam że rozwiązanie z KSM jest trochę wygodniejsze ponieważ nie musimy.

11:17Zastanawiać się jaką dokładnie jaki wiersz

11:20dokładnie trzeba pobrać żeby zablokować wywoływanie.

11:24Czasem jest to dość uciążliwe że nie mamy

11:25tak bezpośredniej jednego obiektu na którym chcemy operować.