Leveringsemantikk

Leveringsemantikk er et begrep som beskriver hvilke garantier som gjelder for levering av data eller meldinger mellom komponenter i et distribuert system. Målet er å angi hva som skjer ved feil, duplisering eller uteblitt levering, slik at systemdesignere kan velge passende løsninger for pålitelighet og ytelse.

De vanligste leveringsegnskapene er at-most-once, at-least-once og exactly-once. At-most-once kan innebære at meldinger går tapt, mens at-least-once lover levering minst én gang, ofte med dupliserte meldinger. Exactly-once garanterer at hver melding mottas og behandles én gang, men kan være kostbart å oppnå i praksis og kreve spesifikke mekanismer for deduplisering og transaksjonshåndtering.

For å implementere leveringssikkerhet bruker systemer mekanismer som bekreftelser (ACK/NACK), idempotente behandlinger, deduplisering og bruk av sekvensnumre eller offsets for å oppdage og håndtere duplikater eller feil i rekkefølge. I strømme- og købaserte systemer er det vanlig å lagre posisjoner (offset) eller bruke idempotente operasjoner for å sikre konsekvent behandling av data over tid.

Typiske anvendelser inkluderer meldingskøer som RabbitMQ og AWS SQS, samt strømningssystemer som Apache Kafka og Apache Pulsar. Leveringsemantikk påvirker designvalg som feilhåndtering, transaksjonsgrenser og skalerbarhet i mikrotjenestearkitekturer.

Utfordringene inkluderer at nøyaktig-en-gang-levering ofte medfører høyere latency og større kompleksitet i distribuerte miljøer. Designbeslutninger balanserer krav til konsistens, ytelse og felter som idempotent behandling og deduplisering.