Redis ਨਾਲ ਵਿਤਰਿਤ ਲਾਕ ਕਿਵੇਂ ਕਾਰਜ ਕਰਦੇ ਹਨ?

Question

Accepted Answer

A **ਵਿਤਰਿਤ ਲਾਕ** ਕਈ ਪ੍ਰਕ੍ਰਿਆਵਾਂ/ਸਰਵਰਾਂ ਵਿੱਚ ਸਾਂਝੇ ਸਰੋਤ ਤੱਕ ਪਹੁੰਚ ਨੂੰ ਸਮਨ୍ਵਿਤ ਕਰਦਾ ਹੈ ਤਾਂਜੋ ਕਿ ਸਿਰਫ਼ ਇੱਕ ਨੂੰ ਇੱਕ ਸਮੇਂ ਲਾਕ ਹੋਵੇ। Redis ਆਮ ਤੌਰ 'ਤੇ ਇਸ ਲਈ atomic set-if-not-exists ਦੇ ਨਾਲ TTL ਦੁਆਰਾ ਵਰਤਿਆ ਜਾਂਦਾ ਹੈ — ਹਾਲਾਂਕਿ ਇਸ ਨੂੰ ਸਹੀ ਤਰੀਕੇ ਨਾਲ ਕਰਨ ਲਈ ਸਾਵਧਾਨੀ ਦੀ ਲੋੜ ਹੈ (ਅਤੇ ਸੀਮਾਵਾਂ ਨੂੰ ਸਮਝਣਾ)।

## ਇੱਕ ਬੁਨਿਆਦੀ Redis ਲਾਕ (SET NX ਨਾਲ TTL)

```js
// acquire: SET the lock key only if it doesn't exist, with a TTL (auto-release safety)
const token = randomUUID();   // a unique token identifying THIS lock holder
const acquired = await redis.set("lock:resource", token, "NX", "EX", 30);
// NX = set only if not exists (atomic); EX 30 = auto-expire in 30s (avoid deadlock)

if (acquired) {
  try {
    // ... do the work that needs exclusive access ...
  } finally {
    // release ONLY if WE still hold it (check the token) — use a Lua script for atomicity
    await releaseLock("lock:resource", token);
  }
}
```

ਲਾਕ **`SET key value NX EX`** ਦੀ ਵਰਤੋਂ ਕਰਦਾ ਹੈ: ਕੀ ਨੂੰ ਸਿਰਫ਼ ਤਾਂ ਹੀ atomic ਤਰੀਕੇ ਨਾਲ ਸੈਟ ਕਰੋ ਜੇਕਰ ਗੈਰ-ਮੌਜੂਦ ਹੋਵੇ (ਇਸ ਲਈ ਸਿਰਫ਼ ਇੱਕ ਕਲਾਇੰਟ ਸਫਲ ਹੋਵੇ) ਇੱਕ **TTL** ਨਾਲ (ਇਸ ਲਈ ਜੇਕਰ ਧਾਰਕ ਕ੍ਰੈਸ਼ ਕਰਦਾ ਹੈ ਤਾਂ ਲਾਕ ਸਵੈ-ਮੁਕਤ ਹੋ ਜਾਵੇ, ਡੈਡਲਾਕ ਨੂੰ ਰੋਕ ਸਕੇ)।

## ਦੋ ਗੁরੁਤਵਪੂਰਨ ਸੁਧਾਰ ਵੇਰਵੇ

```text
1. ALWAYS set a TTL → if the lock holder crashes, the lock auto-expires
   (otherwise the resource is locked forever — a deadlock)
2. Use a UNIQUE TOKEN + release only if it matches → so you don't release
   SOMEONE ELSE'S lock (e.g. if your TTL expired and another client acquired it).
   Release must be ATOMIC (check-token-then-delete via a Lua script).
```

```lua
-- safe release: delete only if the value matches our token (atomic via Lua)
if redis.call("get", KEYS[1]) == ARGV[1] then return redis.call("del", KEYS[1]) else return 0 end
```

## ਸੀਮਾਵਾਂ ਅਤੇ Redlock

```text
⚠️ A single-Redis lock isn't perfectly safe: if the TTL expires mid-work, or with
   failover (the lock not yet replicated), two clients could both hold it.
→ REDLOCK algorithm → acquire the lock across MULTIPLE independent Redis nodes
   (majority) for stronger guarantees (though even Redlock is debated).
→ For critical correctness, combine with fencing tokens or use a system designed for
   consensus (e.g. ZooKeeper/etcd). Know the trade-offs.
```

