Jak powstaje Intertangle
Dwa podsystemy zaczynają życie jako niezależne moduły. Z czasem każdy z nich dodaje pole do współdzielonego obiektu-boga: globalnej struktury konfiguracji, singletonowego managera, statycznej klasy. Każde dodanie: poprawne w izolacji. Sprzężenie: niewidoczne w testach na małą skalę.
Trzy podłoża, na których to się skamieniało:
Odtwarzacz VLC. Audio, wideo i lista odtwarzania współdzielą jedną blokadę chroniącą globalny stan odtwarzacza. Żądanie przewinięcia do znacznika czasu przejmuje blokadę, modyfikuje pozycję odtwarzania i opróżnia bufor audio. Podsystem wideo, czekający na tę samą blokadę, zatrzymuje się. Podsystem listy odtwarzania, również czekający, nie może pobrać danych z wyprzedzeniem. Wynik: trzy niezależne podsystemy zserializowane przez jeden obiekt stanu. Koszt wydajności: rywalizacja o blokadę O(N), gdzie N = liczba podsystemów, proporcjonalna do opóźnienia operacji.
Pętla zdarzeń Redis. AOF fsync (zapis na dysk), replikacja (zapis sieciowy) i wykonywanie poleceń (CPU) współdzielą jednowątkową pętlę zdarzeń. Każda z tych operacji: poprawna w izolacji. Wolny fsync blokuje wykonywanie poleceń. Opóźnienie replikacji narasta przy dużym obciążeniu zapisem. Punkt sprzężenia: pojedynczy kontekst wykonania współdzielony przez operacje o różnych profilach opóźnień.
LevelDB VersionSet. Ścieżka zapisu (flush memtable) i tło kompaktacji współdzielą blokadę VersionSet. Zadanie kompaktacji trzyma blokadę przez dziesiątki milisekund. Ścieżka zapisu zostaje zablokowana. Obie operacje: niezbędne. Sprzężenie: strukturalne, nie czasowe.
Kluczowe rozróżnienie
Intertangle ma sprzężenie strukturalne, nie problem czasowy. Warunek wyścigu: dwa wątki uzyskują dostęp do wspólnego stanu bez synchronizacji. Rozwiązanie: dodaj mutex.
Intertangle: dwa podsystemy współdzielą stan z założenia. Dodanie mutexa nie usuwa sprzężenia; serializuje dostęp. Podsystemy nadal współdzielą stan. Wąskie gardło się zacieśnia.
Dodanie mutexa do Intertangle VLC pogarsza sytuację: teraz audio, wideo i lista odtwarzania czekają na jedną blokadę. Rozwiązanie strukturalne: daj każdemu podsystemowi własny stan. Migawka fazy: zamroź migawkę wspólnego stanu na granicy fazy, pozwól każdemu podsystemowi odczytać migawkę niezależnie, scal zapisy na końcu.
Strukturalne vs Czasowe
Kluczowe pytanie diagnostyczne dla Intertangle: czy dodanie mutexa to naprawi, czy pogorszy?
Warunek wyścigu: dodanie muteksu go naprawia. Poprawna kolejność dostępu eliminuje uszkodzenie.
Intertangle: dodanie muteksu serializuje dostęp, ale zachowuje sprzężenie strukturalne. Podsystemy nadal współdzielą stan. Pod obciążeniem nadal blokują się nawzajem. Wąskie gardło się zwęża.
Jak znaleźć Intertangle
Trzy sygnały wykrywania:
1. Współdzielone pola mutowalne między podsystemami. Obiekt-bóg z polami odczytywanymi i zapisywanymi przez więcej niż jeden podsystem. Jeśli usunięcie dostępu do pola jednego podsystemu psuje inny podsystem, oznacza to, że współdzielą stan.
2. Pojedynczy mutex chroniący niepowiązane operacje. Jeden zamek chroniący flush audio ORAZ dekodowanie wideo ORAZ pobieranie playlisty: trzy podsystemy o różnych profilach opóźnień, wszystkie czekające na siebie nawzajem. Zapach: niepowiązane operacje pod tą samą nazwą zamka.
3. Regresja wydajności przy dodawaniu obciążenia. Opóźnienie operacji A rośnie, gdy operacja B działa równolegle, mimo że A i B wydają się niezależne. Nie są niezależne: współdzielą stan.
Naprawa poprzez migawkę fazy
Wzorzec migawki fazy:
# PRZED: podsystemy odczytują i zapisują współdzielony stan bezpośrednio
class GameWorld:
position = {} # wspólny stan mutowalny
velocity = {} # wspólny stan mutowalny
def physics_tick(world):
for entity in world.entities:
world.position[entity] += world.velocity[entity] # zapis wspólnego stanu w trakcie pętli# PO: snapshot zamrożony przed fazą; zapisy idą do bufora next_state
def physics_tick(world):
snapshot = world.freeze() # niezmienny widok
next_state = {}
for entity in snapshot.entities:
next_state[entity] = snapshot.position[entity] + snapshot.velocity[entity]
world.merge(next_state) # atomowe scalanie na granicy fazyKażdy podsystem odczytuje snapshot. Żaden podsystem nie zapisuje do niego. Zapisów gromadzą się w buforze i scalają atomowo na granicy fazy. Podsystemy wykonują się teraz niezależnie: brak rywalizacji o blokady, brak zależności kolejności, brak ukrytego sprzężenia.
Zastosuj poprawkę
Zespół zgłasza defekt: system animacji i system kolizji silnika gry zapisują do tego samego współdzielonego obiektu transformacji encji. Gdy oba działają w tym samym ticku, wyniki kolizji zależą od tego, czy animacja wykonała się pierwsza. Dodanie muteksu naprawiło kolejność, ale teraz animacja czeka, gdy kolizja wykonuje broad-phase sweep.