tursodatabase/turso

Page modification safety property in the simulator

Open

#4240 aperta il 16 dic 2025

Vedi su GitHub
 (1 commento) (0 reazioni) (0 assegnatari)Rust (1001 fork)github user discovery
enhancementhelp wantedsimulator

Metriche repository

Star
 (19.103 star)
Metriche merge PR
 (Metriche PR in attesa)

Descrizione

We had some nasty bugs where page was marked dirty after they were modified:

https://github.com/tursodatabase/turso/pull/4231

https://github.com/tursodatabase/turso/pull/4232

Let's extend the simulator to detect these types of cases. For example, we can calculate a page content hash when we load the page from disk. We can then in add_dirty verify that the hash is unchanged; otherwise someone changed the page without first marking it as dirty. We can make the simulator use the hashes to verify things like rollback safety.

Guida contributor

Direzione di ricerca
Implementare un hash del contenuto della pagina quando la si carica dal disco e verificarlo in add dirty per rilevare modifiche prima di contrassegnarla come sporca.
Tech stack
rust
Dominio
database
Tipo issue
Funzionalità
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
Mezza giornata
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
RustGit
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
30