## ਇਸ ਦਾ ਮਹੱਤਵ

Redis ਨਾਲ ਵਿਤਰਿਤ ਲਾਕ ਨੂੰ ਸਮਝਣਾ **ਵਿਤਰਿਤ ਪ্ਰਣਾਲੀਆਂ ਵਿੱਚ ਸਾਂਝੇ ਸਰੋਤਾਂ ਤੱਕ ਪਹੁੰਚ ਨੂੰ ਸਮਨ੍ਵਿਤ ਕਰਨ** ਲਈ ਕੀਮਤਵਾਨ ਹੈ, ਇਸ ਲਈ ਇਹ ਉਪਯੋਗੀ ਗਿਆਨ ਹੈ — ਅਤੇ ਸੁਧਾਰ ਦੀ ਕਮਜ਼ੋਰੀ ਨੂੰ ਸਮਝਣਾ ਖਾਸ ਅਹਿਮ ਹੈ।

ਵਿਤਰਿਤ ਲਾਕ ਇੱਕ ਅਸਲ ਲੋੜ ਨੂੰ ਪੂਰਾ ਕਰਦੇ ਹਨ: ਬਹੁ-ਸਰਵਰ ਪ੍ਰਣਾਲੀਆਂ ਵਿੱਚ ਇੱਕ ਸਮਿਤ ਪ੍ਰਕ੍ਰਿਆ/ਸਰਵਰ ਨੂੰ ਇੱਕ ਸਮੇਂ ਗੁਣਮਾਨ ਕਾਰਵਾਈ ਕਰਨ ਨਾ ਦੀਦਾ ਹੈ (ਦੁਗਣੀ ਪ੍ਰਕਿਰਿਆ, ਸਾਂਝੇ ਸਰੋਤਾਂ ਉੱਤੇ ਦੌੜ ਸ਼ਰਤ, ਜਾਂ ਟਕਰਾਓ ਕਾਰਵਾਈ ਨੂੰ ਰੋਕਦਾ ਹੈ), ਅਤੇ Redis ਇਸ ਲਈ ਇੱਕ ਆਮ ਟੂਲ ਹੈ।

**ਬੁਨਿਆਦੀ ਵਿਧੀ** ਨੂੰ ਸਮਝਣਾ — `SET key value NX EX` (atomic set-if-not-exists ਇੱਕ TTL ਨਾਲ) ਤਾਂ ਸਿਰਫ਼ ਇੱਕ ਕਲਾਇੰਟ ਲਾਕ ਹਾਸਲ ਕਰੇ ਅਤੇ ਇਹ ਕ੍ਰੈਸ਼ 'ਤੇ ਸਵੈ-ਮੁਕਤ ਹੋਵੇ — ਇੱਕ ਬੁਨਿਆਦੀ ਤਕਨੀਕ ਹੈ।

ਗੁਣਮਾਨ ਤੌਰ 'ਤੇ, **ਦੋ ਸੁਧਾਰ ਵੇਰਵਿਆਂ** ਨੂੰ ਸਮਝਣਾ ਜ਼ਰੂਰੀ ਹੈ: **ਹਮੇਸ਼ਾ TTL ਵਰਤੋਂ** (ਤਾਂ ਕਿ ਕ੍ਰੈਸ਼ ਧਾਰਕ ਦਾ ਲਾਕ ਸਵੈ-ਮਿਆਦੀ ਹੋਵੇ, ਸਥਾਈ ਡੈਡਲਾਕ ਨੂੰ ਰੋਕ ਸਕੇ) ਅਤੇ **ਮਿਲਾਨ ਕੀਤੀ ਰਿਲੀਜ਼ ਨਾਲ ਅਨੌਖੀ ਟੋਕਨ ਵਰਤੋਂ** (ਤਾਂ ਜੋ ਅਗਰ ਤੁਹਾਡੀ TTL ਮਿਆਦ ਪੂਰੀ ਹੋ ਗਈ ਹੋਵੇ ਤਾਂ ਤੁਸੀਂ ਕਿਸੇ ਹੋਰ ਕਲਾਇੰਟ ਦਾ ਲਾਕ ਬੇ-ਸੋਚ-ਸਮਝ ਮੁਕਤ ਨਾ ਕਰੋ — ਇੱਕ Lua ਸਕ੍ਰਿਪਟ ਦੁਆਰਾ atomic check-then-delete ਨਾਲ)।

