ما هو MVCC في PostgreSQL؟

Question

Accepted Answer

**MVCC** (التحكم في التزامن متعدد الإصدارات) هو الآلية التي تستخدمها PostgreSQL للتعامل مع الوصول المتزامن — بدلاً من قفل الصفوف للقراءة، فإنها تحتفظ **بإصدارات متعددة** من الصفوف، بحيث يرى كل معاملة **لقطة** ثابتة من البيانات. الفائدة الأساسية: **القراء لا يحجبون الكاتبين، والكاتبون لا يحجبون القراء**، مما يتيح تزامناً عالياً.

## الفكرة الأساسية: إصدارات صفوف متعددة

```text
When a row is UPDATED, Postgres doesn't overwrite it — it creates a NEW version and
marks the old one obsolete. Different transactions can see different versions.
→ Each transaction sees a consistent SNAPSHOT of the database as of its start
  (depending on isolation level), unaffected by others' uncommitted changes.
```

## الفائدة الكبرى: لا توجد أقفال قراءة

```text
Without MVCC (lock-based): readers and writers BLOCK each other
  → a long-running report could block writes; a write could block reads.
With MVCC:
  ✓ READERS DON'T BLOCK WRITERS — a SELECT sees an old version while an UPDATE proceeds
  ✓ WRITERS DON'T BLOCK READERS
  ✓ Each transaction sees a stable, consistent view (no dirty reads)
→ Much higher concurrency for read-heavy and mixed workloads.
```

## كيفية عمل (مبسطة)

```sql
-- Transaction A starts a long SELECT (sees a snapshot)
BEGIN; SELECT count(*) FROM orders;   -- sees data as of its snapshot

-- meanwhile Transaction B updates rows — creates new versions, doesn't block A
-- A still sees its consistent snapshot; B's changes are a new version
```

تتابع Postgres معرّفات المعاملات وظهور الصفوف بحيث يرى كل معاملة الإصدار الصحيح. هذا يوفر **العزل** بدون أقفال قراءة.

## التكلفة: الصفوف الميتة و VACUUM

```text
MVCC creates obsolete row versions ("dead tuples") that accumulate → bloat.
VACUUM (and AUTOVACUUM) reclaims this dead space and keeps the database healthy.
→ This is why VACUUM is important in Postgres — it's the cleanup for MVCC's versions.
```

## لماذا يهم هذا

MVCC أساسي لفهم سلوك التزامن والأداء في PostgreSQL، لذا فهو معرفة قيمة للعمل مع Postgres بشكل فعال.

القيمة الأساسية التي يوفرها MVCC هي **التزامن العالي**: من خلال الحفاظ على إصدارات متعددة من الصفوف وإعطاء كل معاملة لقطة متسقة، **القراء لا يحجبون الكاتبين والكاتبون لا يحجبون القراء** — وهذه ميزة كبيرة للتطبيقات الحقيقية (تقرير طويل الأجل لا يحجب التحديثات، والكتابات لا تحجب القراءات)، مما يتيح تزامناً أفضل بكثير للأحمال الثقيلة في القراءة والمختلطة مقارنة بالنهج القائمة على الأقفال.

هذا هو السبب في أن PostgreSQL يتعامل مع الوصول المتزامن بشكل جيد، وفهم MVCC يشرح خصائص التزامن في قاعدة البيانات (لقطات متسقة، عزل بدون أقفال قراءة، بدون قراءات قذرة).

بشكل حاسم، فهم MVCC يشرح أيضاً **لماذا `VACUUM` مهم في Postgres**: MVCC ينشئ إصدارات صفوف عفا عليها الزمن ("صفوف ميتة") عندما يتم تحديث وحذف الصفوف، والتي تتراكم كنفايات، و`VACUUM`/`AUTOVACUUM` هو آلية التنظيف التي تسترجع هذا المساحة وتحافظ على صحة قاعدة البيانات — لذا MVCC و VACUUM مرتبطان بشكل وثيق، ومعرفة هذا الارتباط مهمة لصيانة قاعدة البيانات والأداء (إهمال vacuum يؤدي إلى نفايات وأداء متدهورة، وهي مشكلة تشغيلية حقيقية).

بما أن سلوك التزامن يؤثر بشكل أساسي على أداء قاعدة البيانات تحت الحمل، وبما أن MVCC (نموذج التزامن في Postgres) يشرح كلاً من التزامن الممتاز بين القراءة والكتابة والحاجة لصيانة VACUUM، فإن فهم MVCC هو معرفة قيمة للعمل مع PostgreSQL — فهو يوضح مزايا قاعدة البيانات في التزامن والصيانة التي تتطلبها، مهمة لكل من التفكير في الأداء وتشغيل Postgres بشكل صحيح، وموضوع شائع يدل على فهم كيفية تعامل Postgres مع الوصول المتزامن.