ما هو GIL وكيف يؤثر على التزامن (Concurrency)؟

Question

Accepted Answer

**GIL** (Global Interpreter Lock) هو mutex في CPython (تطبيق Python القياسي) يسمح **بتنفيذ thread واحد فقط لكود Python bytecode في وقت واحد**. هذا يعني أن threads في Python لا يمكنها تشغيل كود Python بتوازي حقيقي على أنوية CPU متعددة — وهي اعتبار رئيسي للتزامن.

## ما يعنيه GIL عملياً

```text
Even with multiple threads on a multi-core CPU:
  Only ONE thread runs Python bytecode at any instant.
→ Threading does NOT give CPU-bound parallelism in CPython.
```

## التمييز الرئيسي: CPU-bound مقابل I/O-bound

```python
import threading

# ❌ CPU-bound work with threads — NO speedup (GIL serializes them)
def cpu_task():
    sum(i * i for i in range(10_000_000))   # heavy computation
# 4 threads doing this run essentially as slow as 1 (GIL contention)

# ✅ I/O-bound work with threads — REAL benefit
def io_task():
    response = requests.get(url)   # waits on network — RELEASES the GIL while waiting
# while one thread waits on I/O, the GIL is freed for others → concurrency works
```

الدقة الحاسمة: GIL يتم **تحريره أثناء I/O** (الشبكة والملفات والنوم) وداخل العديد من امتدادات C. لذلك threads *تساعد فعلاً* في **عمل I/O-bound** (الانتظارات المتعددة تتداخل)، لكن *ليس* في **عمل CPU-bound** (GIL يجعل الحساب متسلسلاً).

## التعامل مع GIL للعمل CPU-bound

```python
from multiprocessing import Pool

# ✅ multiprocessing uses separate PROCESSES, each with its own GIL → true parallelism
with Pool(4) as p:
    results = p.map(cpu_task, data)   # runs on 4 cores genuinely in parallel
```

للتوازي CPU-bound، استخدم **`multiprocessing`** (العمليات المنفصلة تتجنب GIL الواحد)، أو المكتبات (NumPy، إلخ) التي ينفذ عملها الثقيل في C مع تحرير GIL.

## دليل القرار

```text
I/O-bound (network, files, DB)  → threading or asyncio (GIL released on I/O)
CPU-bound (computation)          → multiprocessing (or C-extension libraries)
```

## المستقبل

```text
Python 3.13+ introduces an EXPERIMENTAL free-threaded (no-GIL) build,
and work continues to reduce the GIL's impact — but it remains the default reality.
```

## لماذا يهم

GIL هو أحد أهم — وأكثر الميزات التي يساء فهمها — في Python.

يشرح *لماذا* استخدام threads للعمل الثقيل على CPU لا يعطي تسريعاً (خطأ شائع)، و*لماذا* أداة التزامن الصحيحة تعتمد على نوع العمل: **threading/asyncio للعمل I/O-bound** (حيث يتم تحرير GIL أثناء الانتظار) و**multiprocessing للعمل CPU-bound** (عمليات منفصلة للتوازي الحقيقي).

سوء فهم GIL يؤدي إلى كود تزامن غير فعال لا يتسع.

معرفته — والقرار I/O-vs-CPU الذي يفرضه — ضروري لكتابة Python متزامن يؤدي فعلاً بشكل جيد.