ਇਹ ਵੇਰਵੇ ਉਹ ਥਾਵਾਂ ਹਨ ਜਿੱਥੇ ਅਜ਼ਮਾਈ ਪਲ ਕਾਰਜਾਂ ਵਿੱਚ ਸੂਖਮ, ਖ਼ਤਰਨਾਕ ਬੱਗ ਹਨ।

ਸਮਾਨ ਅਹਿਮ ਹੈ **ਸੀਮਾਵਾਂ** ਨੂੰ ਸਮਝਣਾ: ਇੱਕ ਸਿੰਗਲ-Redis ਲਾਕ ਬਿਲਕੁਲ ਸੁਰੱਖਤ ਨਹੀਂ ਹੈ (TTL ਮਿਆਦ ਵਿਚਕਾਰ-ਕਾਰਜ ਜਾਂ failover ਦੋ ਕਲਾਇੰਟਾਂ ਨੂੰ ਇਸ ਨੂੰ ਰੱਖਣ ਦੇ ਸਕਦੇ ਹਨ), ਜਿਸ ਨਾਲ **Redlock** ਐਲਗੋਰਿਦਮ (ਕਈ Redis ਨੋਡਾਂ ਵਿੱਚ ਹਾਸਲ) ਸਖ਼ਤ ਗਰੈਂਟੀਆਂ ਲਈ ਜ਼ਰੂਰੀ — ਅਤੇ ਜਾਂਨਤਾ ਦੀ ਲੋੜ ਹੈ ਕਿ ਮਹੱਤਵਪੂਰਨ ਸੁਧਾਰ ਲਈ, fencing ਟੋਕਨ ਜਾਂ ਸਹਿਮਤੀ ਪ੍ਰਣਾਲੀਆਂ (ZooKeeper/etcd) ਦੀ ਲੋੜ ਪੈ ਸਕਦੀ ਹੈ।

ਇਹ ਸੰਤੁਲਨ ਅਤੇ ਸੀਮਾਵਾਂ ਦੀ ਜਾਂਨਤਾ ਅਪਰਿਪੱਕੁ ਸਮਝ ਨੂੰ ਦਰਸਾਉਂਦੀ ਹੈ।

ਕਿਉਂਕਿ ਸਾਂਝੇ-ਸਰੋਤ ਪਹੁੰਚ ਨੂੰ ਵਿਤਰਿਤ ਪ੍ਰਣਾਲੀਆਂ ਵਿੱਚ ਸਮਨ୍ਵਿਤ ਕਰਨਾ ਇੱਕ ਅਸਲ ਜ਼ਰੂਰਤ ਹੈ, ਅਤੇ ਕਿਉਂਕਿ Redis ਵਿਤਰਿਤ ਲਾਕ ਆਮ ਹਨ ਪਰ ਸਾਵਧਾਨ ਸੁਧਾਰ (TTL, ਅਨੌਖੀ ਟੋਕਨ, atomic ਮੁਕਤੀ) ਅਤੇ ਸੀਮਾਵਾਂ ਦੀ ਜਾਂਨਤਾ (Redlock, failover ਖ਼ਤਰੇ) ਦੀ ਲੋੜ ਹੈ, ਵਿਤਰਿਤ ਲਾਕ ਨੂੰ Redis ਨਾਲ ਸਮਝਣਾ — ਵਿਧੀ, ਸੁਧਾਰ ਵੇਰਵਿਆਂ, ਅਤੇ ਸੀਮਾਵਾਂ — ਵਿਤਰਿਤ ਸਮਨ੍ਵਨ ਲਈ ਮੁੱਲਵਾਨ, ਵਿਹਾਰਕ-ਢੁਕਵੀਂ ਗਿਆਨ ਹੈ, ਇੱਕ ਵਿਸ਼ਾ ਜਿੱਥੇ ਕਮਜ਼ੋਰੀ ਅਤੇ ਸੰਤੁਲਨ ਨੂੰ ਸਮਝਣਾ ਬੁਨਿਆਦੀ ਤਕਨੀਕ ਦਾ ਹੀ ਮਹੱਤਵ ਅਹੀਂ ਰੱਖਦਾ ਹੈ।