Hvordan fungerer meddelelsesrækkefølge i Kafka?

Question

Accepted Answer

Kafka garanterer **rækkefølge inden for en partition** men **ikke på tværs af partitioner** — et afgørende koncept. For at få rækkefølge for relaterede begivenheder dirigerer du dem til samme partition (via den samme nøgle). At forstå rækkefølge er vigtig for korrekthed.

## Rækkefølge pr. partition

```text
Kafka guarantees:
  ✓ ORDER WITHIN a partition → events in a partition are strictly ordered (by offset);
    consumers read them in order
  ✗ NO order ACROSS partitions → events in different partitions have no relative order
    guarantee (they're processed in parallel by different consumers)
→ this is a FUNDAMENTAL Kafka property (and a common source of misunderstanding)
```

## Få rækkefølge for relaterede begivenheder

```text
To keep RELATED events ordered → send them to the SAME partition:
  → use the SAME KEY for related events (key → hash → same partition):
    e.g. all events for orderId=5 use key=5 → same partition → ordered for that order
  → so per-entity ordering: key by the entity (userId, orderId, accountId)
→ choose the key so events that must be ordered share a partition
```

## Afvejninger og overvejelser

```text
⚠️ Ordering vs PARALLELISM → ordering within a key/partition limits parallelism for that key
  (all of one key's events are processed by one consumer, in order)
⚠️ A few things break ordering: producer retries (without idempotence + max.in.flight=1),
  adding partitions (changes key→partition mapping)
→ if you DON'T need ordering → no key (spread freely for max parallelism)
→ if you NEED ordering → key appropriately; accept the parallelism scope
```

## Hvorfor det betyder noget

At forstå meddelelsesrækkefølge i Kafka er værdifuldt, fordi **rækkefølge er et fundamentalt, almindeligt misforstået Kafka-koncept** vigtig for korrekthed, så det er væsentlig viden.

Kafkas rækkefølgegaranti er specifik og afgørende at forstå.

At forstå **rækkefølge pr. partition** — at Kafka garanterer ordre **inden for en partition** (begivenheder strengt ordnet efter offset, læst i rækkefølge) men **ikke på tværs af partitioner** (begivenheder i forskellige partitioner uden relativ orden, behandlet parallelt) — er en fundamental Kafka-egenskab og en **almindelig kilde til misforståelse** (folk antager ofte forkert global rækkefølge), så korrekt forståelse af det er væsentlig for korrekthed.

At forstå hvordan man **får rækkefølge for relaterede begivenheder** — sende dem til samme partition ved at bruge den **samme nøgle** (så relaterede begivenheder som alle begivenheder for en specifik ordre eller bruger, nøglet efter denne enhed, går til samme partition og forbliver ordnet) — er den vigtigste praktiske teknik for at opnå den rækkefølgekorrekthed, som applikationer har brug for (pr.-entitetsrækkefølge via nøgling).

At forstå **afvejninger og overvejelser** — at rækkefølge inden for en nøgle/partition **begrænser parallelisme** for denne nøgle (alle begivenheder for én nøgle behandlet af én consumer i rækkefølge), at nogle få ting bryder rækkefølgen (producentgenopretninger uden idempotens og max.in.flight=1, tilføjelse af partitioner ændrer nøgletildeling), og at du bør bruge ingen nøgle, når rækkefølge ikke er nødvendig (for maksimal parallelisme) men nøgle korrekt når det er (accepterer parallelismens omfang) — afspejler den nuancerede forståelse, der er nødvendig for at designe for korrekt rækkefølge samtidig med at balancere parallelisme.

Denne rækkefølgeviden er vigtig, fordi det at få det forkert (antage global rækkefølge eller ikke nøgle begivenheder, der har brug for rækkefølge) forårsager rigtige korrekthedsbugs.

Da rækkefølge er et fundamentalt, almindeligt misforstået Kafka-koncept (pr.-partition kun, kræver nøgler til relaterede-begivenhedsrækkefølge) vigtig for korrekthed, og da forståelse af garantien, hvordan man opnår rækkefølge via nøgler, og afvejningerne (rækkefølge vs. parallelisme) er væsentlige, er forståelse af meddelelsesrækkefølge i Kafka værdifuld, væsentlig Kafka-viden — et fundamentalt, ofte misforstået koncept afgørende for korrekthed, hvor forståelse af pr.-partitionsrækkefølge og nøglebaseret routing for relaterede begivenheder (og parallelismens trade-off) er nødvendig for at designe Kafka-systemer, der ordner begivenheder korrekt, et vigtigste koncept, som hver Kafka-bruger skal forstå nøjagtigt.