Gestion des transactions et contrôle de la concurrence

Cette séance de cours couvre les bases de la gestion des transactions et du contrôle de la concurrence dans les systèmes de bases de données. Il commence par expliquer les composants d'un SGBD, les défis de l'accès simultané aux bases de données et l'importance de la résilience aux défaillances du système. L'instructeur discute des propriétés ACID, de l'objectif du contrôle de la concurrence et des mécanismes permettant d'assurer la cohérence des transactions. Diverses anomalies avec des exécutions entrelacées sont explorées, ainsi que des solutions telles que le contrôle de concurrence basé sur les verrous. La séance de cours explore également les concepts d'atomicité, d'exploitation forestière, de récupération et de sérialisation des conflits. Il conclut en soulignant l'importance du contrôle de la concurrence et du recouvrement dans le maintien de l'intégrité et de la cohérence des bases de données.

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Séances de cours associées (14)

Concepts associés (95)

CS-322: Introduction to database systems

This course provides a deep understanding of the concepts behind data management systems. It covers fundamental data management topics such as system architecture, data models, query processing and op

Concurrency control

In information technology and computer science, especially in the fields of computer programming, operating systems, multiprocessors, and databases, concurrency control ensures that correct results for concurrent operations are generated, while getting those results as quickly as possible. Computer systems, both software and hardware, consist of modules, or components. Each component is designed to operate correctly, i.e., to obey or to meet certain consistency rules.

Serializability

In concurrency control of databases, transaction processing (transaction management), and various transactional applications (e.g., transactional memory and software transactional memory), both centralized and distributed, a transaction schedule is serializable if its outcome (e.g., the resulting database state) is equal to the outcome of its transactions executed serially, i.e. without overlapping in time. Transactions are normally executed concurrently (they overlap), since this is the most efficient way.

Database transaction

A database transaction symbolizes a unit of work, performed within a database management system (or similar system) against a database, that is treated in a coherent and reliable way independent of other transactions. A transaction generally represents any change in a database. Transactions in a database environment have two main purposes: To provide reliable units of work that allow correct recovery from failures and keep a database consistent even in cases of system failure.

Multiversion Concurrency Control

Multiversion concurrency control (abrégé en MCC ou MVCC) est une méthode informatique de contrôle des accès concurrents fréquemment utilisée dans les systèmes de gestion de base de données et les langages de programmation concernant la gestion des caches en mémoire. Le principe de MVCC repose sur un verrouillage dit optimiste contrairement au verrouillage pessimiste qui consiste à bloquer préalablement les objets à des garanties de bonne fin. L'inconvénient logique est qu'une mise à jour peut être annulée du fait d'un "blocage" en fin de traitement.

Théorie de l'ordonnancement

La théorie de l'ordonnancement est une branche de la recherche opérationnelle qui s'intéresse au calcul de dates d'exécution optimales de tâches. Pour cela, il est très souvent nécessaire d'affecter en même temps les ressources nécessaires à l'exécution de ces tâches. Un problème d'ordonnancement peut être considéré comme un sous-problème de planification dans lequel il s'agit de décider de l'exécution opérationnelle des tâches planifiées.

Contrôle et récupération des devises dans les bases de données CS-322: Introduction to database systems

Se consacre à la gestion des transactions, au contrôle de la concordance et à la récupération dans les bases de données afin d'assurer l'intégrité des données et la résilience des systèmes.

Contrôle de la cohérence et cohérence événementielle CS-322: Introduction to database systems

Couvre les techniques de contrôle de la concordance et éventuellement la cohérence dans les bases de données, y compris le verrouillage en deux phases, 2PL strict, et l'algorithme de Dynamo.

ACID et calendriers des transactions CS-422: Database systems

Explore les transactions, les propriétés de l'ACID, les calendriers et les anomalies dans les systèmes de base de données.

Cohérence éventuelle CS-322: Introduction to database systems

Explore la cohérence éventuelle dans les systèmes distribués, en discutant des défis, des compromis et des applications pratiques.

Opérations et contrôle des devises CS-422: Database systems

Déplacez-vous dans le contrôle de la concurrence basé sur les verrous, la gestion de l'impasse, les modèles de transaction, et leurs limites.