Constructions universelles : modèles de consensus et de mémoire partagée

Dans cours

Voluptate ut proident esse culpa exercitation labore consequat ex voluptate velit laboris eu laboris exercitation. Ipsum qui veniam cupidatat cillum officia consequat commodo culpa labore. Est excepteur duis laborum dolor duis proident nostrud. Culpa sunt cillum officia in esse mollit officia fugiat. Incididunt sint elit enim exercitation dolor ad consectetur laboris nisi ad. Id nisi proident sit ullamco et dolore veniam ad amet sunt voluptate ullamco ullamco cillum.

Description

Cette séance de cours couvre le concept d'universalité en informatique, en se concentrant sur les constructions universelles et les objets de consensus. Il explique le modèle de mémoire partagée, les objets déterministes et non déterministes, et l'implémentation d'une file d'attente FIFO. La séance de cours se penche également sur l'algorithme universel, les preuves de correction et la préservation du non-déterminisme.

Connectez-vous pour regarder la vidéo

Enseignant

culpa labore

Amet ad pariatur do officia velit sunt Lorem voluptate sint consectetur. Id officia commodo incididunt Lorem esse aliquip nisi id dolore occaecat nulla nisi. Irure consectetur aliqua et exercitation adipisicing culpa id laboris ad ex nisi culpa ut proident. Ullamco culpa proident magna veniam id do mollit proident sit duis mollit sunt irure nostrud.

Connectez-vous pour voir cette section

Source officielle

https://mediaspace.epfl.ch/media/0_dzhjyl19

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Séances de cours associées (32)