Shpjego operacionet atomike, memory visibility dhe memory barriers.

Question

IT Interview Practice · Accepted Answer

**Një operacion atomik përfundon në mënyrë të pandashme — asnjë thread tjetër s'sheh një gjendje gjysmë të bërë; memory visibility është nëse shkrimet e një thread-i shihen nga një tjetër; memory barriers zbatojnë rendin që ato shkrime të bëhen të dukshme.** Lock-et s'janë shqetësimi i vetëm — memory model është.

## Atomiciteti

Një op atomik (p.sh. `fetch_add`, compare-and-swap) ekzekutohet si një hap i vetëm i pandashëm, kështu që asnjë race s'e ndan. Hardware dhe gjuha ofrojnë atomics për counters dhe flags pa një lock të plotë.

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

## Visibility dhe reordering

CPU-të dhe compilers modernë i ruajnë vlerat në registers dhe i riorganizojnë instruksionet për shpejtësi. Kështu një shkrim në një thread mund të qëndrojë në një store buffer, i padukshëm për të tjerët, dhe operacionet mund të duken jashtë rendit.

```java
// Pa 'volatile', thread B mund të bëjë loop përgjithmonë:
volatile boolean ready = false;  // volatile → shkrimet janë të dukshme + të renditura
// Thread A: data = 42; ready = true;
// Thread B: while (!ready) {}  pastaj lexo data
```

## Memory barriers

Një **barrier** (fence) është një instruksion që parandalon reordering-un përgjatë tij dhe flush/load memorien, duke garantuar rendin. `volatile`, `synchronized` dhe atomics fusin barriers-at e duhur që një marrëdhënie happens-before të mbahet: çfarë A shkroi para lëshimit, B e sheh pas marrjes.

## Pse ka rëndësi

Atomiciteti vetëm s'mjafton — pa garanci visibility një vlerë e kyçur saktë mund të lexohet ende e vjetruar. Kjo shpjegon pse ekziston `volatile`, pse double-checked locking është delikate, dhe pse kodi lock-free ka nevojë për zgjedhje të kujdesshme memory-ordering. Është dallimi mes "punon në makinën time" dhe korrekt në hardware real multi-core.

Atomiciteti

Visibility dhe reordering

Memory barriers

Pse ka rëndësi

Pyetje të ngjashme