Séance de cours

Opérations distribuées : principes et protocoles

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.

Séances de cours associées (55)

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.

Contrôle simultané : protocoles basés sur des verrous

Couvre les protocoles de contrôle de la concurrence basés sur les verrous et divers modèles de transaction.

Transactions distribuées : coordination, contrôle des devises et recouvrement

Explore les transactions distribuées, y compris la coordination, le contrôle de la concordance, la récupération et le protocole de Commit à deux phases.

Synchronisation sans verrouillage : performances et évolutivité

Explore la synchronisation sans verrouillage pour des performances et une évolutivité dans les systèmes distribués, couvrant la génération d'identifiants uniques, les files d'attente de messagerie et les lectures RDMA atomiques.

Architecture de CockroachDB

Explore l'architecture de CockroachDB, en se concentrant sur la gestion des transactions, le contrôle de la concurrence et l'évolutivité.

Réplication : Stratégies et techniques

Explore les stratégies de réplication dans les systèmes distribués, couvrant la réplication synchrone, asynchrone et la résolution des conflits.

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.

Sémantique et vérification des devises

Explore la sémantique, les fonctions récursives, les boucles, la modélisation entrelacée et la vérification de l'interprète.

Transactions : concepts et implémentations

Explore l'élégance et les défis des transactions, y compris les propriétés ACID et les avantages de la mémoire transactionnelle dans la programmation simultanée.

Parallélisme et concurrence

Couvre le cours CS206 sur le parallélisme et la concurrence, y compris la logistique, les matériaux, les séances d'exercices, les laboratoires, les examens et les critères de notation.

Mettre fin à la diffusion fiable et NBAC

Explore la fin de la diffusion fiable et du commit atomique non bloquant dans les systèmes distribués, couvrant l'accord, le consensus et l'engagement de transaction.

Programmation parallèle en Scala: Computing p-norm

Explore le p-norm informatique en utilisant la programmation parallèle en Scala et son impact sur la performance.

Mémoire transactionnelle : verrouillage en deux phases et lectures invisibles

Explore les perspectives historiques et les mécanismes de la mémoire transactionnelle, en soulignant l'importance et les défis de sa mise en œuvre dans les systèmes informatiques modernes.

Cohérence de la mémoire II

Explore la cohérence spéculative de la mémoire, les défis, les solutions, les frais généraux de performance et l'impact de l'application dynamique de la clôture sur la réalisation de hautes performances.

Opérations et contrôle des devises: CC pessimiste

Explore les transactions, le contrôle de la concurrence, le traitement de l'impasse et les défis dans les bases de données dynamiques.

Moniteurs : Synchronisation et coopération

Explore les moniteurs comme une construction de synchronisation fournissant l'exclusion mutuelle et la coopération entre les threads, avec des exemples comme le tampon d'un seul endroit.

Le pouvoir des registres

Couvre les implémentations sans attente d'objets atomiques, en se concentrant sur les compteurs et les instantanés, en discutant des idées clés pour renforcer l'atomicité et la liberté d'attente.

Concurrent Stack: Mise en œuvre

Explique l'implémentation de référence pour une pile concurrente et l'importance de gérer les problèmes de concurrence.

Mémoire Transactionnelle: Hardware Concurrency Control

Explore la mémoire transactionnelle pour le contrôle de la concurrence matérielle, en discutant des mécanismes de verrouillage, des compromis de performance et des modifications matérielles.

Propriétés de la monnaie: Bases et serrures

Explore les propriétés de proximité, les conditions de course et les bases des écluses.