Cad iad race conditions, agus conas a chuireann mutexes agus semaphores cosc orthu?

Question

IT Interview Practice · Accepted Answer

Nuair a roinneann snáitheanna iomadúla sonraí, is féidir lena n-oibríochtaí fí-fhilleadh (interleave) i lár nuashonraithe ilchéime, ag táirgeadh race condition — fabht ina mbraitheann an toradh ar uainiú dothuartha. Is é synchronization an tacar uirlisí a chuireann iallach ar ordú sábháilte.

An fhadhb: race condition

Breathnaíonn adamhach ach is léamh-mionathraigh-scríobh (read-modify-write) i ndáiríre é:

## An fhadhb: race condition

Breathnaíonn `count++` adamhach ach is léamh-mionathraigh-scríobh (read-modify-write) i ndáiríre é:

```c
// two threads, shared int count = 0, each does count++ once
// thread A: read count (0) ─┐           interleaving loses an update:
// thread B: read count (0) ─┤  both read 0, both write 1 → count == 1, not 2
// thread A: write 1         │
// thread B: write 1         ┘
```

Is é an fhuinneog idir léamh agus scríobh **rannóg chriticiúil (critical section)** — cód a bhaineann le staid roinnte agus nach mór dó gan rith go comhuaineach.

## Na huirlisí

- **Mutex (lock)** — eisiamh frithpháirteach: ní choinníonn ach snáithe amháin é ag an am; blocálann na cinn eile go dtí go scaoiltear é. Fill an rannóg chriticiúil:

```c
pthread_mutex_lock(&m);
count++;                 // rannóg chriticiúil — eisiach
pthread_mutex_unlock(&m);
```

- **Semaphore** — cuntar a cheadaíonn suas le *N* sealbhóir comhuaineach. Feidhmíonn semaphore dénártha (N=1) mar lock; cuireann semaphore comhairimh uasteorainn le, cuir i gcás, connection pool ag N úsáideoir. Úsáidtear é freisin le haghaidh **signaling** idir snáitheanna (producer/consumer).
- **Condition variable** — ligeann sé do shnáithe codladh go dtí go mbíonn preideacáit fíor (m.sh. "queue not empty"), ag dúiseacht gan busy-waiting.
- **Atomic operations** — teagaisc chrua-earraí ar nós compare-and-swap (CAS) a dhéanann read-modify-write go doroinnte, ag cumasú cuntair lock-free.

## Guaiseacha

Réitíonn locks races ach tugann siad rioscaí nua isteach: **deadlock** (snáitheanna ag fanacht ar locks a chéile), **priority inversion**, agus **contention** (déanann snáitheanna srathú, ag marú comhthreomhaireachta). An riail ordóige: coinnigh rannóga criticiúla **gearr**, agus faigh locks iomadúla i gcónaí in **ord domhanda comhsheasmhach**.

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

Tá fabhtanna comhuainíochta i measc na gcinn is deacra a aimsiú — tá siad neamhchinntitheach agus is minic a imíonn siad faoi dhífhabhtóir. Ba mhaith le hagallóirí a fheiceáil gur féidir leat rannóg chriticiúil a *aithint*, an primitive ceart a roghnú (mutex vs semaphore vs atomic), agus réasúnú faoi na móid teipe (deadlock, contention). Baineann sé seo go díreach le haon fhreastalaí ilsnáithithe, cache roinnte, nó cuntar.

An fhadhb: race condition

Na huirlisí

Guaiseacha

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

Ceisteanna gaolmhara