Séance de cours

Programmation concurrente : de la théorie à la pratique

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.

Description

Cette séance de cours couvre la transition de la conception théorique à la mise en œuvre pratique dans la programmation simultanée, en se concentrant sur les limites supérieures / inférieures, les modèles de système, les preuves de correction et les questions pratiques. Il explore les caches CPU, la cohérence du cache et le traitement des graphes à l'aide de structures de données concurrentes. L'instructeur discute de l'importance de la mise en cache, des configurations de serveur typiques et des effets du faux partage. La séance de cours explore également les mécanismes de cohérence du cache tels que MESI, les objectifs d’évolutivité et les défis de l’évolutivité. Diverses expériences et extraits de code sont présentés pour illustrer les concepts abordés.

Source officielle

Proximité ontologique

Mathématiques

Mathématiques discrètes: Théorie des graphes

Concepts associés (32)

Cache de processeur

Un cache de processeur est une antémémoire matérielle utilisée par l'unité centrale de traitement (CPU) d'un ordinateur pour réduire le coût moyen (temps ou énergie) de l’accès aux données de la mémoire principale. Un cache de processeur est une mémoire plus petite et plus rapide, située au plus près d'une unité centrale de traitement (ou d'un cœur de microprocesseur), qui stocke des copies des données à partir d'emplacements de la mémoire principale qui sont fréquemment utilisés avant leurs transmissions aux registres du processeur.

Mémoire cache

Une mémoire cache ou antémémoire est, en informatique, une mémoire qui enregistre temporairement des copies de données provenant d'une source, afin de diminuer le temps d'un accès ultérieur (en lecture) d'un matériel informatique (en général, un processeur) à ces données. Le principe du cache est également utilisable en écriture, et existe alors en trois modes possibles : write-through, write-back et write-around.

Graph rewriting

In computer science, graph transformation, or graph rewriting, concerns the technique of creating a new graph out of an original graph algorithmically. It has numerous applications, ranging from software engineering (software construction and also software verification) to layout algorithms and picture generation. Graph transformations can be used as a computation abstraction. The basic idea is that if the state of a computation can be represented as a graph, further steps in that computation can then be represented as transformation rules on that graph.

Graphe (type abstrait)

thumb|upright=1.3|Un graphe orienté, dont les arcs et certains sommets sont « valués » par des couleurs. En informatique, et plus particulièrement en génie logiciel, le type abstrait graphe est la spécification formelle des données qui définissent l'objet mathématique graphe et de l'ensemble des opérations qu'on peut effectuer sur elles. On qualifie d'« abstrait » ce type de données car il correspond à un cahier des charges qu'une structure de données concrète doit ensuite implémenter.

Base de données orientée graphe

Une base de données orientée graphe est une base de données orientée objet utilisant la théorie des graphes, donc avec des nœuds et des arcs, permettant de représenter et stocker les données. Par définition, une base de données orientée graphe correspond à un système de stockage capable de fournir une adjacence entre éléments voisins : chaque voisin d'une entité est accessible grâce à un pointeur physique. C'est une base de données orientée objet adaptée à l'exploitation des structures de données de type graphe ou dérivée, comme des arbres.

Afficher plus

Séances de cours associées (64)

Cayley Graphs: Propriétés et Applications

Explore les propriétés et les applications des graphes de Cayley en théorie des groupes et en analyse de réseau.

Algorithmes graphiques : Modélisation et transversalité

Couvre les algorithmes graphiques, la modélisation des relations entre les objets et les techniques de traversée telles que BFS et DFS.

Graphe et diagonale

Discute du graphe d'une relation et du concept de séparation.

Analyse mathématique: Fonctions et composition

Couvre l'analyse des fonctions, de la composition et de l'induction mathématique.

Inférence causale : Structures de graphes d'apprentissage

Explore l'inférence causale à travers des structures de graphes d'apprentissage pour le raisonnement causal à partir de données d'observation.

Afficher plus

Concepts associés (32)

Cache de processeur

Mémoire cache

Graph rewriting

Graphe (type abstrait)

Base de données orientée graphe

Afficher plus