ماذا يكلّف الـ context switch فعليًّا، ولماذا يهمّ ذلك؟

Question

IT Interview Practice · Accepted Answer

الـ **context switch** هو قيام الـ kernel بحفظ حالة الـ CPU للخيط العامل حاليًّا (السجلات، عدّاد البرنامج، مؤشر الـ stack) واستعادة حالة خيط آخر، بحيث يستطيع core واحد مناوبة خيوط كثيرة. يحدث عند كل استباق للـ scheduler، أو syscall حاجب (blocking)، أو مقاطعة — وليس مجانيًّا.

## أين تختبئ الكلفة

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

الكلفة **المباشرة** هي بضع ميكروثوانٍ. أمّا الكلفة **غير المباشرة** — cache وTLB باردان بعد التبديل — فكثيرًا ما تكون الضربة الأكبر: يعمل الخيط الوارد ببطء لبعض الوقت بينما يعيد تسخين cache-اته من الذاكرة الرئيسية (عشرات إلى مئات الـ cycles لكل miss).

## تبديل الخيط مقابل تبديل العملية

التبديل بين **خيوط العملية الواحدة** أرخص: فهي تتشارك فضاء عناوين، فلا يلزم أن يتغير الـ page table (ولا الـ TLB، على العتاد الخالي من tagged TLBs / PCIDs). أمّا تبديل **العمليات** فيعيد إضافةً تحميل سجل قاعدة الـ page-table وتقليديًّا يُفرِّغ (flushes) الـ TLB — ولهذا يكلّف أكثر.

## لماذا يهمّ عمليًّا

- **خيوط أكثر من اللازم** → يتخبّط الـ scheduler، مُنفِقًا cycles على التبديل بدل العمل؛ وبعد حدّ معيّن، خيوط أكثر من الـ cores *تُقلّل* الـ throughput.
- إنه الحجة الجوهرية لنماذج **async / event-loop** (Node، nginx، `io_uring`) و**goroutines / green threads**: خدمة اتصالات كثيرة بقليل من خيوط نظام التشغيل، تفاديًا لتبديل لكل طلب.
- إنه سبب مساعدة **CPU pinning / affinity** للخدمات الحساسة للـ latency — أبقِ خيطًا على core واحد للحفاظ على cache-ه الدافئ.
- عدد الـ context-switch اللاإرادي (involuntary) المرتفع (المرئي في `vmstat`، `pidstat`) عَرَضٌ كلاسيكي لتنازع الأقفال أو الإفراط في اشتراك الـ CPU (oversubscription).

## لماذا يهم

هذا سؤال بمستوى senior لأنه يفصل من يعرف *المصطلح* عمن يفهم *لماذا* هو مكلف — والجواب الحقيقي (تلويث الـ cache/TLB، لا مجرّد حفظ السجلات) يوجّه قرارات معمارية: async I/O بدل thread-per-request، وضبط حجم thread pools على عدد الـ cores، واستخدام الـ affinity. إنه يربط الجدولة والذاكرة الافتراضية وcaches الـ CPU في قصة أداء واحدة.

أين تختبئ الكلفة

تبديل الخيط مقابل تبديل العملية

لماذا يهمّ عمليًّا

لماذا يهم

أسئلة ذات صلة