Kas yra idempotentumas ir kodėl jis svarbus paskirstytose sistemose?

Question

Accepted Answer

**Idempotentumas** reiškia, kad operacija duoda tą patį rezultatą, nesvarbu, ar ji atliekama vieną kartą, ar kelis kartus. Tai labai svarbu paskirstytose sistemose, nes pakartojimas ir pasikartojusios žinutės yra neišvengiami — idempotentūs operacijos daro šiuos atvejus saugius.

## Kas yra idempotentumas

```text
An operation is IDEMPOTENT if doing it MULTIPLE times has the SAME effect as doing it ONCE:
  → "set balance to 100" → idempotent (same result however many times)
  → "add 100 to balance" → NOT idempotent (each call changes it → wrong if duplicated!)
→ in HTTP: GET, PUT, DELETE are idempotent; POST typically is NOT
```

## Kodėl jis svarbus paskirstytose sistemose

```text
Retries and duplicates are INEVITABLE in distributed systems:
  → a request times out → the client RETRIES → but the original may have succeeded →
    the operation runs TWICE (e.g. a payment charged twice! an order placed twice!)
  → message queues often guarantee AT-LEAST-ONCE delivery → duplicates happen
  → network issues, failures → operations get retried
→ if operations are IDEMPOTENT, duplicates/retries are SAFE (no harm from repeating)
→ this is essential for correctness and safe retries.
```

## Idempotentumą pasiekti

```text
✓ IDEMPOTENCY KEYS → client sends a unique key per operation; the server processes each
  key only ONCE (dedupe) → retries with the same key are safe (common for payments/APIs)
✓ Design operations to be naturally idempotent (set vs increment; upsert)
✓ Track processed message/request IDs → skip duplicates
✓ Make consumers handle duplicate messages safely (since queues deliver at-least-once)
```

## Kodėl tai svarbu

Supratimas apie idempotentumą yra vertingas, nes jis **itin svarbus korektumui paskirstytose sistemose**, kur pakartojimas ir pasikartojusios žinutės yra neišvengiami, todėl tai svarbi sistemos projektavimo žinias.

Idempotentumas — operacija, kuri duoda tą patį rezultatą, nesvarbu, ar atliekama vieną kartą, ar daug kartų — yra itin svarbus, nes paskirstytose sistemose **pakartojimas ir pasikartojusios žinutės yra neišvengiami**: užklausa gali baigti skirtingo ir būti pakartota, nors originalus prašymas jau buvo sėkmingai atliktas (operacija atliekama du kartus — potencialiai du kartus išskaitant mokėjimą ar dvigubai padedant užsakymą!), žinučių eilutės dažnai garantuoja bent vieną kartą pristatyti (sukeliant pasikartojimas), ir tinklo problemos sukelia pakartojimus.

Jei operacijos yra **idempotentūs, šie pasikartojimas ir pakartojimas yra saugūs** (pakartojimas nesukelia žalos), kurie yra itin svarbi teisingumui — ir supratimas apie tai yra svarbi įžvalga kuriant patikimu paskirstytas sistemas.

Supratimas apie skirtumą ("nustatyti balanso į 100" yra idempotentus; "pridėti 100" nėra — kritinis skirtumas, nes ne-idempotentus versija duoda neteisingus rezultatus, kai pasikartoja) ir kurie HTTP metodai yra idempotentūs (GET, PUT, DELETE ir POST) išaiškina šią koncepciją.

Supratimas, kaip **pasiekti idempotentumą** — naudojant **idempotentumą raktus** (klientai siunčia unikalią raktą per operaciją, kurą serveris apdoroja tik vieną kartą, pašalindamas pasikartojimus — dažnas, svarbi šablonas mokėjimams ir API), suprojektuojant natūraliai idempotentūs operacijas (nustatyti vs pasaulinė, upsert), stebint apdorotas užklausas / žinučių ID pašalinti pasikartojimams ir daryti vartotojus valdyti pasikartojusias žinutės saugiai — yra itin svarbi praktinė žinias saugiems pakartojimams ir teisingoms paskirstytoms sistemoms.

Kadangi pakartojimas ir pasikartojimas yra neišvengiami paskirstytose sistemose, ir idempotentumas daro juos saugius (nutrūkdydamas rimtus korektumą klaidų, tokias kaip dviguba išskaita, kurias kitu atveju sukelia pasikartojimas), ir kadangi idempotentumą ir kaip jį pasiekti (idempotentumą raktai, natūraliai idempotentus projektavimas) supratimas yra itin svarbus teisingų paskirstytų sistemų, supratimas apie idempotentumą yra vertingas, praktiškai svarbi sistemos projektavimo žinias — itin svarbi korektumui paskirstytose sistemose, kuriose pakartojimas ir pasikartojimas yra neišvengiami, nutrūkdydamas rimtus klaidų, tokias kaip dvigubas apdorojimas, ir svarbi koncepcija (ypač idempotentumą raktai) kuriant patikimu sistemų su saugiu pakartojimais.