andrea bozzo / personal home page

← Tutti i progetti

projects / iceberg-stale-base-repro

Rust · Apache Iceberg · Transactions

Iceberg stale-base reproduction

Una piccola riproduzione di un problema importante nella semantica dei commit.

Un programma Rust minimale mostra come una transazione iceberg-rust possa fare commit dopo aver sostituito lo stato su cui il chiamante aveva verificato una precondizione.

Aggiornato da fonti pubbliche ·

Due writer, un’epoca duplicata

Il writer A verifica che un’epoca non sia stata applicata. B la registra. La transazione di A ricarica la nuova base e fa comunque commit, creando un duplicato. La riproduzione isola il comportamento senza Arrow, Parquet o file di dati.

Rendere riproducibile l’ipotesi fallita

Il rebase è valido per un append incondizionato; il problema è esprimere una precondizione del chiamante da un crate esterno. Questo repository di settembre accompagna l’esperimento sul controllo di qualità dentro un commit idempotente.