Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Cette séance de cours couvre les limites des registres dans la mise en œuvre du consensus entre les processus, en se concentrant sur les algorithmes utilisant Fetch&Inc, Test&Set et Compare&Swap objets. Il discute de l'impossibilité de parvenir à un consensus avec seulement des registres, présentant des preuves et des lemmes pour soutenir les arguments.