How to Write to SSDs

Questo articolo dimostra che l'adozione di scritture fuori luogo (out-of-place) è fondamentale per massimizzare le prestazioni e prolungare la durata degli SSD nei sistemi di database, proponendo un redesign di LeanStore che riduce significativamente l'amplificazione delle scritture e migliora il throughput rispetto alle tradizionali scritture in luogo.

L'essenziale

Immagina il tuo database come una biblioteca gigantesca e l'SSD (il disco rigido moderno) come il magazzino dove vengono archiviati i libri.

Per anni, le biblioteche hanno gestito i loro archivi pensando che i magazzini fossero vecchi depositi di terra battuta (i vecchi hard disk). Ma oggi i magazzini sono robotizzati e veloci, ma hanno una regola ferrea: non possono riscrivere su una pagina già scritta. Se vuoi aggiornare un libro, devi prenderlo, scriverne una nuova copia su un foglio bianco e spostarlo in un nuovo scaffale. La vecchia copia diventa "spazzatura" che va rimossa più tardi.

Il problema? La maggior parte delle biblioteche (i database attuali) continua a comportarsi come se potesse cancellare e riscrivere direttamente sul vecchio foglio. Quando provano a farlo su un magazzino robotizzato, creano un caos incredibile:

1. Doppio lavoro: Per sicurezza, scrivono il libro due volte (una copia di backup e quella finale).
2. Caos negli scaffali: Quando il magazzino deve fare pulizia (cancellare le vecchie copie), deve spostare metà dei libri ancora validi per liberare spazio, creando un traffico enorme.
3. Vita breve: Questo traffico eccessivo consuma la vita del magazzino molto più velocemente del previsto.

Gli autori di questo paper, Bohyun Lee, Tobias Ziegler e Viktor Leis, dicono: "Basta! Dobbiamo cambiare il modo in cui scriviamo."

Ecco la loro soluzione, spiegata con analogie semplici:

1. Smetti di riscrivere, inizia a spostare (Scrittura "Out-of-Place")

Invece di cercare di cancellare e riscrivere nello stesso punto (come se cercassi di cancellare un foglio di carta con una gomma), il nuovo sistema dice: "Scrivi la nuova versione del libro su un foglio nuovo e mettilo nello scaffale più vicino libero."

• Il vantaggio: Non perdi tempo a cancellare. Il vecchio libro rimane lì finché non è sicuro che la nuova copia è al sicuro. Questo elimina subito metà del lavoro inutile.

2. Impacchettamento intelligente (Compressione e "Page Packing")

Immagina di dover spedire delle scatole. Se le lasci aperte, occupano molto spazio.

• Compressione: Il sistema comprime i libri (come se li mettesse in un sacchetto sottovuoto) per occupare meno spazio.
• Impacchettamento: Il problema è che se le scatole sono di dimensioni diverse, ne rimangono degli spazi vuoti tra una e l'altra. Il nuovo sistema usa un algoritmo geniale per incastrare le scatole compresse in modo che ogni "pallet" (un blocco di 4KB) sia pieno e ordinato. Così, quando il magazziniere deve prendere un libro, lo trova tutto intero in un unico movimento veloce, senza dover cercare tra gli spazi vuoti.

3. Il "Calendario della Morte" (Deathtime-Based GC)

Questa è la parte più intelligente. Immagina che ogni libro abbia un'etichetta che dice: "Questo libro sarà aggiornato tra 1 ora" oppure "Questo libro sarà aggiornato tra 10 anni".

• Il vecchio modo: Il magazziniere raccoglie libri a caso. Se prende un libro che dura 10 anni e uno che dura 1 ora, quando quello da 1 ora diventa vecchio, deve spostare anche quello da 10 anni per fare pulizia. È inefficiente.
• Il nuovo modo (GDT): Il sistema raggruppa i libri che "moriranno" (verranno aggiornati) nello stesso momento. Mette tutti i libri che scadono tra 1 ora in un armadio A, e quelli che scadono tra 10 anni in un armadio B.
• Il risultato: Quando arriva il momento di pulire l'armadio A, tutti i libri sono vecchi. Non c'è bisogno di spostare nulla. Si cancella tutto e si ricomincia. Nessuno spreco.

4. Parlare la lingua del magazzino (ZNS e FDP)

I magazzini moderni (SSD) hanno iniziato a parlare una nuova lingua per dire alla biblioteca come organizzarsi.

• ZNS (Zoned Namespace): È come se il magazzino dicesse: "Ehi, ho 100 zone. Se mi dai i libri in ordine sequenziale per zona, non devo fare nulla per pulire, tu gestisci tu l'ordine." Il nuovo sistema parla perfettamente questa lingua.
• FDP (Flexible Data Placement): È come se il magazzino dicesse: "Se mi dici esattamente in quale scaffale mettere questo libro, lo metto subito senza spostare nulla." Il nuovo sistema usa queste indicazioni per evitare completamente il traffico interno.

