Τι κοστίζει πραγματικά ένα context switch, και γιατί έχει σημασία;

Question

IT Interview Practice · Accepted Answer

Ένα **context switch (εναλλαγή περιβάλλοντος)** είναι η αποθήκευση από τον kernel της κατάστασης CPU του νήματος που τρέχει (καταχωρητές, program counter, stack pointer) και η επαναφορά της κατάστασης ενός άλλου νήματος, ώστε ένας μοναδικός πυρήνας να μπορεί να πολυπλέξει πολλά νήματα. Συμβαίνει σε κάθε preemption του scheduler, blocking syscall, ή interrupt — και δεν είναι δωρεάν.

## Πού κρύβεται το κόστος

```text
DIRECT cost (visible, ~1–5 µs):
  save/restore registers · run scheduler logic · switch kernel stacks
  if PROCESS switch: also swap page tables (CR3) → FLUSHES the TLB

INDIRECT cost (often much larger):
  cold CPU CACHES → the new thread's data isn't in L1/L2/L3 → cache misses to RAM
  cold TLB        → address translations must be re-walked
  lost pipeline / branch-predictor state
```

Το **άμεσο (direct)** κόστος είναι μερικά microseconds. Το **έμμεσο (indirect)** κόστος — μια κρύα cache και TLB μετά την εναλλαγή — είναι συχνά το μεγαλύτερο χτύπημα: το εισερχόμενο νήμα τρέχει αργά για λίγο καθώς ξαναζεσταίνει τις caches του από την κύρια μνήμη (δεκάδες έως εκατοντάδες κύκλοι ανά miss).

## Εναλλαγή νήματος vs εναλλαγή διεργασίας

Η εναλλαγή μεταξύ **νημάτων της ίδιας διεργασίας** είναι φθηνότερη: μοιράζονται έναν χώρο διευθύνσεων, οπότε ο page table (και το TLB, σε υλικό χωρίς tagged TLBs / PCIDs) δεν χρειάζεται να αλλάξει. Η εναλλαγή **διεργασιών** επιπλέον ξαναφορτώνει τον καταχωρητή βάσης του page-table και παραδοσιακά κάνει flush το TLB — γι' αυτό κοστίζει περισσότερο.

## Γιατί έχει σημασία στην πράξη

- **Πάρα πολλά νήματα** → ο scheduler κάνει thrash, ξοδεύοντας κύκλους σε εναλλαγές αντί σε δουλειά· πέρα από ένα σημείο, περισσότερα νήματα από πυρήνες *μειώνουν* το throughput.
- Είναι το βασικό επιχείρημα για τα μοντέλα **async / event-loop** (Node, nginx, `io_uring`) και τα **goroutines / green threads**: χειρισμός πολλών συνδέσεων με λίγα OS threads, αποφεύγοντας μια εναλλαγή ανά request.
- Γι' αυτό το **CPU pinning / affinity** βοηθά τις υπηρεσίες που είναι ευαίσθητες στη latency — κρατήστε ένα νήμα σε έναν πυρήνα για να διατηρήσετε τη ζεστή cache του.
- Ένας υψηλός αριθμός ακούσιων (involuntary) context switches (ορατός στα `vmstat`, `pidstat`) είναι κλασικό σύμπτωμα lock contention ή υπερδέσμευσης (oversubscription) της CPU.

## Γιατί έχει σημασία

Αυτή είναι ερώτηση επιπέδου senior επειδή ξεχωρίζει τους ανθρώπους που γνωρίζουν τον *όρο* από εκείνους που κατανοούν *γιατί* είναι δαπανηρός — και η πραγματική απάντηση (ρύπανση cache/TLB, όχι απλώς αποθήκευση καταχωρητών) καθοδηγεί αρχιτεκτονικές αποφάσεις: async I/O αντί για thread-per-request, σωστό μέγεθος thread pools ανάλογα με τον αριθμό πυρήνων, και χρήση affinity. Δένει τον χρονοπρογραμματισμό, την εικονική μνήμη, και τις CPU caches σε μία ενιαία ιστορία επιδόσεων.

Πού κρύβεται το κόστος

Εναλλαγή νήματος vs εναλλαγή διεργασίας

Γιατί έχει σημασία στην πράξη

Γιατί έχει σημασία

Σχετικές ερωτήσεις