Kaj omejuje sočasnost pri obsegu? Razložite tekmovanje (contention), lažno deljenje (false sharing) in protipritisk (backpressure).

Question

IT Interview Practice · Accepted Answer

**Pri obsegu prepustnost ni omejena toliko s številom jeder kot s tekmovanjem, učinki predpomnilnika in neomejenimi vrstami — dodajanje niti čez določeno točko stvari upočasni.** Amdahlov zakon in univerzalni zakon skalabilnosti (USL) oba to napovedujeta: strošek usklajevanja sčasoma prevlada.

## Tekmovanje

Ko se veliko niti bori za en zaklep ali predpomnilniško vrstico, se serializirajo in čas porabijo za čakanje namesto za delo. Po univerzalnem zakonu skalabilnosti lahko tekmovanje in **strošek koherence** povzročita, da prepustnost *pade* čez optimalno število niti.

**Ublažitve**: razrežite/particionirajte podatke, stanje na nit (thread-local, progasti števci kot `LongAdder`), bralno-pisalni zaklepi ali strukture brez zaklepov.

## Lažno deljenje

Dve neodvisni spremenljivki, ki po naključju ležita na **isti predpomnilniški vrstici CPU**, povzročita, da jedra ob vsakem pisanju razveljavijo predpomnilnike drug drugega, čeprav se nikoli ne dotikata istih podatkov — tiha, brutalna upočasnitev.

```text
cache line (64B): [ counterA | counterB ]  ← two cores ping-pong the line
Fix: pad so each hot variable owns its own line
```

```java
@Contended long counterA;   // JVM pads to a separate cache line
```

## Protipritisk

Ko proizvajalci prehitevajo porabnike, neomejena vrsta raste, dokler ne pride do OOM, zakasnitev pa eksplodira. **Protipritisk** proizvajalcem sporoči, naj upočasnijo: omejene vrste, ki blokirajo ali zavrnejo, nadzor pretoka na osnovi kreditov ali `request(n)` iz reactive-streams.

```text
producer ──▶ [bounded queue full] ──▶ block/reject ──▶ producer slows
```

## Zakaj je to pomembno

To so učinki, ki ločujejo "deluje na 4 jedrih" od "skalira na 64". Naivne zasnove zadenejo ob zid: zaklepi serializirajo, predpomnilniške vrstice se premetavajo, vrste se napihnejo. Razrezovanje za zmanjšanje tekmovanja, oblazinjenje (padding) za odpravo lažnega deljenja in protipritisk za omejevanje vrst so vzvodi, ki ohranjajo zakasnitev in prepustnost zdravi pod resnično obremenitvijo.

Tekmovanje

Lažno deljenje

Protipritisk

Zakaj je to pomembno

Povezana vprašanja