PostgreSQL मा लकिङ कसरी काम गर्छ?

Question

Accepted Answer

PostgreSQL ले **locks** प्रयोग गरेर समवर्ती पहुँचको समन्वय गर्छ र द्वन्द्व रोक्छ। **MVCC** को कारणले, पढाइलाई सामान्यतः लकको आवश्यकता हुँदैन (पाठकहरूले लेखकहरूलाई अवरुद्ध गर्दैनन्), तर लेखनले पङ्क्ति-स्तरीय लकहरू अधिग्रहण गर्छ, र विभिन्न लक प्रकारहरूले अपरेशनहरूको समन्वय गर्छन्। लकिङ बुझ्नु विवादास्पदता र डेडलकहरू रोक्न मद्दत गर्छ।

## MVCC को अर्थ पढाइले सामान्यतः लक गर्दैन

```text
Because of MVCC, plain SELECTs do NOT take row locks — they read a consistent snapshot.
→ Readers don't block writers, writers don't block readers (a key Postgres advantage).
Locking mainly comes into play for WRITES and explicit locking.
```

## पङ्क्ति-स्तरीय लकहरू (लेखनहरू र स्पष्ट लकिङबाट)

```sql
-- UPDATE/DELETE automatically lock the affected ROWS (until the transaction ends)
UPDATE accounts SET balance = balance - 100 WHERE id = 1;   -- locks row 1

-- SELECT ... FOR UPDATE — explicitly lock rows you intend to update (prevent races)
BEGIN;
SELECT * FROM accounts WHERE id = 1 FOR UPDATE;   -- lock the row
-- ... compute, then UPDATE — no other transaction can modify it meanwhile
UPDATE accounts SET balance = ... WHERE id = 1;
COMMIT;
```

`SELECT ... FOR UPDATE` ले पङ्क्तिहरूलाई लक गर्छ ताकि समवर्ती लेनदेनहरूले तिनलाई परिवर्तन गर्न सक्दैनन् — पढाइ-परिवर्तन-लेखन अपरेशनहरूमा दौड स्थितिहरू रोक्छ (जस्तै सुरक्षित रूपमा सूचीको घटाउ गर्दा)।

## लक प्रकारहरू र तालिका लकहरू

```text
ROW-level → ACCESS via UPDATE/DELETE/SELECT FOR UPDATE — fine-grained
TABLE-level → some DDL (ALTER TABLE) takes heavier table locks → can block queries
→ Schema changes on busy tables can cause contention; plan migrations carefully
  (Postgres has gotten better — many ALTERs are now non-blocking, but not all).
```

## लक समस्याहरू र डेडलकहरू टाल्दै

```text
✓ Keep transactions SHORT (hold locks briefly → less contention)
✓ Acquire locks in a CONSISTENT ORDER across transactions → avoid DEADLOCKS
✓ Use FOR UPDATE deliberately for read-modify-write; consider FOR UPDATE SKIP LOCKED
  for queue-like patterns (skip already-locked rows)
✓ Watch for long-held locks blocking others (pg_locks, pg_stat_activity to diagnose)
✓ Be cautious with DDL on busy tables (can block)
```

## यो किन महत्त्वपूर्ण छ

PostgreSQL लकिङ बुझ्नु **सही, प्रभावकारी समवर्ती अनुप्रयोगहरू निर्माण** गर्नको लागि महत्त्वपूर्ण छ, त्यसैले यो महत्त्वपूर्ण समवर्ती डेटाबेस पहुँच भएका प्रणालीहरूको लागि वरिष्ठ-स्तरीय ज्ञान हो।

आधारभूत अन्तर्दृष्टि यो हो कि **MVCC को अर्थ पढाइले सामान्यतः लक गर्दैन** (पाठकहरूले लेखकहरूलाई अवरुद्ध गर्दैनन् — Postgres समवर्ती लाभको मूल साधन), त्यसैले लकिङले मुख्यतः **लेखनहरू र स्पष्ट लकिङ** लाई सम्बन्ध राखछ।

**पङ्क्ति-स्तरीय लकहरू** (UPDATE/DELETE द्वारा अधिग्रहण गरिएको) र विशेष गरी **`SELECT ... FOR UPDATE`** (पङ्क्तिहरूलाई स्पष्ट रूपमा लक गरेर दौड स्थितिहरू रोक्न — जस्तै सुरक्षित रूपमा सूचीको घटाउ गर्दा वा सन्तुलन प्रक्रिया गर्दा, जहाँ लकिङ बिना समवर्ती लेनदेनहरूले गलत परिणामहरू निम्त्याउन सक्छन्) बुझ्नु समवर्ती परिदृश्यमा **सही** को लागि महत्त्वपूर्ण छ।

यो जान्न कि **DDL/स्कीमा परिवर्तनहरूले भारी तालिका लकहरू लिन सक्छन्** (सम्भावित रूपमा व्यस्त तालिकाहरूमा क्वेरीहरूलाई अवरुद्ध गरदै — माइग्रेसनहरू योजना गर्दा महत्त्वपूर्ण विचार, यद्यपि Postgres ले धेरै ALTERहरूलाई गैर-अवरुद्ध गरेको छ) तैनातीको समयमा विवादास्पदता टाल्न मद्दत गर्छ।

**लक समस्याहरू र डेडलकहरू टाल्न** कसरी बुझ्नु — लेनदेनहरूलाई छोटो राख्दै (लकहरू संक्षिप्त रूपमा होल्ड गर्दै), लकहरू सुसंगत क्रममा अधिग्रहण गर्दै (डेडलकहरू रोक्दै), `FOR UPDATE` जानबूझकर प्रयोग गर्दै (र `SKIP LOCKED` कतार प्यात्टर्नको लागि), र लक विवादास्पदता निदान गर्दै (pg_locks, pg_stat_activity) — समवर्तीताको अन्तर्गत प्रदर्शन र विश्वसनीयताको लागि मूल्यवान छ।

चूँकि समवर्तीता वास्तविक अनुप्रयोगहरूमा अन्तर्निहित छ, र चूँकि लकिङको उचित उपयोग (विशेष गरी पढाइ-परिवर्तन-लेखन अपरेशनमा सही को लागि `FOR UPDATE`, र विवादास्पदता/डेडलकहरू टाल्दै) जो समवर्ती डेटाबेस कोडलाई सही र प्रभावकारी बनाउछ, PostgreSQL लकिङ बुझ्नु — MVCC-कुनै-पढाइ-लकहरू मडेल, स्पष्ट पङ्क्ति लकिङ सही को लागि, DDL बाट तालिका लकहरू, र डेडलकहरू/विवादास्पदता टाल्दै — मजबूत समवर्ती अनुप्रयोगहरू निर्माण गर्न र भार अन्तर्गत Postgres सञ्चालन गर्नको लागि वरिष्ठ-स्तरीय ज्ञान हो, एक बारम्बार प्रासंगिक चिन्ता जो डेटाबेस समवर्तीता नियन्त्रणको समझ प्रदर्शन गर्छ।