Si funksionon planifikuesi i runtime të Go?

Question

Accepted Answer

Runtime i Go përfshin një **planifikues** që multiplekson shumë goroutinat në një numër të vogël tema të SO. Kjo **planifikim M:N** (M goroutina në N tema të SO) është ajo që i bën goroutinat kaq të lira dhe konkurencën e Go kaq të shkallëzueshme. Të kuptimit të tij shpjegon performancën e goroutinave.

## Modeli 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.
```

Runtime-i harton shumë goroutina (G) në tema të SO (M) përmes procesorëve logjikë (P). Ka një P për bërt procesor të CPU sipas parazgjedhjes (`GOMAXPROCS`), secila me një radhë goroutinash të gatshme për t'u ekzekutuar.

## Si arrin konkurencë të lira dhe të shkallëzueshme

```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
```

Pasi planifikuesi përballet me ndërrimin e goroutinave në hapësirën e përdoruesit (jo ndërrimet e temave në nivel kernel), dhe goroutinat kanë shtivra të vogla, mund të ekzekutoni shumë më tepër goroutina sesa tema të SO, me kosto të ulët.

## Sjelljat kryesore të planifikuesit

```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
```

**Vjedhja e punës** e mbështet bërtjet e zënë, **preemption** parandalon një goroutinë nga monopolizimi i bërtit, dhe vendimtarisht, kur një goroutinë bllokohej (në një kanal ose syscall), planifikuesi vazhdon të ekzekutojë goroutina të tjera në vend që të harxhojë temën.

## GOMAXPROCS

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

## Pse goroutinat nuk janë falas, megjithatë

```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.
```

## Pse është i rëndësishëm

Planifikuesi i Go është motori pas lirësisë dhe shkallëzueshmërisë së jashtëzakonshme të goroutinave — të kuptimit të tij të **modelit M:N** (shumë goroutina në disa tema të SO përmes dizajnit G-M-P) shpjegon *pse* Go mund të ekzekutojë miliona goroutina kur tema të SO nuk arrijnë më shumë se mijëra, dhe *pse* konkurenca e tij është kaq efikase (ndërrimi në hapësirën e përdoruesit në vend të ndërrimeve konteksti të shtrenjtë të SO, paralelizmi i vërtetë në bërtje përmes GOMAXPROCS).

Trajtimi i zgjuar i bllokimit (parkimi i goroutinave të bllokohet në kanal, përdhosja e P në syscalls në mënyrë që tema të mos harxhohen), **vjedhja e punës** për balancimin e ngarkesës, dhe **preemption** (që nga 1.14) për të parandaluar urinën janë ajo që e bën konkurencën e Go të fuqishme nën ngarkesa reale të punës.

Megjithëse ju rrallë ndërveproni drejtpërdrejt me planifikuesin, të kuptimit të tij thellëson intuitën tuaj për performancën e goroutinave, shpjegon sjelljat (pse bllokimi nuk harxhon tema, pse mund të krijoni kaq shumë goroutina), dhe informon vendime si si të kufizoni konkurencën.

Ishtë një temë e avancuar që tregon njohje të vërtetë të runtime të Go dhe vlerësohet në intervista për nivel të lartë.