serializable snapshot isolation in postgresql 9.1
DESCRIPTION
Storicamente PostgreSQL fornisce il livello di isolamento "serializable" attraverso Snapshot Isolation, lasciando quindi la possibilità che si verifichino situazioni anomale quando due transazioni dipendono l'una dal risultato dell'altra. A partire dalla versione 9.1 PostgreSQL introduce la possibilità di pensare l'accesso al database come se le transazioni concorrenti fossero realmente eseguite in sequenza, usando il Serializable Snapshot Isolation (SSI). In questo intervento si descriverà brevemente come funziona il nuovo livello di isolamento e come trarre vantaggio dalla sua robustezza e velocità.TRANSCRIPT
![Page 1: Serializable Snapshot Isolation in PostgreSQL 9.1](https://reader033.vdocuments.mx/reader033/viewer/2022052410/549231c1b4795927058b5710/html5/thumbnails/1.jpg)
Marco Nenciarini – [email protected] - ITPUG.org
PGDay.IT 2011Monash University Prato Centre
Venerdì 25 Novembre 2011
Serializable Snapshot Isolation (SSI)in PostgreSQL 9.1
Marco NenciariniItalian PostgreSQL Users Group
www.itpug.orgwww.postgresql.org
![Page 2: Serializable Snapshot Isolation in PostgreSQL 9.1](https://reader033.vdocuments.mx/reader033/viewer/2022052410/549231c1b4795927058b5710/html5/thumbnails/2.jpg)
Marco Nenciarini – [email protected] - ITPUG.org
PGDay.IT 2011Monash University Prato Centre
Venerdì 25 Novembre 2011
Chi sono?• DBA, sviluppatore e sysadmin presso 2ndQuadrant
– Database OLTP business critical– Data warehousing
• Membro della comunità di PostgreSQL– Co-Fondatore di ITPUG
• Debian Developer
![Page 3: Serializable Snapshot Isolation in PostgreSQL 9.1](https://reader033.vdocuments.mx/reader033/viewer/2022052410/549231c1b4795927058b5710/html5/thumbnails/3.jpg)
Marco Nenciarini – [email protected] - ITPUG.org
PGDay.IT 2011Monash University Prato Centre
Venerdì 25 Novembre 2011
Sommario• Le transazioni e i livelli di isolamento• A cosa servono le transazioni serializzabili?• Transazioni serializzabili prima della 9.1• Anomalie• Un nuovo approccio: Serializable Snapshot Isolation• Conclusioni
![Page 4: Serializable Snapshot Isolation in PostgreSQL 9.1](https://reader033.vdocuments.mx/reader033/viewer/2022052410/549231c1b4795927058b5710/html5/thumbnails/4.jpg)
Marco Nenciarini – [email protected] - ITPUG.org
PGDay.IT 2011Monash University Prato Centre
Venerdì 25 Novembre 2011
Transazioni• Sequenza di operazioni eseguita in maniera atomica• Proprietà ACID
– AtomicitàIndivisibile, o tutto o niente
– CoerenzaIntegrità dei dati
– IsolamentoConcorrenza con altre transazioni
– DurabilitàPersistenza dei dati
![Page 5: Serializable Snapshot Isolation in PostgreSQL 9.1](https://reader033.vdocuments.mx/reader033/viewer/2022052410/549231c1b4795927058b5710/html5/thumbnails/5.jpg)
Marco Nenciarini – [email protected] - ITPUG.org
PGDay.IT 2011Monash University Prato Centre
Venerdì 25 Novembre 2011
Isolamento• Sono previsti 4 livelli di isolamento
– Read uncommittednessun isolamento, può leggere da transazioni che saranno annullate (dirty read)
– Read committedletture successive della stessa riga possono ritornare valori differenti(non repeatable read)
– Repeatable readletture successive della stessa riga sono coerenti, ma la stessa query eseguita due volte potrebbe ritornare dati diversi (phantom read)
– Serializable
![Page 6: Serializable Snapshot Isolation in PostgreSQL 9.1](https://reader033.vdocuments.mx/reader033/viewer/2022052410/549231c1b4795927058b5710/html5/thumbnails/6.jpg)
Marco Nenciarini – [email protected] - ITPUG.org
PGDay.IT 2011Monash University Prato Centre
Venerdì 25 Novembre 2011
Transazioni SerializzabiliSe due o più transazioni vengono eseguite in maniera concorrente deve esistere una sequenza di esecuzione che porti allo stesso risultato
• Il programmatore si deve assicurare solo che la transazione esegua le operazioni corrette
• Il database garantisce che non ci saranno problemi di concorrenza
![Page 7: Serializable Snapshot Isolation in PostgreSQL 9.1](https://reader033.vdocuments.mx/reader033/viewer/2022052410/549231c1b4795927058b5710/html5/thumbnails/7.jpg)
Marco Nenciarini – [email protected] - ITPUG.org
PGDay.IT 2011Monash University Prato Centre
Venerdì 25 Novembre 2011
In pratica nei database• Strong Strict Two Phase Locking (SS2PL)
– Lock fino al commit su ogni oggetto coinvolto – Costoso– Deadlock– Database proprietari, no in PostgreSQL
• Snapshot Isolation (SI)– Non garantisce la serializzabilità– Nella maggior parte dei casi è sufficiente– PostgreSQL, Oracle, Microsoft SQL Server
![Page 8: Serializable Snapshot Isolation in PostgreSQL 9.1](https://reader033.vdocuments.mx/reader033/viewer/2022052410/549231c1b4795927058b5710/html5/thumbnails/8.jpg)
Marco Nenciarini – [email protected] - ITPUG.org
PGDay.IT 2011Monash University Prato Centre
Venerdì 25 Novembre 2011
Snapshot Isolation• Accede a un'istantanea (snapshot) del database
– MultiVersion Concurrency Control (MVCC)
• Veloce e poco costoso• Non è permesso modificare alcun valore che sia stato
cambiato in un'altra transazione concorrente– Chi primo arriva...
![Page 9: Serializable Snapshot Isolation in PostgreSQL 9.1](https://reader033.vdocuments.mx/reader033/viewer/2022052410/549231c1b4795927058b5710/html5/thumbnails/9.jpg)
Marco Nenciarini – [email protected] - ITPUG.org
PGDay.IT 2011Monash University Prato Centre
Venerdì 25 Novembre 2011
Vantaggi e svantaggi di Snapshot Isolation• Letture non attendono mai, non bloccano le scritture• Evita tutti i tipi di anomalie viste fino ad ora
– Dirty read– Non repetable read– Phantom read
• Facilmente comprensibile– Transazioni concorrenti non si vedono fra loro
• Svantaggio: Anomalie– Alcune esecuzioni non possono essere serializzate
![Page 10: Serializable Snapshot Isolation in PostgreSQL 9.1](https://reader033.vdocuments.mx/reader033/viewer/2022052410/549231c1b4795927058b5710/html5/thumbnails/10.jpg)
Marco Nenciarini – [email protected] - ITPUG.org
PGDay.IT 2011Monash University Prato Centre
Venerdì 25 Novembre 2011
Anomalie in Snapshot Isolation• Ci sono insiemi di transazioni per cui qualsiasi esecuzione
è serializzabile– Esempio: transazioni eseguite dal benchmark TPC-C (OLTP)
• Snaphot Isolation può dare luogo a anomalie quando esiste un sottoinsieme di transazioni in cui ognuna modifica qualcosa nell'insieme di dati letti dalle altre– Vincoli di integrità non dichiarati esplicitamente nel database
possono essere violati (write skew)– Abbastanza raro nella pratica
![Page 11: Serializable Snapshot Isolation in PostgreSQL 9.1](https://reader033.vdocuments.mx/reader033/viewer/2022052410/549231c1b4795927058b5710/html5/thumbnails/11.jpg)
Marco Nenciarini – [email protected] - ITPUG.org
PGDay.IT 2011Monash University Prato Centre
Venerdì 25 Novembre 2011
Esempio: Bianco e Nero
-- Crea una tabella che contiene punti colorati
CREATE TABLE punti (id int PRIMARY KEY, colore text);
-- 10 punti. Bianchi i pari, neri i dispari
INSERT INTO punti WITH x(id) AS (SELECT generate_series(1,10)) SELECT id, CASE WHEN id % 2 = 0 THEN 'bianco' ELSE 'nero' END FROM x;
![Page 12: Serializable Snapshot Isolation in PostgreSQL 9.1](https://reader033.vdocuments.mx/reader033/viewer/2022052410/549231c1b4795927058b5710/html5/thumbnails/12.jpg)
Marco Nenciarini – [email protected] - ITPUG.org
PGDay.IT 2011Monash University Prato Centre
Venerdì 25 Novembre 2011
Esempio: Bianco e Nero (pre 9.1)BEGIN ISOLATION LEVEL SERIALIZABLE;
UPDATE punti SET colore = 'nero' WHERE colore = 'bianco';
COMMIT;
BEGIN ISOLATION LEVEL SERIALIZABLE;
UPDATE punti SET colore = 'bianco' WHERE colore = 'nero';
COMMIT;
• Adesso i punti pari sono neri e i punti dispari sono bianchi– Impossibile da serializzare
![Page 13: Serializable Snapshot Isolation in PostgreSQL 9.1](https://reader033.vdocuments.mx/reader033/viewer/2022052410/549231c1b4795927058b5710/html5/thumbnails/13.jpg)
Marco Nenciarini – [email protected] - ITPUG.org
PGDay.IT 2011Monash University Prato Centre
Venerdì 25 Novembre 2011
Esempio: Dipendenza incrociata-- Tabella contenente dei generici dati
CREATE TABLE dati (classe int NOT NULL,valore int NOT NULL
);
-- Dati su cui dobbiamo effettuare un'analisi
INSERT INTO dati VALUES(1, 10),(1, 20),(2, 100),(2, 200);
![Page 14: Serializable Snapshot Isolation in PostgreSQL 9.1](https://reader033.vdocuments.mx/reader033/viewer/2022052410/549231c1b4795927058b5710/html5/thumbnails/14.jpg)
Marco Nenciarini – [email protected] - ITPUG.org
PGDay.IT 2011Monash University Prato Centre
Venerdì 25 Novembre 2011
Esempio: Dipendenza incrociata (pre 9.1)BEGIN ISOLATION LEVEL SERIALIZABLE;SELECT SUM(valore) FROM dati WHERE class = 1;-- Risultato: 30
INSERT INTO dati VALUES (2, 30);
COMMIT;
BEGIN ISOLATION LEVEL SERIALIZABLE;SELECT SUM(valore) FROM dati WHERE class = 2;-- Risultato: 300
INSERT INTO dati VALUES (1, 300);
COMMIT;
• Ogni transazione ha modificato i dati letti dall'altra– Impossibile da serializzare
![Page 15: Serializable Snapshot Isolation in PostgreSQL 9.1](https://reader033.vdocuments.mx/reader033/viewer/2022052410/549231c1b4795927058b5710/html5/thumbnails/15.jpg)
Marco Nenciarini – [email protected] - ITPUG.org
PGDay.IT 2011Monash University Prato Centre
Venerdì 25 Novembre 2011
Esempio: Protezione scoperto-- Simuliamo dei conti in banca
CREATE TABLE conto (proprietario text NOT NULL,tipo text NOT NULL,saldo money NOT NULL DEFAULT '0.00'::money,PRIMARY KEY (nome, tipo)
);
-- Inseriamo due conti appartenenti a 'Carlo'
INSERT INTO conto VALUES('Carlo', 'cassa', 500),('Carlo', 'deposito', 500);
![Page 16: Serializable Snapshot Isolation in PostgreSQL 9.1](https://reader033.vdocuments.mx/reader033/viewer/2022052410/549231c1b4795927058b5710/html5/thumbnails/16.jpg)
Marco Nenciarini – [email protected] - ITPUG.org
PGDay.IT 2011Monash University Prato Centre
Venerdì 25 Novembre 2011
Esempio: Protezione scoperto (pre 9.1)BEGIN ISOLATION LEVEL SERIALIZABLE;SELECT tipo, saldo FROM conto WHERE nome = 'Carlo';-- Totale 1000, posso prelevare 900
UPDATE conto SET saldo = saldo – 900 WHERE nome = 'Carlo' AND tipo = 'deposito';
COMMIT;
BEGIN ISOLATION LEVEL SERIALIZABLE;SELECT tipo, saldo FROM conto
WHERE nome = 'Carlo';-- Totale 1000, posso prelevare 900
UPDATE conto SET saldo = saldo – 900 WHERE nome = 'Carlo' AND tipo = 'cassa';
COMMIT;
• Saldo finale: -800– Vincolo violato
![Page 17: Serializable Snapshot Isolation in PostgreSQL 9.1](https://reader033.vdocuments.mx/reader033/viewer/2022052410/549231c1b4795927058b5710/html5/thumbnails/17.jpg)
Marco Nenciarini – [email protected] - ITPUG.org
PGDay.IT 2011Monash University Prato Centre
Venerdì 25 Novembre 2011
Serializable Snapshot Isolation• A partire da PostgreSQL 9.1
– È il primo (al momento l'unico)
• Il vecchio livello serializable diventa repeatable read– Più di quanto chiede lo standard (No Phantom Read)
• Costo aggiuntivo trascurabile rispetto a SI– Molto più veloce del Two Phase Locking
• Elevata concorrenza– Stessi vantaggi di SI– Nessun locking aggiuntivo
![Page 18: Serializable Snapshot Isolation in PostgreSQL 9.1](https://reader033.vdocuments.mx/reader033/viewer/2022052410/549231c1b4795927058b5710/html5/thumbnails/18.jpg)
Marco Nenciarini – [email protected] - ITPUG.org
PGDay.IT 2011Monash University Prato Centre
Venerdì 25 Novembre 2011
Come funziona SSI• Come Snapshot Isolation
– Usa MVCC per leggere da uno snaphot
• Mantiene traccia dell'insieme di lettura e scrittura di ogni transazione
• Identifica i conflitti di letura/scrittura al commit• La transazione fallisce quando viene identificata una
possibile anomalia– Il programma deve eseguire nuovamente la transazione
• Falsi positivi
![Page 19: Serializable Snapshot Isolation in PostgreSQL 9.1](https://reader033.vdocuments.mx/reader033/viewer/2022052410/549231c1b4795927058b5710/html5/thumbnails/19.jpg)
Marco Nenciarini – [email protected] - ITPUG.org
PGDay.IT 2011Monash University Prato Centre
Venerdì 25 Novembre 2011
Esempio: Dipendenza logica (9.1)BEGIN ISOLATION LEVEL SERIALIZABLE;SELECT tipo, saldo FROM conto WHERE nome = 'Carlo';-- Totale 1000, posso prelevare 900
UPDATE conto SET saldo = saldo – 900 WHERE nome = 'Carlo' AND tipo = 'deposito';
COMMIT;
BEGIN ISOLATION LEVEL SERIALIZABLE;SELECT tipo, saldo FROM conto WHERE nome = 'Carlo';-- Totale 1000, posso prelevare 900
UPDATE conto SET saldo = saldo – 900 WHERE nome = 'Carlo' AND tipo = 'cassa';
COMMIT;-- ERROR: could not serialize access
• Il database si è accorto dell'anomalia– La transazione fallita può essere eseguita nuovamente
![Page 20: Serializable Snapshot Isolation in PostgreSQL 9.1](https://reader033.vdocuments.mx/reader033/viewer/2022052410/549231c1b4795927058b5710/html5/thumbnails/20.jpg)
Marco Nenciarini – [email protected] - ITPUG.org
PGDay.IT 2011Monash University Prato Centre
Venerdì 25 Novembre 2011
Conclusioni• Alte prestazioni in ambienti ad elevata concorrenza
– Riduce i conflitti– No locking
• Permette di spostare la gestione della concorrenza all'interno del database– Applicazioni più semplici– Meno errori– Meno debugging
• PostgreSQL all'avanguardia nell'industria dei database
![Page 21: Serializable Snapshot Isolation in PostgreSQL 9.1](https://reader033.vdocuments.mx/reader033/viewer/2022052410/549231c1b4795927058b5710/html5/thumbnails/21.jpg)
Marco Nenciarini – [email protected] - ITPUG.org
PGDay.IT 2011Monash University Prato Centre
Venerdì 25 Novembre 2011
Domande?• E-Mail: [email protected]• URL: www.2ndquadrant.it• Blog: blog.2ndquadrant.it
![Page 22: Serializable Snapshot Isolation in PostgreSQL 9.1](https://reader033.vdocuments.mx/reader033/viewer/2022052410/549231c1b4795927058b5710/html5/thumbnails/22.jpg)
Marco Nenciarini – [email protected] - ITPUG.org
PGDay.IT 2011Monash University Prato Centre
Venerdì 25 Novembre 2011
Licenza Creative CommonsAttribuzioneNon commercialeCondividi allo stesso modo2.5 Italia
http://creativecommons.org/licenses/by-nc-sa/2.5/it/© 2011 2ndQuadrant Italia - http://www.2ndquadrant.it