I Risultati: Perché dovresti preoccupartene?

Gli autori hanno testato questo sistema (chiamato ZLeanStore) su scenari reali, come banche o e-commerce che gestiscono milioni di transazioni.

• Velocità: Il sistema è diventato da 1,6 a 2,2 volte più veloce. È come se la biblioteca potesse servire il doppio dei clienti nello stesso tempo.
• Durata: Hanno ridotto la quantità di "scrittura fisica" sui dischi di 6 a 9 volte.
  • Analogia: Se il vecchio sistema faceva camminare il magazziniere per 100 km al giorno, il nuovo sistema lo fa camminare solo 10 km. Il magazzino durerà molto più a lungo prima di rompersi.
• Risparmio: Meno lavoro significa meno elettricità consumata e meno costi per sostituire i dischi rotti.

In sintesi

Questo paper ci insegna che per sfruttare al massimo la tecnologia moderna, non basta avere hardware veloce; bisogna anche cambiare il "modo di pensare" del software. Smettendo di comportarsi come se fossero su vecchi dischi lenti e adottando strategie di spostamento intelligente, impacchettamento e pianificazione temporale, i database possono diventare più veloci, durare di più e costare meno.

È come passare da un sistema di archiviazione caotico e manuale a un sistema robotizzato e perfettamente orchestrato, dove ogni movimento ha uno scopo preciso e nessuno spreca energia.

Sommario tecnico

Ecco un riassunto tecnico dettagliato del paper "How to Write to SSDs" (Versione estesa presentata a PVLDB 2026), basato sul documento fornito.

1. Il Problema: Amplificazione delle Scritture e Limiti degli SSD

Il paper identifica un problema critico nei moderni sistemi di gestione di database (DBMS): la maggior parte delle ottimizzazioni per gli SSD si concentra sulle letture o sull'architettura interna, ignorando come i DBMS scrivono effettivamente sui dispositivi.

• Amplificazione delle Scritture (Write Amplification - WA): Gli SSD hanno una durata limitata basata sul numero di cicli di cancellazione/scrittura. Quando un DBMS scrive dati, la quantità fisica di dati scritti sulla memoria flash è spesso molto superiore ai dati logici richiesti dall'utente.
• Causa Radicale: Il paper dimostra che l'amplificazione è un fenomeno multi-livello:
  1. Livello DBMS: I sistemi tradizionali (come MySQL e PostgreSQL) utilizzano scritture "in-place" (sovrascrittura nello stesso indirizzo fisico) che richiedono un Doublewrite Buffer (DWB) per garantire la durabilità in caso di crash, raddoppiando le scritture logiche.
  2. Livello SSD: Gli SSD interni eseguono la Garbage Collection (GC). Poiché cancellano blocchi interi ma scrivono a livello di pagina, devono spostare pagine valide prima di cancellare un blocco, generando ulteriore scrittura fisica.
• Conseguenza: La combinazione di questi due livelli porta a un Total WAF (Write Amplification Factor) multiplicative (es. DB WAF × SSD WAF). In scenari reali, questo può ridurre drasticamente la vita utile dell'SSD (es. da 5 anni a 1,5 mesi) e degradare le prestazioni.

2. Metodologia e Proposta: ZLeanStore

Gli autori propongono un cambio di paradigma fondamentale: passare dalle scritture in-place alle scritture out-of-place (OOP) all'interno del DBMS, e coordinare tale cambiamento con le ottimizzazioni a livello di SSD.
Hanno implementato queste idee modificando LeanStore, un motore di storage basato su B-tree, creando ZLeanStore.

Le Ottimizzazioni Chiave

La soluzione si basa su una serie di ottimizzazioni combinate che agiscono su entrambi i livelli:

1. Scritture Out-of-Place:

   • Rimuove la necessità di sovrascrivere pagine a indirizzi fissi.
   • Elimina il Doublewrite Buffer (DWB), riducendo immediatamente le scritture logiche del DBMS del 50%.
   • Permette al DBMS di raggruppare e posizionare le scritture in modo flessibile.

2. Compressione e Page Packing (Livello DB):

   • Compressione: Comprime le pagine (4 KiB) prima di scriverle. Poiché le pagine compresse hanno dimensioni variabili (< 4 KiB), le scritture in-place creerebbero allineamenti inefficienti.
   • Page Packing: Con le scritture OOP, le pagine compresse vengono "impacchettate" in slot di 4 KiB allineati. Questo garantisce che ogni lettura di una pagina richieda un'unica I/O di 4 KiB, evitando l'amplificazione delle letture (Read Amplification) che si verificherebbe con pagine non allineate.

3. Garbage Collection Basata sul "Deathtime" (GDT):

   • Sfrutta la semantica del database per stimare quando una pagina diventerà obsoleta (il suo "tempo di morte" o deathtime).
   • Le pagine con tempi di morte simili vengono raggruppate nella stessa zona di storage.
   • Questo riduce drasticamente la percentuale di pagine valide nei blocchi selezionati per la GC, minimizzando la necessità di copiare dati durante la pulizia.

