Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Séance de cours

Systèmes planétaires : transfert d’actifs sans consensus

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 le concept de transfert d'actifs sans consensus, en se concentrant sur la diffusion à la source et la résolution du transfert d'actifs. Il se penche également sur le FIFO par source, fiable pour le FIFO, la diffusion à double écho, l'analyse de la sécurité et la diffusion fiable byzantine évolutive. La discussion s'étend aux jeux et aux décorateurs, aux solutions byzantines et au potentiel des algorithmes randomisés pour les systèmes à l'échelle planétaire.

Cette vidéo est disponible exclusivement sur Mediaspace pour un public restreint. Veuillez vous connecter à Mediaspace pour y accéder si vous disposez des autorisations nécessaires.

Regarder sur Mediaspace

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 (16)

Planétologie

La planétologie est la science qui étudie les planètes et les autres objets célestes condensés à l'exception des étoiles, comme les planètes naines, les astéroïdes, les comètes et les satellites, voire les poussières interplanétaires et les naines brunes. La recherche combine les observations faites depuis le sol ou l'espace à l'aide de télescopes ou d'autres appareils comme les magnétomètres, celles effectuées sur place ou à proximité par des sondes spatiales (dont des orbiteurs et des atterrisseurs), l'analyse d'échantillons sur place (par des dispositifs à bord de certains atterrisseurs) ou dans les laboratoires terrestres (météorites et échantillons rapportés par certaines sondes spatiales) ainsi que des travaux expérimentaux et théoriques.

Objet de masse planétaire

vignette|Comparaison des planètes a même échelle (la brillance relative des planètes a été partiellement normalisée). Un objet de masse planétaire, corps planétaire, objet planétaire ou planémo est tout objet céleste suffisamment massif pour atteindre, sous sa propre gravité, l'équilibre hydrostatique, mais pas assez pour maintenir la fusion thermonucléaire de l'hydrogène comme une étoile ni du deutérium comme une naine brune.

Hauteur d'échelle

La hauteur d'échelle est l'altitude dont il faut monter, à une position donnée dans une atmosphère, pour réduire la pression d'un facteur e (environ 2,718), autrement dit pour la multiplier par 1/e (env 0,3679). La hauteur d'échelle est donc une grandeur locale qui est définie en tout point. Pour un objet céleste donné, il n'existe pas de limite précise entre son atmosphère et l'espace situé au-delà. La hauteur d'échelle sert donc à déterminer une caractéristique de l'atmosphère considérée, laquelle permet de comparer différentes atmosphères entre elles.

Système solaire

Le Système solaire (avec majuscule), ou système solaire (sans majuscule), est le système planétaire du Soleil, auquel appartient la Terre. Il est composé de cette étoile et des objets célestes gravitant autour d'elle : les huit planètes confirmées et leurs connus (appelés usuellement des « lunes »), les cinq planètes naines et leurs neuf satellites connus, ainsi que des milliards de petits corps (la presque totalité des astéroïdes et autres planètes mineures, les comètes, les poussières cosmiques).

Empire byzantin

L’'Empire byzantin' ou Empire romain d'Orient désigne l'État apparu vers le dans la partie orientale de l'Empire romain, au moment où celui-ci se divise progressivement en deux. Il se caractérise par sa longévité : il puise ses origines dans la fondation même de Rome, et la datation de ses débuts change selon les critères choisis par chaque historien. La fondation de Constantinople, sa capitale, par en 330, autant que la division d’un Empire romain de plus en plus difficile à gouverner et qui devient définitive en 395, sont parfois citées.

Afficher plus

Séances de cours associées (4)

Algorithmes à vivre par : Arrêt optimal et regret logarithmique

Explore l'arrêt optimal, l'exploration/l'exploitation, la règle de Bayes et le regret logarithmique dans les solutions de banditisme.

Algorithmes : définition et origines

Explore la définition et les origines des algorithmes, y compris les exemples et les types.

Vie privée différentielle : Garanties et mécanismes relatifs à la vie privée Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la confidentialité différentielle, la sensibilité globale au bruit, le mécanisme Laplace et le compromis entre la protection de la vie privée et l'exactitude dans la conception d'algorithmes.

Aléatoire dans le processus social Connectez-vous à Mediaspace pour regarder cette vidéo

Explore le hasard dans les processus sociaux, en se concentrant sur la sélection des rôles d'autorité.