Séance de cours

Diffusion totale des commandes : notions de base et équivalences consensuelles

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-451: Distributed algorithms

Computing is nowadays distributed over several machines, in a local IP-like network, a cloud or a P2P network. Failures are common and computations need to proceed despite partial failures of machines or communication links. This course will study the fo ...

Description

Cette séance de cours couvre les concepts de diffusion de l'ordre total, où les processus doivent délivrer des messages dans le même ordre, et l'équivalence entre le consensus et la diffusion de l'ordre total. Il explique les propriétés et les spécifications de la diffusion de l'ordre total, y compris la validité, l'absence de duplication et l'accord. La séance de cours se penche également sur le problème du consensus (uniforme), où les processus proposent des valeurs et doivent s’entendre sur une valeur. Il traite des propriétés du consensus, telles que la validité, l'accord, la résiliation et l'intégrité. L'algorithme présenté dans la séance de cours met en œuvre la commande totale et utilise la diffusion fiable et le consensus. Les équivalences entre consensus et ordre total de diffusion sont explorées, mettant en évidence leur interchangeabilité dans des systèmes avec des canaux fiables.

Enseignant·e

Rachid Guerraoui

Rachid Guerraoui has been affiliated with Ecole des Mines of Paris, the Commissariat à l'Energie Atomique of Saclay, Hewlett Packard Laboratories and the Massachusetts Institute of Technology. He has worked in a variety of aspects of distributed computing, including distributed algorithms and distributed programming languages. He is most well known for his work on (e-)Transactions, epidemic information dissemination and indulgent algorithms. He co-authored a book on Transactional Systems (Hermes) and a book on reliable distributed programming (Springer). He was appointed program chair of ECOOP 1999, ACM Middleware 2001, IEEE SRDS 2002, DISC 2004 and ACM PODC 2010. His publications are available at http://lpdwww.epfl.ch/rachid/papers/generalPublis.html

Source officielle

Concepts associés (32)

Validity (statistics)

Validity is the main extent to which a concept, conclusion or measurement is well-founded and likely corresponds accurately to the real world. The word "valid" is derived from the Latin validus, meaning strong. The validity of a measurement tool (for example, a test in education) is the degree to which the tool measures what it claims to measure. Validity is based on the strength of a collection of different types of evidence (e.g. face validity, construct validity, etc.) described in greater detail below.

Criterion validity

In psychometrics, criterion validity, or criterion-related validity, is the extent to which an operationalization of a construct, such as a test, relates to, or predicts, a theoretical representation of the construct—the criterion. Criterion validity is often divided into concurrent and predictive validity based on the timing of measurement for the "predictor" and outcome. Concurrent validity refers to a comparison between the measure in question and an outcome assessed at the same time.

Validité externe

La validité externe d'une expérience scientifique désigne la capacité de ses conclusions à être généralisées à des contextes non-expérimentaux. Une expérience a une grande validité externe dès lors que ses résultats permettent de comprendre des phénomènes hors du laboratoire. À l'inverse, elle manque de validité externe si les conclusions que l'on peut en tirer ne sont valables que pour des conditions expérimentales restrictives.

Relation d'équivalence

En mathématiques, une relation d'équivalence permet, dans un ensemble, de mettre en relation des éléments qui sont similaires par une certaine propriété. On pourra ainsi regrouper ces éléments par « paquets » d'éléments qui se ressemblent, définissant ainsi la notion de classe d'équivalence, pour enfin construire de nouveaux ensembles en « assimilant » les éléments similaires à un seul et même élément. On aboutit alors à la notion d'ensemble quotient. vignette|upright=1.5|Sur cet ensemble de huit exemplaires de livres, la relation « .

Concurrent validity

Concurrent validity is a type of evidence that can be gathered to defend the use of a test for predicting other outcomes. It is a parameter used in sociology, psychology, and other psychometric or behavioral sciences. Concurrent validity is demonstrated when a test correlates well with a measure that has previously been validated. The two measures may be for the same construct, but more often used for different, but presumably related, constructs. The two measures in the study are taken at the same time.

Afficher plus

Séances de cours associées (64)

Évaluation de l'apprentissage : validité et fiabilité MOOC: Enseigner les sciences et l'ingénierie

Examine les concepts de validité et de fiabilité dans l'évaluation dans l'enseignement supérieur.

Diffusion fiable : vue d'ensemble et algorithmes

Explore la diffusion fiable dans des systèmes distribués, présentant des spécifications, des algorithmes et des propriétés pour différents types de diffusion.

Adhésion au groupe et vue Synchrony

Explore l'appartenance au groupe et visualise la synchronisation dans les systèmes distribués, assurant une connaissance précise et des vues coordonnées.

S'inscrire Swapping Techniques

Couvre les techniques d'échange de registres, les algorithmes de consensus et la détermination du gagnant.

Connect 4 : Stratégie gagnante

Explique la stratégie gagnante dans Connect Four en vérifiant les combinaisons gagnantes.

Afficher plus

Concepts associés (32)

Validity (statistics)

Criterion validity

Validité externe

Relation d'équivalence

Concurrent validity

Afficher plus