Comment le niveau d'isolation des transactions sérialisables est-il implémenté dans PostgreSQL?

En PostgreSQL, le niveau d’isolation des transactions SERIALIZABLE est réalisé à l’aide du mécanisme de contrôle de concurrence multiversion (MVCC) et d’un contrôle supplémentaire des conflits.

Lors de l’exécution de transactions avec le niveau SERIALIZABLE, PostgreSQL surveille toutes les opérations de lecture et d’écriture pour garantir que le résultat de l’exécution des transactions est équivalent à un certain ordre séquentiel de leur exécution.

En cas de conflit, par exemple lorsque deux transactions tentent de modifier les mêmes données, ou lorsqu’une transaction lit des données qu’une autre modifie, PostgreSQL peut interrompre l’une des transactions avec une erreur de sérialisation (échec de sérialisation) pour éviter les anomalies.

En Go, pour travailler avec PostgreSQL, on peut utiliser des pilotes comme database/sql avec lib/pq, et définir le niveau d’isolation via une requête SQL:

_, err := db.Exec("SET TRANSACTION ISOLATION LEVEL SERIALIZABLE")
if err != nil {
    // gestion de l’erreur
}

Ainsi, le niveau SERIALIZABLE dans PostgreSQL assure une isolation stricte des transactions, évitant les problèmes liés à l’accès concurrent aux données.