Eleza atomic operations, memory visibility, na memory barriers.

Question

IT Interview Practice · Accepted Answer

**Atomic operation inakamilika bila kugawanyika — hakuna thread nyingine inayoona hali ya nusu-kufanyika; memory visibility ni kama writes za thread moja zinaonekana na nyingine; memory barriers hulazimisha mpangilio ili writes hizo zionekane.** Locks siyo jambo pekee la kujali — memory model ni jambo la kujali.

## Atomicity

Atomic op (mfano `fetch_add`, compare-and-swap) inatekelezwa kama hatua moja isiyogawanyika, hivyo hakuna race inayoigawa. Hardware na lugha hutoa atomics kwa counters na flags bila lock kamili.

```java
AtomicInteger counter = new AtomicInteger();
counter.incrementAndGet();  // atomic read-modify-write, no lock
```

## Visibility na reordering

CPUs na compilers za kisasa hu-cache thamani katika registers na kupanga upya instructions kwa kasi. Hivyo write katika thread moja inaweza kukaa katika store buffer, isionekane na nyingine, na operations zinaweza kuonekana nje ya mpangilio.

```java
// Without 'volatile', thread B may loop forever:
volatile boolean ready = false;  // volatile → writes are visible + ordered
// Thread A: data = 42; ready = true;
// Thread B: while (!ready) {}  then read data
```

## Memory barriers

**Barrier** (fence) ni instruction inayozuia reordering kuvuka kwake na ku-flush/load memory, ikihakikisha mpangilio. `volatile`, `synchronized`, na atomics huingiza barriers sahihi ili uhusiano wa happens-before udumu: kile A alichoandika kabla ya kuachilia (releasing), B anakiona baada ya kuchukua (acquiring).

## Kwa nini ni muhimu

Atomicity pekee haitoshi — bila uhakikisho wa visibility thamani iliyofungwa kwa usahihi bado inaweza kusomwa ikiwa imepitwa na wakati. Hili linaeleza kwa nini `volatile` ipo, kwa nini double-checked locking ni jambo la hila, na kwa nini lock-free code inahitaji maamuzi makini ya memory-ordering. Ni tofauti kati ya "inafanya kazi kwenye mashine yangu" na sahihi kwenye hardware halisi ya multi-core.

Atomicity

Visibility na reordering

Memory barriers

Kwa nini ni muhimu

Maswali yanayohusiana