Jak działa scheduler środowiska uruchomieniowego Go?

Question

Accepted Answer

Środowisko uruchomieniowe Go zawiera **scheduler**, który mapuje wiele gorutyn na małą liczbę wątków systemu operacyjnego. To **planowanie M:N** (M gorutyn na N wątkach OS) sprawia, że gorutyny są tak tanie, a współbieżność Go tak skalowalna. Zrozumienie tego wyjaśnia wydajność gorutyn.

## Model G-M-P

```text
G (Goroutine) — your concurrent task (lightweight, ~2KB stack to start)
M (Machine)   — an OS thread (the actual thread the OS schedules)
P (Processor) — a logical processor / scheduling context; holds a queue of runnable Gs
                (the number of P's = GOMAXPROCS, default = number of CPU cores)

The scheduler runs G's on M's, coordinated through P's:
  Each P has a local run queue of goroutines; an M must hold a P to run G's.
```

Środowisko uruchomieniowe mapuje wiele gorutyn (G) na wątki OS (M) za pośrednictwem logicznych procesorów (P). Domyślnie jest jeden P na rdzeń CPU (`GOMAXPROCS`), każdy z kolejką gorutyn gotowych do uruchomienia.

## Jak osiąga tanią, skalowalną współbieżność

```text
✓ Creating a goroutine is cheap (tiny stack, runtime-managed) → millions feasible
✓ Switching goroutines happens in USER space (runtime), not via expensive OS
  context switches → far lighter than switching OS threads
✓ With P = CPU cores, Go runs goroutines truly in parallel across cores
```

Ponieważ scheduler obsługuje przełączanie gorutyn w przestrzeni użytkownika (a nie przełączanie wątków na poziomie jądra) i gorutyny mają bardzo małe stosy, możesz uruchamiać znacznie więcej gorutyn niż wątków OS, tanio.

## Kluczowe zachowania schedulera

```text
✓ Work stealing — an idle P STEALS goroutines from a busy P's queue → load balancing
✓ Cooperative + preemptive — goroutines yield at function calls/channel ops/blocking;
  since Go 1.14, the scheduler can also PREEMPT long-running goroutines (no starvation)
✓ Blocking handled smartly:
   - A goroutine blocked on a CHANNEL/sync → parked, the M runs other goroutines (no thread wasted)
   - A goroutine blocked on a SYSCALL (e.g. file I/O) → the M blocks, but the P is
     handed to ANOTHER M so other goroutines keep running
```

**Kradzież pracy** utrzymuje rdzenie zajęte, **preempcja** uniemożliwia jednej gorutynie zdominowanie rdzenia, a co najważniejsze, gdy gorutyna się blokuje (na kanale lub w wywołaniu systemowym), scheduler utrzymuje inne gorutyny w ruchu zamiast marnować wątek.

## GOMAXPROCS

```go
runtime.GOMAXPROCS(4)    // limit to 4 OS threads running Go code simultaneously
// default = number of CPU cores; rarely needs changing
```

## Dlaczego gorutyny nie są darmowe

```text
Goroutines are cheap but not zero-cost — millions still use memory, and excessive
goroutines add scheduling overhead. Bound concurrency (worker pools) for heavy loads.
```

## Dlaczego to ważne

Scheduler Go jest silnikiem stojącym za niezwykłą tanią i skalowalną naturą gorutyn — zrozumienie jego **modelu M:N** (wiele gorutyn na kilka wątków OS za pośrednictwem projektu G-M-P) wyjaśnia *dlaczego* Go może uruchamiać miliony gorutyn, gdy wątki OS osiągają szczyt na tysiącach, i *dlaczego* jego współbieżność jest tak wydajna (przełączanie w przestrzeni użytkownika zamiast kosztownych przełączeń kontekstu OS, prawdziwy paralelizm między rdzeniami za pośrednictwem GOMAXPROCS).

Inteligentna obsługa blokowania (parkowanie gorutyn zablokowanych na kanale, przesunięcie P przy wywołaniach systemowych, aby wątki nie były marnowane), **kradzież pracy** do równoważenia obciążenia i **preempcja** (od 1.14) do zapobiegania zagłodzeniu to elementy, które sprawiają, że współbieżność Go jest niezawodna w rzeczywistych obciążeniach.

Chociaż rzadko bezpośrednio interakcjonujesz ze schedulerem, jego zrozumienie pogłębia twoją intuicję dotyczącą wydajności gorutyn, wyjaśnia zachowania (dlaczego blokowanie nie marnuje wątków, dlaczego możesz spawować tyle gorutyn) i informuje decyzje, takie jak ograniczenie współbieżności.

To zaawansowany temat, który demonstruje autentyczną znajomość środowiska uruchomieniowego Go i jest ceniony w rozmowach o pracę na stanowiskach seniorskich.