Spjega l-operazzjonijiet atomiċi, il-memory visibility, u l-memory barriers.

Question

IT Interview Practice · Accepted Answer

**Operazzjoni atomika titlesta b'mod indiviżibbli — l-ebda thread ieħor ma jara stat nofsu lest; il-memory visibility hija jekk il-writes ta' thread jidhrux minn ieħor; il-memory barriers jinfurzaw l-ordni biex dawk il-writes isiru viżibbli.** Il-locks mhumiex l-uniku tħassib — il-memory model huwa.

## Atomiċità

Operazzjoni atomika (eż. `fetch_add`, compare-and-swap) teżegwixxi bħala pass wieħed indiviżibbli, għalhekk l-ebda race ma taqsamha. Il-hardware u l-lingwaġġ jipprovdu atomics għal counters u flags mingħajr lock sħiħ.

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

## Viżibbiltà u reordering

Is-CPUs u l-compilers moderni jikkaċċjaw valuri f'registers u jerġgħu jordnaw l-istruzzjonijiet għall-veloċità. Għalhekk write fi thread wieħed jista' jibqa' fi store buffer, inviżibbli għall-oħrajn, u l-operazzjonijiet jistgħu jidhru barra mill-ordni.

```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) hija istruzzjoni li tipprevjeni r-reordering minn naħa għall-oħra tagħha u tiflaxxja/tgħabbi l-memorja, u tiggarantixxi l-ordni. `volatile`, `synchronized`, u l-atomics jdaħħlu l-barriers it-tajba biex tinżamm relazzjoni happens-before: dak li kiteb A qabel ir-release, B jarah wara l-acquire.

## Għaliex huwa importanti

L-atomiċità waħedha mhix biżżejjed — mingħajr garanziji ta' viżibbiltà valur illokkjat b'mod korrett xorta jista' jinqara qadim. Dan jispjega għaliex jeżisti `volatile`, għaliex id-double-checked locking huwa sottili, u għaliex il-kodiċi lock-free jeħtieġ għażliet ta' memory-ordering attenti. Huwa d-differenza bejn "jaħdem fuq il-magna tiegħi" u korrett fuq hardware multi-core reali.

Atomiċità

Viżibbiltà u reordering

Memory barriers

Għaliex huwa importanti

Mistoqsijiet relatati