Séance de cours

Transactions : concepts et implémentations

Graph Chat

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Dans cours

CS-522: Principles of computer systems

This advanced graduate course teaches the key design principles underlying successful computer and communication systems, and shows how to solve real problems with ideas, techniques, and algorithms from operating systems, networks, databases, programming l ...

Description

Cette séance de cours se penche sur le concept de transactions, en explorant leur praticité et leur élégance dans la structuration des systèmes et la gestion des mises à jour de l'État. En commençant par des exemples de transactions réelles, l'instructeur explique les propriétés fondamentales des transactions - atomicité, cohérence, isolation et durabilité (ACID). La séance de cours couvre les transactions de base de données traditionnelles, les implémentations alternatives telles que la mémoire transactionnelle et les défis et avantages de l'utilisation de la mémoire transactionnelle dans la programmation simultanée. L'instructeur discute également des limites et des compromis de la mémoire transactionnelle, en soulignant l'importance des transactions à court terme et la difficulté du débogage. La séance de cours conclut en soulignant le potentiel de la mémoire transactionnelle pour améliorer l'évolutivité et réduire la latence dans le code système.

Enseignant·e

George Candea

Enseignement et PhD Doctorant·es actuel·les Lucas Lopes Cendes, Can Cebeci, Jiacheng Ma, Fan Chung A dirigé les thèses EPFL de Horatiu Jula, Cristian Zamfir, Vitaly Chipounov, Silviu Andrica, Stefan Bucur, Baris Can Cengiz Kasikci, Volodymyr Kuznetsov, Jonas Wagner, Rishabh Iyer, Solal Pirelli, Yan Lei A co-dirigé les thèses EPFL de Radu Banabic, Arseniy Zaostrovnykh Cours Principles of computer systems CS-522 LA VERSION ANGLAISE FAIT FOICe cours avancé se concentre sur les principes fonda

Source officielle

Proximité ontologique

Génie informatique

Calcul intensif: Calcul distribué

Concepts associés (32)

Coloration des arêtes d'un graphe

thumb|Coloration des arêtes du graphe de Desargues avec trois couleurs. En théorie des graphes et en algorithmique, une coloration des arêtes d'un graphe consiste à attribuer à chaque arête une couleur, en évitant que deux arêtes ayant une extrémité commune soient de la même couleur. La figure ci-contre est un exemple de coloration d'arêtes correcte. On vérifie en effet qu'aucun sommet n'est commun à deux arêtes de même couleur. On remarquera qu'ici, il n'aurait pas été possible de colorer les arêtes du graphe avec seulement deux couleurs.

Coloration fractionnaire

droite|vignette| 5: 2-coloration du graphe dodécaédrique. Il n'existe pas de 4: 2-coloration de ce graphe. En théorie des graphes, la coloration fractionnaire est une généralisation de la coloration des graphes ordinaire. Dans une coloration de graphe traditionnelle, une couleur est affectée à chaque sommet d'un graphe, et deux sommets adjacents ne doivent pas avoir la même couleur. Dans une coloration fractionnaire, un ensemble de couleurs est affecté à chaque sommet du graphe.

Total coloring

In graph theory, total coloring is a type of graph coloring on the vertices and edges of a graph. When used without any qualification, a total coloring is always assumed to be proper in the sense that no adjacent edges, no adjacent vertices and no edge and either endvertex are assigned the same color. The total chromatic number χ′′(G) of a graph G is the fewest colors needed in any total coloring of G.

Coloration de liste

vignette|301x301px| Une instance de coloration de liste du graphe biparti complet K 3,27 avec trois couleurs par sommet. Pour tout choix de couleurs des trois sommets centraux, l'un des 27 sommets extérieurs ne peut être coloré, ce qui montre que le nombre chromatique de liste de K 3,27 est au moins quatre. En théorie des graphes, la coloration de liste est une coloration des sommets d'un graphe où la couleur de chaque sommet est restreinte à une liste de couleurs autorisées.

List edge-coloring

In mathematics, list edge-coloring is a type of graph coloring that combines list coloring and edge coloring. An instance of a list edge-coloring problem consists of a graph together with a list of allowed colors for each edge. A list edge-coloring is a choice of a color for each edge, from its list of allowed colors; a coloring is proper if no two adjacent edges receive the same color. A graph G is k-edge-choosable if every instance of list edge-coloring that has G as its underlying graph and that provides at least k allowed colors for each edge of G has a proper coloring.

Afficher plus

Séances de cours associées (64)

Gestion des transactions et contrôle de la concurrence

Explore la gestion des transactions, le contrôle de la concurrence, les propriétés ACID, les anomalies et la sérialisation des conflits dans les systèmes de base de données.

Lecture 13 - Concurrency Control and Eventual Consistency & Concurrency II

ACID et calendriers des transactions

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

Transactions distribuées : architectures et protocoles

Explore les architectures de bases de données parallèles et les protocoles de transaction distribués, en se concentrant sur la coordination, le contrôle de la concurrence et les défis de récupération.

Introduction aux systèmes de bases de données

Couvre les bases des systèmes de base de données, y compris la modélisation des données, le SGBD, l'indépendance des données et l'aperçu du cours.

Afficher plus

Concepts associés (32)

Coloration des arêtes d'un graphe

Coloration fractionnaire