4. Ottimizzazioni a Livello SSD (Adattive):

   • Supporto ZNS (Zoned Namespace): Il design si integra nativamente con gli SSD ZNS, garantendo un SSD WAF = 1 (nessuna amplificazione interna) poiché la GC è gestita interamente dal DBMS.
   • Allineamento Unità GC: Per gli SSD standard, il DBMS allinea la dimensione della sua unità di GC (zona) con l'unità di cancellazione interna dell'SSD (Reclaim Unit). Questo impedisce che pagine con tempi di morte diversi vengano mescolate nello stesso blocco fisico.
   • Pattern NoWA (No Write Amplification): Per gli SSD commerciali senza supporto ZNS o FDP, viene introdotto un pattern di scrittura che garantisce un SSD WAF = 1 anche a piena capacità. Questo si ottiene gestendo l'apertura delle zone e bilanciando le frequenze di invalidazione per evitare che l'SSD debba riscrivere blocchi parzialmente validi.
   • FDP (Flexible Data Placement): Per gli SSD che supportano FDP, il DBMS fornisce "hint" di posizionamento per evitare il multiplexing delle scritture, ottenendo direttamente un WAF = 1.

3. Risultati Sperimentali

Il paper presenta valutazioni su diversi benchmark (YCSB-A, TPC-C), dimensioni di dataset e hardware (SSD enterprise di vari vendor come Samsung, Micron, Kioxia, Solidigm).

• Riduzione dell'Amplificazione:

  • Su YCSB-A, la configurazione proposta riduce le scritture flash per transazione di 6,2x - 9,8x rispetto a LeanStore in-place.
    Il Total WAF scende da valori tipici di 4,7 (in-place) a valori vicini a 0,6 (out-of-place + tutte le ottimizzazioni).
  • Su TPC-C (15.000 magazzini), le scritture flash diminuiscono di 7,2x.

• Prestazioni (Throughput):

  • Il throughput migliora significativamente grazie alla riduzione dell'I/O fisico e della latenza.
  • Su YCSB-A: aumento del throughput di 1,65x - 2,24x.
  • Su TPC-C: aumento del throughput di 2,45x.

• Durata dell'SSD:

  • La riduzione delle scritture fisiche estende direttamente la vita utile dell'SSD. In un esperimento, un SSD che avrebbe raggiunto il limite di durata in 1,5 mesi con il sistema in-place, dura molto più a lungo con ZLeanStore.

• Compatibilità:

  • Il sistema funziona efficacemente su SSD standard, ZNS e FDP, adattando le strategie di scrittura in base alle capacità del dispositivo.

4. Contributi Chiave

1. Dimostrazione della Necessità delle Scritture Out-of-Place: Il paper prova che senza passare alle scritture OOP, è impossibile ottimizzare efficacemente le prestazioni e la durata degli SSD moderni.
2. Co-design DBMS-SSD: Propone che il DBMS, avendo la massima conoscenza del carico di lavoro (hot/cold data patterns), deve coordinare le scritture per minimizzare l'amplificazione totale, invece di delegare tutto al firmware dell'SSD o al filesystem.
3. Tecniche di Ottimizzazione Cross-Layer: Introduce un set completo di tecniche (Compressione, Page Packing, GDT, NoWA, Allineamento GC) che lavorano sinergicamente.
4. Implementazione Pratica: La modifica di LeanStore dimostra che queste ottimizzazioni possono essere implementate con modifiche ragionevoli ai componenti superiori del motore di storage (buffer pool, logging, struttura degli indici).

5. Significato e Impatto

Questo lavoro è significativo perché sfida l'assunzione tradizionale secondo cui la gestione delle scritture degli SSD è responsabilità esclusiva del dispositivo o del filesystem.

• Cambiamento di Paradigma: Sposta la responsabilità dell'ottimizzazione della Write Amplification al livello del DBMS, dove risiede la conoscenza semantica dei dati.
• Efficienza Energetica e Ambientale: Riducendo le scritture flash, si riduce il consumo energetico e l'impronta di carbonio per operazione.
• Flessibilità: Le tecniche proposte sono applicabili non solo agli SSD ZNS (che sono ancora di nicchia), ma anche agli SSD commerciali standard, rendendo i benefici accessibili a un'ampia gamma di infrastrutture esistenti.
• Rilevanza Futura: Il lavoro fornisce linee guida per l'interazione tra DBMS e nuove interfacce SSD (ZNS, FDP) e suggerisce che anche i sistemi basati su dischi tradizionali o SMR potrebbero beneficiare di queste strategie di scrittura sequenziale e out-of-place.

In sintesi, il paper dimostra che un'architettura di database progettata specificamente per le caratteristiche di scrittura degli SSD (out-of-place, aware della GC) può rivoluzionare le prestazioni e la longevità dei sistemi di storage moderni.