Szkolenie: Go - zaawansowana współbieżność

Jak działa scheduler w modelu M:N i jego trzy główne elementy: goroutine (G), wątek systemu operacyjnego (M) oraz kontekst wykonania (P). Rola zmiennej GOMAXPROCS w sterowaniu równoległością

Wywłaszczanie goroutine przez środowisko uruchomieniowe, etapy życia goroutine, sterowanie zachowaniem przez zmienną GODEBUG

Model pamięci w Go: relacja „dzieje się przed", widoczność zapisów między goroutinami, bariery pamięci

Ile naprawdę kosztuje przełączanie goroutine, jak działa planowanie i co się dzieje, gdy goroutine wykonuje operację blokującą

Diagnostyka schedulera: śledzenie wykonania, opcja GODEBUG=schedtrace oraz pakiet runtime/metrics

Analiza działania programu przy pomocy narzędzia go tool trace i wbudowanego mechanizmu śledzenia

Wieloetapowe potoki przetwarzania i ich składanie z funkcji zwracających kanały

Rozdzielanie pracy na wiele goroutine i scalanie wyników z powrotem

Radzenie sobie z sytuacją, gdy producent jest szybszy od konsumenta: bufory oraz strategie odrzucania najstarszych elementów, najnowszych elementów lub blokowania producenta

Rozsyłanie wiadomości do wielu odbiorców oraz wzorzec publikuj-subskrybuj z użyciem select i listy kanałów

Kanał sygnalizujący zakończenie pracy, anulowanie operacji i przekazywanie tych sygnałów między warstwami programu

Timer, Ticker i kanały czasowe w stabilnych pętlach obsługujących zdarzenia

Jak testować kod oparty na kanałach i jak budować scenariusze, które dają powtarzalne wyniki

Praktyczne zastosowanie typów sync.Mutex, sync.RWMutex, sync.Once i sync.Cond

sync.Pool jako sposób na zmniejszenie liczby alokacji oraz jego ograniczenia

sync.Map i kiedy warto sięgnąć po niego zamiast zwykłej mapy chronionej muteksem

Pakiet sync/atomic oraz typy atomowe

Biblioteka errgroup i golang.org/x/sync/semaphore do kontrolowania liczby równolegle wykonywanych zadań

Współbieżność strukturalna: propozycje języka oraz wzorce stosowane obecnie w środowisku Go

Pakiet context jako sposób przekazywania sygnału anulowania i terminu wykonania zadania

Wbudowany wykrywacz wyścigów, jego typowe fałszywe wskazania i jak z nim pracować

Klasyczne pułapki: zapis bez zabezpieczenia, dzielona mapa między goroutinami, problemy przy iterowaniu po slajsie

Zakleszczenia: zagnieżdżone muteksy, kanały, których nikt nie zamyka, instrukcja select bez gałęzi domyślnej

Sytuacje, w których goroutine ciągle pracują, ale nie robią postępu, oraz takie, gdzie część z nich nigdy nie dostaje pracy. Sposoby zapobiegania

Profilowanie programów współbieżnych: profil muteksów, profil blokowań, profil goroutine

Narzędzia: debuger Delve, pakiet pprof, wykresy płomieniowe, ciągłe profilowanie z Pyroscope lub Parca

Testy losowe oraz testy obciążeniowe dla systemów wielowątkowych

Pula procesów roboczych i pule, których rozmiar zmienia się w czasie pracy

Model aktorów w Go: biblioteki protoactor-go i hollywood oraz to, co Go zaczerpnęło z języka Erlang

Wzorce bez blokad: RCU, kolejki bez blokad, wskaźniki zagrożenia

Nadzorca procesów i drzewa nadzoru, automatyczne wznawianie pracy po błędach

Jak prawidłowo zatrzymać działający program: serwery HTTP, gRPC oraz odbiorcy z kolejek

Sterowanie długo działającymi zadaniami i strumieniowe przetwarzanie danych z kontrolą tempa