Cad is ríomhchlárú lock-free agus CAS ann? Mínigh fadhb ABA agus cathain a úsáidtear é.

Question

IT Interview Practice · Accepted Answer

**Comhordaíonn ríomhchlárú lock-free snáitheanna gan mutexes, ag baint úsáide as lúba adamhacha compare-and-swap (CAS) ionas go ndéanann snáithe amháin ar a laghad dul chun cinn i gcónaí fiú má stopann cinn eile.** Ní féidir snáithe a bhac ag ceann eile a shealbhaíonn glas.

## CAS

Socraíonn **compare-and-swap** suíomh go hadamhach chuig luach nua ach amháin má tá an seanluach a bhíothas ag súil leis fós aige; mura bhfuil, teipeann air agus déanann tú atriail. Is é an primitive taobh thiar de chruacha, scuainí, agus cuntair lock-free.

```text
CAS(addr, expected, new):
  if *addr == expected: *addr = new; return true   # atomic, indivisible
  else: return false
```

```java
// Lock-free increment via CAS retry loop
int old, next;
do {
    old  = value.get();
    next = old + 1;
} while (!value.compareAndSet(old, next));  // retry if someone else won
```

## Fadhb ABA

Ní sheiceálann CAS ach go bhfuil an luach fós ar an gceann a bhíothas ag súil leis — ní go bhfuil sé gan athrú riamh. Má chuaigh sé A → B → A idir do léamh agus CAS, éiríonn leis an CAS ach bhog an domhan fút (m.sh. nód a saoradh agus a athúsáideadh).

```text
Thread 1: read A ............... CAS(A→X) succeeds ✗ (but list changed!)
Thread 2:      pop A, push B, push A again
```

**Réiteach**: péir an pointeoir le cuntar leagain (`AtomicStampedReference`, pointeoirí clibeáilte) ionas go bhfuil A-le-clib-1 ≠ A-le-clib-2, nó úsáid hazard pointers / epoch reclamation le haghaidh sábháilteachta cuimhne.

## Cathain a úsáidtear é

- **Úsáid** é do staid roinnte the, mhínghráinneach (cuntair, scuainí aon-tháirgeora) ina bhfuil coimhlint glais i réim, nó nuair nach mór do shnáithe gan bac riamh (fíor-am, láimhseálaithe comharthaí).
- **Seachain** é mar réamhshocrú: tá sé deacair a fháil ceart, éasca fabhtanna ABA agus ord-cuimhne a thabhairt isteach, agus is minic nach bhfuil sé níos tapúla ná mutex maith faoi choimhlint íseal.

## Cén fáth a bhfuil sé tábhachtach

Tugann struchtúir lock-free ráthaíochtaí dul chun cinn agus seachnaíonn siad deadlock agus inbhéartú tosaíochta, ach tá an bharra cruinnis ard. Léiríonn eolas ar CAS, ABA, agus ar fhadhb an athéilimh gur féidir leat réasúnaíocht a dhéanamh ag leibhéal na samhla cuimhne — agus, rud atá ríthábhachtach, fios a bheith agat cathain *nach* ndéanfá é a úsáid.

CAS

Fadhb ABA

Cathain a úsáidtear é

Cén fáth a bhfuil sé tábhachtach

Ceisteanna gaolmhara